Burnsides teorem
Burnsides sats är en klassisk sats i teorin om ändliga grupper .
Teoremet bevisades av William Burnside i början av 1900-talet. [1]
Burnsides teorem har länge varit den mest kända tillämpningen av representationsteori på gruppteori . Ett bevis utan att använda grupptecken hittades av Goldsmith långt senare. [2]
Formulering
Låt gruppen ha ordning , var och är primtal . Då är det tillåtet .
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![{\displaystyle p^{a}\cdot q^{b))](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ba014b5dcf78f21b66ee5c0528b8aa8f94376c8)
![sid](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![q](https://wikimedia.org/api/rest_v1/media/math/render/svg/06809d64fa7c817ffc7e323f85997f783dbdf71d)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
Anteckningar
- Det följer av satsen att varje icke-abelsk ändlig enkel grupp har en ordning som är delbar med tre distinkta primtal.
Schema för Burnsides bevis
- Med hjälp av matematisk induktion räcker det att bevisa att en enkel grupp av en given ordning är abelian [3] .
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
- Enligt Sylows teorem har en grupp antingen ett icke-trivialt centrum eller en storlekskonjugationsklass för vissa . I det första fallet, eftersom centret är en normal undergrupp av gruppen , måste det sammanfalla med centret och därför vara abelianskt. Detta betyder att det andra fallet är sant: det finns ett element i gruppen så att konjugationsklassen för elementet har storlek .
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![{\displaystyle p^{r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fbc4a951adf96dd260e9f621a340c17e778dc0d)
![{\displaystyle r\geqslant 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a5d5a29dd6ddc63911b1a7730e2e906f74f6d3a)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![{\displaystyle p^{r}>1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e637a92c97f636b1ada6ae8b72d2d6f5be3e7662)
- Genom att använda ortogonalitetsegenskaperna för grupptecken och egenskaperna hos algebraiska tal kan man bevisa förekomsten av ett icke-trivialt irreducerbart grupptecken så att .
![\chi](https://wikimedia.org/api/rest_v1/media/math/render/svg/656111758322ace96d80a9371771aa6d3de25437)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![{\displaystyle |\chi (x)|=\chi (1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/329255cdd5d06de046d2f03e704b677b21c3c00c)
- Det följer av gruppens enkelhet att varje komplex irreducerbar representation av ett tecken är sann (eller exakt), och följaktligen följer att den tillhör gruppens centrum , vilket motsäger det faktum att storleken på konjugationsklassen är större än 1.
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![\chi](https://wikimedia.org/api/rest_v1/media/math/render/svg/656111758322ace96d80a9371771aa6d3de25437)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
Variationer och generaliseringar
- Det minsta primtalet i expansionen av ordningen för en olöslig finit grupp går in i expansionen till en potens av minst 2.
Anteckningar
- ↑ Burnside, W. (1904), On Groups of Order p α q β , Proc. London Math. soc. (nr s2-1(1)): 388–392, doi : 10.1112/plms/s2-1.1.388 , < https://zenodo.org/record/1433459/files/article.pdf >
- ↑ Goldschmidt, David M. (1970), A group theoretical proof of the p a q b theorem for udda primtal , Math. Z. T. 113: 373–375 , DOI 10.1007/bf01110506
- ↑ Skornyakov L. A. Element i algebra. — M.: Nauka, 1986. — S. 228-229. – Upplaga 21 000 exemplar.
Litteratur
- James, Gordon; och Liebeck, Martin (2001). Representationer och karaktärer av grupper (2:a upplagan). Cambridge University Press . ISBN 0-521-00392-X . Kapitel 31
- Fraleigh, John B. (2002) En första kurs i abstrakt algebra (7:e upplagan). Addison Wesley . ISBN 0-201-33596-4 .
Länkar