Sporadische Gruppe
# 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: These apparently sporadic simple groups would probably repay a closer examination than they have yet received.

## Einteilung

Im nebenstehenden Hasse-Diagramm bedeutet eine Linie von A unten nach B oben, dass A Subquotient von B ist. 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.

20 der 26 sporadischen Gruppen sind Subquotienten der Monstergruppe M, von Robert Griess Friendly Giant (deutsch: freundlicher Riese) genannt. Diese 20 Gruppen werden nach Griess unter dem Namen Happy Family (deutsch: Glückliche Familie) zusammengefasst. Letztere 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_{11},$ $M_{12},$ $M_{22},$ $M_{23},$ $M_{24},$ zur zweiten Generation die Conwaygruppen $Co_1,$ $Co_2,$ $Co_3$ und die Gruppen $J_2,$ HS, McL, Suz. Die dritte Generation (blau) ist nahe verwandt mit M und enthält die übrigen Gruppen He, $Fi_{22},$ $Fi_{23},$ $Fi_{24},$ HN, Th, B und M der Happy Family.

Die sechs sporadischen Gruppen, die nicht Subquotienten von M sind, sind die Jankogruppen $J_1,$ $J_3$ und $J_4,$ 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 = $^2F_4(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 $^2F_4(2^{2n+1})′,$ deren Mitglieder $^2F_4(2^{2n+1})$ für $n\geq 1$ mit ihren Ableitungen übereinstimmen, ist sie im strengen Sinn keine sporadische Gruppe. Sie ist Subquotient von $Fi_{22}$ 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 … | $M_{11}$ | Mathieu | 1861 | 1 | $8e^3$ | 7.920 | $2^4·3^2·5·11$ |
| Mathieugruppe … | $M_{12}$ | Mathieu | 1861 | 1 | $1e^5$ | 95.040 | $2^6·3^3·5·11$ |
| Mathieugruppe … | $M_{22}$ | Mathieu | 1861 | 1 | $4e^5$ | 443.520 | $2^7·3^2·5·7·11$ |
| Mathieugruppe … | $M_{23}$ | Mathieu | 1861 | 1 | $1e^7$ | 10.200.960 | $2^7·3^2·5·7·11·23$ |
| Mathieugruppe … | $M_{24}$ | Mathieu | 1861 | 1 | $2e^8$ | 244.823.040 | $2^{10}·3^3·5·7·11·23$ |
| Jankogruppe … | $J_1$ | Janko | 1965 | P | $2e^5$ | 175.560 | $2^3·3·5·7·11·19$ |
| Jankogruppe … | $J_2,$ HJ | Janko | 1968 | 2 | $6e^5$ | 604.800 | $2^7·3^3·5^2·7$ |
| Jankogruppe … | $J_3$ | Janko | 1968 | P | $5e^7$ | 50.232.960 | $2^7·3^5·5·17·19$ |
| Jankogruppe … | $J_4$ | Janko | 1976 | P | $9e^{19}$ | 86.775.571.046.077.562.880 | $2^{21}·3^3·5·7·11^3·23·29·31·37·43$ |
| Higman-Sims-Gruppe | HS | Higman, Sims | 1967 | 2 | $4e^7$ | 44.352.000 | $2^9·3^2·5^3·7·11$ |
| McLaughlin-Gruppe | McL, Mc | McLaughlin | 1969 | 2 | $9e^8$ | 898.128.000 | $2^7·3^6·5^3·7·11$ |
| Suzukigruppe | Suz | Suzuki | 1969 | 2 | $4e^{11}$ | 448.345.497.600 | $2^{13}·3^7·5^2·7·11·13$ |
| Rudvalisgruppe | Ru | Rudvalis | 1972 | P | $1e^{11}$ | 145.926.144.000 | $2^{14}·3^3·5^3·7·13·29$ |
| Heldgruppe | He | Held | 1969 | 3 | $4e^9$ | 4.030.387.200 | $2^{10}·3^3·5^2·7^3·17$ |
| Lyonsgruppe | Ly | Lyons | 1972 | P | $5e^{16}$ | 51.765.179.004.000.000 | $2^8·3^7·5^6·7·11·31·37·67$ |
| O’Nan-Gruppe | ON, O’N | O’Nan | 1976 | P | $4e^{11}$ | 460.815.505.920 | $2^9·3^4·5·7^3·11·19·31$ |
| Conwaygruppe … | $Co_1,$ $C_1$ | Conway | 1969 | 2 | $4e^{18}$ | 4.157.776.806.543.360.000 | $2^{21}·3^9·5^4·7^2·11·13·23$ |
| Conwaygruppe … | $Co_2,$ $C_2$ | Conway | 1969 | 2 | $4e^{13}$ | 42.305.421.312.000 | $2^{18}·3^6·5^3·7·11·23$ |
| Conwaygruppe … | $Co_3,$ $C_3$ | Conway | 1969 | 2 | $5e^{11}$ | 495.766.656.000 | $2^{10}·3^7·5^3·7·11·23$ |
| Fischer-Gruppe … | $Fi_{22}$ | Fischer | 1971 | 3 | $6e^{13}$ | 64.561.751.654.400 | $2^{17}·3^9·5^2·7·11·13$ |
| Fischer-Gruppe … | $Fi_{23}$ | Fischer | 1971 | 3 | $4e^{18}$ | 4.089.470.473.293.004.800 | $2^{18}·3^{13}·5^2·7·11·13·17·23$ |
| Fischer-Gruppe … | $Fi_{24},$ $F_{24}′$ | Fischer | 1971 | 3 | $1e^{24}$ | 1.255.205.709.190.661.721.292.800 | $2^{21}·3^{16}·5^2·7^3·11·13·17·23·29$ |
| Harada-Norton-Gruppe | HN, $F_5$ | Harada, Norton, Smith | 1976 | 3 | $3e^{14}$ | 273.030.912.000.000 | $2^{14}·3^6·5^6·7·11·19$ |
| Thompsongruppe | Th, $F_3$ | Thompson | 1976 | 3 | $9e^{16}$ | 90.745.943.887.872.000 | $2^{15}·3^{10}·5^3·7^2·13·19·31$ |
| Baby-Monstergruppe | B, $F_2$ | Fischer | 1973 | 3 | $4e^{33}$ | 4.154.781.481.226.426.191.177.580.544.000.000 | $2^{41}·3^{13}·5^6·7^2·11·13·17·19·23·31·47$ |
| Monstergruppe | M, $F_1$ | Fischer, Griess | 1973 | 3 | $8e^{53}$ | 808.017.424.794.512.875.886.459.904.961.710.757.005.754.368.000.000.000 | $2^{46}·3^{20}·5^9·7^6·11^2·13^3·17·19·23·29·31·41·47·59·71$ |
