Teorema lui Burnside
Teorema lui Burnside este o teoremă clasică în teoria grupurilor finite .
Teorema a fost demonstrată de William Burnside la începutul secolului al XX-lea. [1]
Teorema lui Burnside a fost mult timp cea mai faimoasă aplicație a teoriei reprezentării la teoria grupurilor . O dovadă fără a folosi caractere de grup a fost găsită de Goldsmith mult mai târziu. [2]
Formulare
Fie ca grupul să aibă ordine , unde și sunt numere prime . Atunci este permis .
![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)
![p](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)
Note
- Din teoremă rezultă că fiecare grup finit simplu non-Abelian are un ordin divizibil cu trei numere prime distincte.
- În special, cel mai mic grup finit simplu non-Abelian , grupul alternant, are ordine .
![A_{5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e213bbb69691c65e1391fe16cd79a0029471446)
![{\displaystyle 60=5\cdot 3\cdot 2^{2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3103abf5e1b4d1ee78988fb71c0389d5b5f446b9)
Schema dovezii lui Burnside
- Folosind inducția matematică , este suficient să demonstrăm că un grup simplu de ordin dat este abelian [3] .
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
- După teorema lui Sylow , un grup are fie un centru netrivial , fie o clasă de conjugație de dimensiune pentru unii . În primul caz, deoarece centrul este un subgrup normal al grupului , trebuie să coincidă cu centrul și, prin urmare, să fie abelian. Aceasta înseamnă că al doilea caz este adevărat: există un element al grupului astfel încât clasa de conjugație a elementului are dimensiunea .
![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)
- Folosind proprietățile de ortogonalitate ale caracterelor de grup și proprietățile numerelor algebrice, se poate demonstra existența unui caracter de grup ireductibil netrivial astfel încât .
![\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)
- Din simplitatea grupului rezultă că orice reprezentare complexă ireductibilă a unui personaj este adevărată (sau exactă), și de aici rezultă că aparține centrului grupului , ceea ce contrazice faptul că dimensiunea clasei de conjugație este mai mare decât 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)
Variații și generalizări
- Cel mai mic număr prim din expansiunea ordinului unui grup finit nerezolvabil intră în expansiune la o putere de cel puțin 2.
Note
- ↑ 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 odd primes , Math. Z. T. 113: 373–375 , DOI 10.1007/bf01110506
- ↑ Skornyakov L. A. Elemente de algebră. — M.: Nauka, 1986. — S. 228-229. – Tiraj 21.000 de exemplare.
Literatură
- James, Gordon; și Liebeck, Martin (2001). Reprezentări și personaje ale grupurilor (ed. a II-a). Cambridge University Press . ISBN 0-521-00392-X . Capitolul 31
- Fraleigh, John B. (2002) Un prim curs de algebră abstractă (ediția a 7-a). Addison Wesley . ISBN 0-201-33596-4 .
Link -uri