Sporadische Gruppe

Die sporadischen Gruppen sind 26 spezielle Gruppen in der Gruppentheorie. Es handelt sich um die endlichen einfachen Gruppen, die sich nicht in eine der (18) systematischen Familien mit unendlich vielen Mitgliedern (von endlichen einfachen Gruppen) einordnen lassen.

Entdeckungsgeschichte

Die ersten fünf entdeckten sporadischen Gruppen, die sogenannten Mathieugruppen, wurden von Émile Mathieu in den 1860er-Jahren entdeckt. Die Entdeckungsgeschichte aller anderen sporadischen Gruppen setzte erst 1964 ein.

Die früheste Erwähnung des Begriffes „sporadische Gruppe“ dürfte von Burnside 1911, bezugnehmend auf die damals bereits bekannten Mathieugruppen, stammen:

Einteilung

Datei:SporadicGroups.png

Hasse-Diagramm der 26 sporadischen Gruppen.
Eine aufsteigende Linie bedeutet, dass die untere Gruppe Subquotient der oberen ist.
Die Generationen von Robert Griess haben verschiedene Farben: rot Datei:EllipseSubqR.svg erste Generation, grün Datei:EllipseSubqG.svg zweite, blau Datei:EllipseSubqB.svg dritte; Parias in weiß Datei:EllipseSubqW.svg.

Im nebenstehenden Hasse-Diagramm bedeutet eine Linie von A unten nach B oben, dass A Subquotient von B ist.<ref>zusammengestellt hauptsächlich aus Griess S. 94</ref> Da die Relation transitiv ist, sind implizierte Verbindungen nicht im Diagramm eingetragen. Und gibt es im Diagramm eine von A zu B aufsteigende Linie, dann gibt es keine andere sporadische Gruppe zwischen A und B.<ref>Es gibt jedoch sehr viele andere (nicht-sporadische) einfache Subquotienten einer sporadischen Gruppe, am unteren Ende auf jeden Fall die Gruppen von Primzahlordnung, aber auch alternierende Gruppen einer Ordnung ≥ 5 und einfache Gruppen vom Lie-Typ wie die Steinberg-Gruppe ²E₆(2²) (Beispiele in Wilsons Atlas).
Umgekehrt ist nach dem Satz von Cayley jede endliche Gruppe Untergruppe einer symmetrischen Gruppe <math>S_n</math> genügend hohen Grades <math>n ,</math> die ihrerseits unter Anhängen der Transposition <math>(n+1,n+2)</math> an alle ungeraden Permutationen in die alternierende Gruppe <math>A_{n+2}</math> eingebettet werden kann. Damit ist jede sporadische Gruppe auch Subquotient einer (einfachen) alternierenden Gruppe.</ref>

20 der 26 sporadischen Gruppen sind Subquotienten der Monstergruppe M, von Robert Griess Friendly Giant<ref>F₁ in Griess</ref> (deutsch: freundlicher Riese) genannt. Diese 20 Gruppen werden nach Griess unter dem Namen Happy Family (deutsch: Glückliche Familie) zusammengefasst.<ref>s. Griess</ref> Die Happy Family gliedert sich in drei Generationen, wobei die erste Generation (rot) mit dem erweiterten binären Golay-Code und die zweite (grün) mit dem Leech-Gitter bzw. Automorphismengruppen davon in Zusammenhang steht. Zur ersten Generation gehören die fünf Mathieugruppen M₁₁, M₁₂, M₂₂, M₂₃, M₂₄, zur zweiten Generation die Conwaygruppen Co₁, Co₂, Co₃ und die Gruppen J₂, HS, McL, Suz. Die dritte Generation (blau) ist nahe verwandt mit M und enthält die übrigen Gruppen He, Fi₂₂, Fi₂₃, Fi₂₄, HN, Th, B und M der Happy Family.

Die sechs sporadischen Gruppen, die nicht Subquotienten von M sind, sind die Jankogruppen J₁, J₃ und J₄, die Rudvalisgruppe Ru, die Lyonsgruppe Ly und die O’Nan-Gruppe ON. Sie werden bei Griess Parias (engl. pariah) genannt (in der untenstehenden Tabelle als Generation P).

Teilweise wird auch die nach dem belgisch-französischen Mathematiker Jacques Tits benannte Tits-Gruppe T = ²F₄(2)′ der Ordnung 17.971.200 als eine sporadische Gruppe angesehen, weil sie nicht eine Gruppe vom Lie-Typ sei. Allerdings ist das Definiens für »nicht-sporadisch« bei endlichen einfachen Gruppen die »Zugehörigkeit zu einer unendlichen systematischen Familie« — was nicht unmittelbar mit der Eigenschaft »vom Lie-Typ« etwas zu tun hat, denn es gibt andere unendliche Familien endlicher einfacher Gruppen, z. B. die Gruppen von Primzahlordnung oder die alternierenden Gruppen, die auch nicht vom Lie-Typ sind. Mit ihrer Zugehörigkeit zur unendlichen Familie der abgeleiteten Ree-Gruppen ²F₄(2²ⁿ⁺¹)′, deren Mitglieder ²F₄(2²ⁿ⁺¹) für <math>n\ge 1</math> mit ihren Ableitungen übereinstimmen, ist sie im strengen Sinn keine sporadische Gruppe.<ref>Bei Hiss und Eric W. Weisstein „Sporadic Group“ From MathWorld--A Wolfram Web Resource wird die Tits-Gruppe nicht unter den 26 aufgeführt.</ref> Sie ist Subquotient von Fi₂₂ und Ru und würde demnach, wenn eingeordnet, zur dritten Generation der sporadischen Gruppen gehören.

Tabelle der 26 sporadischen Gruppen

Standardreihenfolge, erste Symbole, Entdeckungsjahr aus Hiss S. 172.

Name	Symbole	Entdecker	Jahr	Generation	Ordnung (zirka)	Ordnung (als Dezimalzahl Folge A001228 in OEIS)	Ordnung (in Primfaktorzerlegung)
Mathieugruppe …	M11	Mathieu	1861	1	Vorlage:ZahlExpZelle	7.920	24·32·5·11
	M12	Mathieu	1861	1	Vorlage:ZahlExpZelle	95.040	26·33·5·11
	M22	Mathieu	1861	1	Vorlage:ZahlExpZelle	443.520	27·32·5·7·11
	M23	Mathieu	1861	1	Vorlage:ZahlExpZelle	10.200.960	27·32·5·7·11·23
	M24	Mathieu	1861	1	Vorlage:ZahlExpZelle	244.823.040	210·33·5·7·11·23
Jankogruppe …	J1	Janko	1965	P	Vorlage:ZahlExpZelle	175.560	23·3·5·7·11·19
	J2, HJ	Janko	1968	2	Vorlage:ZahlExpZelle	604.800	27·33·52·7
	J3	Janko	1968	P	Vorlage:ZahlExpZelle	50.232.960	27·35·5·17·19
	J4	Janko	1976	P	Vorlage:ZahlExpZelle	86.775.571.046.077.562.880	221·33·5·7·113·23·29·31·37·43
Higman-Sims-Gruppe	HS	Higman, Sims	1967	2	Vorlage:ZahlExpZelle	44.352.000	29·32·53·7·11
McLaughlin-Gruppe	McL, Mc	McLaughlin	1969	2	Vorlage:ZahlExpZelle	898.128.000	27·36·53·7·11
Suzukigruppe	Suz	Suzuki	1969	2	Vorlage:ZahlExpZelle	448.345.497.600	213·37·52·7·11·13
Rudvalisgruppe	Ru	Rudvalis	1972	P	Vorlage:ZahlExpZelle	145.926.144.000	214·33·53·7·13·29
Heldgruppe	He	Held	1969	3	Vorlage:ZahlExpZelle	4.030.387.200	210·33·52·73·17
Lyonsgruppe	Ly	Lyons	1972	P	Vorlage:ZahlExpZelle	51.765.179.004.000.000	28·37·56·7·11·31·37·67
O’Nan-Gruppe	ON, O’N	O’Nan	1976	P	Vorlage:ZahlExpZelle	460.815.505.920	29·34·5·73·11·19·31
Conwaygruppe …	Co1, C1	Conway	1969	2	Vorlage:ZahlExpZelle	4.157.776.806.543.360.000	221·39·54·72·11·13·23
	Co2, C2	Conway	1969	2	Vorlage:ZahlExpZelle	42.305.421.312.000	218·36·53·7·11·23
	Co3, C3	Conway	1969	2	Vorlage:ZahlExpZelle	495.766.656.000	210·37·53·7·11·23
Fischer-Gruppe …	Fi22	Fischer	1971	3	Vorlage:ZahlExpZelle	64.561.751.654.400	217·39·52·7·11·13
	Fi23	Fischer	1971	3	Vorlage:ZahlExpZelle	4.089.470.473.293.004.800	218·313·52·7·11·13·17·23
	Fi24, F24′	Fischer	1971	3	Vorlage:ZahlExpZelle	1.255.205.709.190.661.721.292.800	221·316·52·73·11·13·17·23·29
Harada-Norton-Gruppe	HN, F5	Harada, Norton, Smith	1976	3	Vorlage:ZahlExpZelle	273.030.912.000.000	214·36·56·7·11·19
Thompsongruppe	Th, F3	Thompson	1976	3	Vorlage:ZahlExpZelle	90.745.943.887.872.000	215·310·53·72·13·19·31
Baby-Monstergruppe	B, F2	Fischer	1973	3	Vorlage:ZahlExpZelle	4.154.781.481.226.426.191.177.580.544.000.000	241·313·56·72·11·13·17·19·23·31·47
Monstergruppe	M, F1	Fischer, Griess	1973	3	Vorlage:ZahlExpZelle	808.017.424.794.512.875.886.459.904.961.710.757.005.754.368.000.000.000	246·320·59·76·112·133·17·19·23·29·31·41·47·59·71

Literatur

• Robert Griess: The Friendly Giant. In: Inventiones Mathematicae. Band 69, 1982, S. 1–102, doi:10.1007/BF01389186 (uni-goettingen.de). 
• Robert Griess: Twelve Sporadic Groups. Springer, 2002, ISBN 978-3-540-62778-4, doi:10.1007/978-3-662-03516-0. 
• Gerhard Hiss: Die sporadischen Gruppen. In: Jahresbericht der Deutschen Mathematiker-Vereinigung. Band 105, Nr. 4, 2003, S. 169–194 (Online im DMV Jahresberichte-Archiv. [PDF]). 
• John McKay: Finite Groups – Coming of Age. American Mathematical Society, 1985, ISBN 978-0-8218-5047-3. 
• Michael Aschbacher: Sporadic Groups, Cambridge University Press 1994

Einzelnachweise

<references />

Weblinks

• Robert Wilson’s Atlas of Finite Group Representations: Sporadic groups (englisch)
• ATLAS: Sporadic groups (Memento vom 23. März 2017 im Internet Archive) (Erzeuger, Untergruppen, Konjugiertenklassen...) im Atlas of Finite Group Representations (englisch)