Groupe sporadique

En mathématiques, un groupe sporadique est l'un des 26 groupes exceptionnels dans la classification des groupes simples finis. Un groupe simple est un groupe G non trivial qui ne possède aucun sous-groupe normal à part son sous-groupe trivial (réduit à l'élément neutre) et G lui-même. Le théorème de classification affirme que les groupes simples finis peuvent être regroupés en 18 familles infinies dénombrables, plus 26 exceptions qui ne suivent pas un motif systématique (ou 27, si le groupe de Tits est considéré comme un groupe sporadique).

Le plus petit groupe sporadique possède 7 920 éléments ; le plus grand, le groupe Monstre, environ 8Modèle:X10.

Liste

Fichier:SporadicGroups.svg

Diagramme des 26 groupes sporadiques indiquant les relations de Modèle:Lien

Cinq des groupes sporadiques furent découverts par Émile Mathieu dans les années 1860 et les 21 autres entre 1965 et 1975. L'existence de plusieurs de ces groupes fut conjecturée avant leur construction effective. La plupart portent le nom du ou des mathématiciens qui émirent les premiers ces conjectures. L'arrivée de l'ordinateur a été déterminante dans l'identification de ces groupes, dont la liste est la suivante :

• Groupes de Mathieu M₁₁, M₁₂, M₂₂, M₂₃, M₂₄
• Groupes de Janko J₁, J₂ (également appelé groupe de Hall-Janko HJ), J₃, J₄
• Groupes de Conway Co₁, Co₂, Co₃
• Groupes de Fischer Fi₂₂, Fi₂₃, Fi₂₄
• Groupe de Higman-Sims HS
• Groupe de McLaughlin McL (noté aussi Mc)
• Groupe de Held He
• Groupe de Rudvalis Ru
• Groupe de Suzuki Suz
• Groupe de O'Nan O'N
• Groupe de Harada-Norton HN (noté aussi F₅)
• Groupe de Lyons Ly
• Groupe de Thompson Th (noté aussi F₃)
• Groupe Bébé Monstre B (noté aussi F₂)
• Groupe Monstre M, ou groupe de Fischer-Griess (noté aussi F₁)

Les représentations sur les corps finis de tous les groupes sporadiques ont été calculées, excepté pour le groupe Monstre.

Organisation

Parias

Sur les 26 groupes sporadiques, 20 sont des sous-quotients du groupe Monstre. Les six exceptions sont J₁, J₃, J₄, O'N, Ru et Ly. Ces six groupes sont quelquefois dénommés « parias ».

Les 20 groupes restants peuvent être organisés en trois générations.

Groupes de Mathieu

Modèle:Article détaillé La première génération de groupes sporadiques sont les groupes de Mathieu M₁₁, M₁₂, M₂₂, M₂₃ et M₂₄ sont des groupes de permutations multiplement transitifs. Tous sont des sous-groupes de M₂₄, groupe de permutation sur 24 éléments.

Réseau de Leech

Modèle:Article détaillé La deuxième génération rassemble tous les quotients de sous-groupes du groupe des automorphismes du réseau de Leech :

• Co₁ : quotient du groupe des automorphismes par son centre ;
• Co₂ : stabilisateur d'un vecteur de type 2 ;
• Co₃ : stabilisateur d'un vecteur de type 3 ;
• Suz : groupe des automorphismes préservant une structure complexe (modulo son centre) ;
• McL : stabilisateur d'un triangle de type 2-2-3 triangle ;
• HS : stabilisateur d'un triangle de type 2-3-3 triangle ;
• J₂ : groupe des automorphismes préservant une structure quaternionique (modulo son centre).

Autres sous-groupes du Monstre

La troisième génération est constituée de sous-groupes fortement liés au groupe Monstre M:

• B ou F₂ : possède un Modèle:Lien double qui est le centralisateur d'un élément d'ordre 2 dans M ;
• Fi₂₄′ : possède un revêtement triple qui est le centralisateur d'un élément d'ordre 3 dans M (dans la classe de conjugaison 3A) ;
  • Fi₂₃ : sous-groupe de Fi₂₄′ ;
  • Fi₂₂ : possède un revêtement qui est un sous-groupe de Fi₂₃ ;
• Th : Le produit de Th et d'un groupe d'ordre 3 est le centralisateur d'un élément d'ordre 3 dans M (dans la classe de conjugaison 3C) ;
• HN : Le produit de HN et d'un groupe d'ordre 5 est le centralisateur d'un élément d'ordre 5 dans M ;
• He : Le produit de He et d'un groupe d'ordre 7 est le centralisateur d'un élément d'ordre 7 dans M ;
• M : le groupe Monstre lui-même fait partie de cette génération.

Cette série ne se limite pas à cette génération : le produit de M₁₂ et d'un groupe d'ordre 11 est le centralisateur d'un élément d'ordre 11 dans M.

Si on considère le groupe de Tits ²F₄(2)′ comme un groupe sporadique, il fait également partie de cette génération : il existe un sous-groupe S₄ײF₄(2)′ normalisant un sous-groupe 2C² de B, donnant naissance à un sous-groupe 2·S₄ײF₄(2)′ normalisant un certain sous-groupe Q₈ du Monster. ²F₄(2)′ est également un sous-groupe de Fi₂₂, Fi₂₃, Fi₂₄′ et B.

Tableau

Le tableau suivant donne la liste des groupes sporadiques par ordre croissant (suivant la Modèle:OEIS).

Groupe	Ordre	Factorisation	Estimation
M11	7 920	24·32·5·11	≈ 8Modèle:X10
M12	95 040	26·33·5·11	≈ 1Modèle:X10
J1	175 560	23·3·5·7·11·19	≈ 2Modèle:X10
M22	443 520	27·32·5·7·11	≈ 4Modèle:X10
J2 ou HJ	604 800	27·33·52·7	≈ 6Modèle:X10
M23	10 200 960	27·32·5·7·11·23	≈ 1Modèle:X10
HS	44 352 000	29·32·53·7·11	≈ 4Modèle:X10
J3 ou HJM	50 232 960	27·35·5·17·19	≈ 5Modèle:X10
M24	244 823 040	210·33·5·7·11·23	≈ 2Modèle:X10
McL	898 128 000	27·36·53·7·11	≈ 9Modèle:X10
He	4 030 387 200	210·33·52·73·17	≈ 4Modèle:X10
Ru	145 926 144 000	214·33·53·7·13·29	≈ 1Modèle:X10
Suz	448 345 497 600	213·37·52·7·11·13	≈ 4Modèle:X10
O'N	460 815 505 920	29·34·5·73·11·19·31	≈ 5Modèle:X10
Co3	495 766 656 000	210·37·53·7·11·23	≈ 5Modèle:X10
Co2	42 305 421 312 000	218·36·53·7·11·23	≈ 4Modèle:X10
Fi22	64 561 751 654 400	217·39·52·7·11·13	≈ 6Modèle:X10
F5 ou HN	273 030 912 000 000	214·36·56·7·11·19	≈ 3Modèle:X10
Ly	51 765 179 004 000 000	28·37·56·7·11·31·37·67	≈ 5Modèle:X10
F3 ou Th	90 745 943 887 872 000	215·310·53·72·13·19·31	≈ 9Modèle:X10
Fi23	4 089 470 473 293 005 000	218·313·52·7·11·13·17·23	≈ 4Modèle:X10
Co1	4 157 776 806 543 360 000	221·39·54·72·11·13·23	≈ 4Modèle:X10
J4	Modèle:Unité	221·33·5·7·113·23·29·31·37·43	≈ 9Modèle:X10
Fi24' ou F3+	Modèle:Unité	221·316·52·73·11·13·17·23·29	≈ 1Modèle:X10
F2 ou B	Modèle:Unité	241·313·56·72·11·13·17·19·23·31·47	≈ 4Modèle:X10
F1 ou M	Modèle:Unité	246·320·59·76·112·133·17·19·23·29·31·41·47·59·71	≈ 8Modèle:X10

Liens externes

• Modèle:MathWorld
• {{#invoke:Langue|indicationDeLangue}} Atlas of Finite Group Representations: Sporadic groups

Modèle:Traduction/Référence