De la Wikipedia, enciclopedia liberă.
În matematică și în special în teoria grupurilor, prin grup sporadic înțelegem un grup finit simplu, care este unul dintre cele 26 de cazuri excepționale ale teoremei de clasificare a grupurilor simple finite . De fapt, această teoremă afirmă că, dacă {\ displaystyle G} este un grup finit simplu atunci, {\ displaystyle G} Și
- un grup cu un număr prim de elemente sau
- un grup alternativ {\ displaystyle A_ {n}} cu {\ displaystyle n} mai mare ca {\ displaystyle 5} , sau
- un grup de tip Lie sau
- unul dintre cele 26 de grupuri sporadice.
Primele cinci grupuri sporadice au fost descoperite de Emile Léonard Mathieu în 1861 și 1873 . Cele ulterioare au fost descoperite între 1965 și 1975 , numite în general după descoperitorii lor.
Datorită structurii lor anormale, grupurile sporadice sunt obiecte matematice care prezintă încă aspecte misterioase și, probabil, pline de consecințe interesante. În acest sens, merită menționată problema Monstrous Moonshine pentru Monstrul rezolvat recent de Richard Borcherds .
Lista și ordinele grupurilor sporadice
Cele cinci grupe ale lui Mathieu :
- {\ displaystyle M_ {11}} , de ordine {\ displaystyle 2 ^ {4} \ cdot 3 ^ {2} \ cdot 5 \ cdot 11;}
- {\ displaystyle M_ {12}} , de ordine {\ displaystyle 2 ^ {6} \ cdot 3 ^ {3} \ cdot 5 \ cdot 11;}
- {\ displaystyle M_ {22}} , de ordine {\ displaystyle 2 ^ {7} \ cdot 3 ^ {2} \ cdot 5 \ cdot 7 \ cdot 11;}
- {\ displaystyle M_ {23}} , de ordine {\ displaystyle 2 ^ {7} \ cdot 3 ^ {2} \ cdot 5 \ cdot 7 \ cdot 11 \ cdot 23;}
- {\ displaystyle M_ {24}} , de ordine {\ displaystyle 2 ^ {10} \ cdot 3 ^ {3} \ cdot 5 \ cdot 7 \ cdot 11 \ cdot 23.}
Cele patru grupuri ale lui Janko :
- {\ displaystyle J_ {1}} , de ordine {\ displaystyle 2 ^ {3} \ cdot 3 \ cdot 5 \ cdot 7 \ cdot 11 \ cdot 19;}
- {\ displaystyle J_ {2}} , de ordine {\ displaystyle 2 ^ {7} \ cdot 3 ^ {3} \ cdot 5 ^ {2} \ cdot 7;}
- {\ displaystyle J_ {3}} , de ordine {\ displaystyle 2 ^ {7} \ cdot 3 ^ {5} \ cdot 5 \ cdot 17 \ cdot 19;}
- {\ displaystyle J_ {4}} , de ordine {\ displaystyle 2 ^ {21} \ cdot 3 ^ {3} \ cdot 5 \ cdot 7 \ cdot 11 ^ {3} \ cdot 23 \ cdot 29 \ cdot 31 \ cdot 37 \ cdot 43.}
Cele trei grupuri ale lui Conway :
- {\ displaystyle Co_ {3}} , de ordine {\ displaystyle 2 ^ {10} \ cdot 3 ^ {7} \ cdot 5 ^ {3} \ cdot 7 \ cdot 11 \ cdot 23;}
- {\ displaystyle Co_ {2}} , de ordine {\ displaystyle 2 ^ {18} \ cdot 3 ^ {6} \ cdot 5 ^ {3} \ cdot 7 \ cdot 11 \ cdot 23;}
- {\ displaystyle Co_ {1}} , de ordine {\ displaystyle 2 ^ {21} \ cdot 3 ^ {9} \ cdot 5 ^ {4} \ cdot 7 ^ {2} \ cdot 11 \ cdot 13 \ cdot 23.}
Grupul Higman-Sims :
- {\ displaystyle HS} , de ordine {\ displaystyle 2 ^ {9} \ cdot 3 ^ {2} \ cdot 5 ^ {3} \ cdot 7.}
Grupul lui McLaughlin :
- {\ displaystyle HS} , de ordine {\ displaystyle 2 ^ {7} \ cdot 3 ^ {6} \ cdot 5 ^ {3} \ cdot 7 \ cdot 11.}
Grupul Suzuki :
- {\ displaystyle Suz} , de ordine {\ displaystyle 2 ^ {13} \ cdot 3 ^ {7} \ cdot 5 ^ {2} \ cdot 7 \ cdot 11 \ cdot 13.}
Grupul lui Held :
- {\ displaystyle He} , de ordine {\ displaystyle 2 ^ {10} \ cdot 3 ^ {3} \ cdot 5 ^ {2} \ cdot 7 ^ {3} \ cdot 17.}
Grupul Lyon :
- {\ displaystyle Ly} , de ordine {\ displaystyle 2 ^ {8} \ cdot 3 ^ {7} \ cdot 5 ^ {6} \ cdot 7 \ cdot 11 \ cdot 31 \ cdot 37 \ cdot 67.}
Grupul lui Rudvalis :
- {\ displaystyle Ru} , de ordine {\ displaystyle 2 ^ {14} \ cdot 3 ^ {3} \ cdot 5 ^ {3} \ cdot 7 \ cdot 13 \ cdot 29.}
Grupul lui O'Nan :
- {\ displaystyle O'N} , de ordine {\ displaystyle 2 ^ {9} \ cdot 3 ^ {4} \ cdot 5 \ cdot 7 ^ {3} \ cdot 11 \ cdot 19 \ cdot 31.}
Cele trei grupe Fischer :
- {\ displaystyle Fi_ {22}} , de ordine {\ displaystyle 2 ^ {17} \ cdot 3 ^ {9} \ cdot 5 ^ {2} \ cdot 7 \ cdot 11 \ cdot 13;}
- {\ displaystyle Fi_ {23}} , de ordine {\ displaystyle 2 ^ {18} \ cdot 3 ^ {13} \ cdot 5 ^ {2} \ cdot 7 \ cdot 11 \ cdot 13 \ cdot 17 \ cdot 23;}
- {\ displaystyle Fi_ {24} '} , de ordine {\ displaystyle 2 ^ {21} \ cdot 3 ^ {16} \ cdot 5 ^ {2} \ cdot 7 ^ {3} \ cdot 11 \ cdot 13 \ cdot 17 \ cdot 23 \ cdot 29.}
Grupul Harada-Norton :
- {\ displaystyle HN} , de ordine {\ displaystyle 2 ^ {14} \ cdot 3 ^ {6} \ cdot 5 ^ {6} \ cdot 7 \ cdot 11 \ cdot 19.}
Grupul lui Thompson :
- {\ displaystyle Th} , de ordine {\ displaystyle 2 ^ {15} \ cdot 3 ^ {10} \ cdot 5 ^ {3} \ cdot 7 ^ {2} \ cdot 13 \ cdot 19 \ cdot 31.}
Baby Monster :
- {\ displaystyle B} , de ordine {\ displaystyle 2 ^ {41} \ cdot 3 ^ {13} \ cdot 5 ^ {6} \ cdot 7 ^ {2} \ cdot 11 \ cdot 13 \ cdot 17 \ cdot 19 \ cdot 23 \ cdot 31 \ cdot 47 .}
Monstrul Fischer-Griess:
- {\ displaystyle M} , de ordine {\ displaystyle 2 ^ {46} \ cdot 3 ^ {20} \ cdot 5 ^ {9} \ cdot 7 ^ {6} \ cdot 11 ^ {2} \ cdot 13 ^ {3} \ cdot 17 \ cdot 19 \ cdot 23 \ cdot 29 \ cdot 31 \ cdot 41 \ cdot 47 \ cdot 59 \ cdot 71.}
Relațiile dintre grupurile sporadice
Poate fi interesant de observat că, spre deosebire de ceea ce ar putea sugera numele lor, grupurile sporadice au legături diferite între ele și cu alte grupuri simple finite. De exemplu {\ displaystyle M_ {11}} poate fi construit din excepționalul automorfism extern al {\ displaystyle Alt_ {6}} și toate grupurile Mathieu pot fi construite recursiv ca grupuri de automorfism ale sistemelor Steiner . {\ displaystyle Co_ {1}} este modulul coeficient un centru de ordine {\ displaystyle 2} a grupului de automorfism al rețelei Leech (o rețea întreagă {\ displaystyle 24} -dimensională a unui spațiu euclidian de dimensiune 24). Ca stabilizatori ai anumitor sub-rețele de dimensiuni {\ displaystyle 1} Și {\ displaystyle 2} a rețelei lipitoare poate fi găsită {\ displaystyle Co_ {2}} , {\ displaystyle Co_ {3}} , {\ displaystyle McL} , {\ displaystyle HS} , și ca anumite subgrupuri locale de {\ displaystyle Co_ {1}} , de asemenea {\ displaystyle J_ {2}} Și {\ displaystyle Suz} . Mai mult, rețeaua Leech poate fi construită pornind de la sistemul Steiner {\ displaystyle S (24,8,5)} asociat cu {\ displaystyle M_ {24}} . Exclus i {\ displaystyle 6} grupuri {\ displaystyle J_ {1}} , {\ displaystyle O'N} , {\ displaystyle J_ {3}} , {\ displaystyle Ly} , {\ displaystyle Ru} Și {\ displaystyle J_ {4}} (așa-numiții Pariași), cei rămași {\ displaystyle 20} grupurile sporadice sunt conținute ca secțiuni în Monstru și mulți dintre aceștia apar ca factori de compoziție în subgrupurile locale ale Monstrului: de exemplu Monstrul Copilului și {\ displaystyle Co_ {1}} ele apar ca coeficienți centralizatori ai elementelor de comandă adecvate {\ displaystyle 2} a Monstrului, în mod similar în normalizatoarele subgrupurilor de ordine {\ displaystyle 3} apărea {\ displaystyle Fi_ {24} '} Și {\ displaystyle Suz} și, pentru subgrupuri de comenzi adecvate {\ displaystyle 5} , {\ displaystyle 7} Și {\ displaystyle 11} pot fi găsite în mod similar, respectiv {\ displaystyle J_ {2}} , {\ displaystyle He} Și {\ displaystyle M_ {12}} . În mod similar, în secțiunile subgrupului local din Baby Monster puteți găsi, de asemenea: {\ displaystyle Co_ {2}} Și {\ displaystyle HN} în elementele centralizatoare ale ordinii {\ displaystyle 2} , {\ displaystyle Fi_ {22}} în normalizatoarele elementelor de ordine adecvate {\ displaystyle 3} Și {\ displaystyle HS} în cele de ordine {\ displaystyle 5} .
Bibliografie
- Michael Aschbacher : Grupuri sporadice Cambridge University Press, Cambridge 1994
- John Horton Conway : Un grup perfect de ordin 8,315,553,613,086,720,000 și grupurile simple sporadice , Proc. Nat. Acad. Sci. USA 61 (1968), 398-400.
- John Horton Conway , JH; Curtis, RT; Norton, SP; Parker, RA; Wilson, RA, Atlasul grupurilor finite. Subgrupuri maxime și caractere obișnuite pentru grupuri simple. Cu asistență de calcul de la JG Thackray. Eynsham: Oxford University Press, 1985, ISBN 0-19-853199-0
- Daniel Gorenstein , Richard Lyons, Ronald Solomon Clasificarea grupurilor simple finite, Memoriile numărul 3 Amer. Matematica. Soc. Vol. 40 numărul 3, 1998
- Robert L. Griess : „Douăsprezece grupuri sporadice”, Springer-Verlag, 1998.
linkuri externe