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 8×1053.

Liste
Diagramme des 26 groupes sporadiques indiquant les relations de subquotientage (en)

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 :

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 J1, J3, J4, 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

La première génération de groupes sporadiques sont les groupes de Mathieu M11, M12, M22, M23 et M24 sont des groupes de permutations multiplement transitifs. Tous sont des sous-groupes de M24, groupe de permutation sur 24 éléments.

Réseau de Leech

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

  • Co1 : quotient du groupe des automorphismes par son centre ;
  • Co2 : stabilisateur d'un vecteur de type 2 ;
  • Co3 : 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 ;
  • J2 : 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 F2 : possède un revêtement (en) double qui est le centralisateur d'un élément d'ordre 2 dans M ;
  • Fi24′ : 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) ;
    • Fi23 : sous-groupe de Fi24′ ;
    • Fi22 : possède un revêtement qui est un sous-groupe de Fi23 ;
  • 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 M12 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 2F4(2)′ comme un groupe sporadique, il fait également partie de cette génération : il existe un sous-groupe S4×2F4(2)′ normalisant un sous-groupe 2C2 de B, donnant naissance à un sous-groupe 2·S4×2F4(2)′ normalisant un certain sous-groupe Q8 du Monster. 2F4(2)′ est également un sous-groupe de Fi22, Fi23, Fi24′ et B.

Tableau

Le tableau suivant donne la liste des groupes sporadiques par ordre croissant (suivant la suite A001228 de l'OEIS).

GroupeOrdreFactorisationEstimation
M117 92024·32·5·11≈ 8×103
M1295 04026·33·5·11≈ 1×105
J1175 56023·3·5·7·11·19≈ 2×105
M22443 52027·32·5·7·11≈ 4×105
J2 ou HJ604 80027·33·52·7≈ 6×105
M2310 200 96027·32·5·7·11·23≈ 1×107
HS44 352 00029·32·53·7·11≈ 4×107
J3 ou HJM50 232 96027·35·5·17·19≈ 5×107
M24244 823 040210·33·5·7·11·23≈ 2×108
McL898 128 00027·36·53·7·11≈ 9×108
He4 030 387 200210·33·52·73·17≈ 4×109
Ru145 926 144 000214·33·53·7·13·29≈ 1×1011
Suz448 345 497 600213·37·52·7·11·13≈ 4×1011
O'N460 815 505 92029·34·5·73·11·19·31≈ 5×1011
Co3495 766 656 000210·37·53·7·11·23≈ 5×1011
Co242 305 421 312 000218·36·53·7·11·23≈ 4×1013
Fi2264 561 751 654 400217·39·52·7·11·13≈ 6×1013
F5 ou HN273 030 912 000 000214·36·56·7·11·19≈ 3×1014
Ly51 765 179 004 000 00028·37·56·7·11·31·37·67≈ 5×1016
F3 ou Th90 745 943 887 872 000215·310·53·72·13·19·31≈ 9×1016
Fi234 089 470 473 293 004 800218·313·52·7·11·13·17·23≈ 4×1018
Co14 157 776 806 543 360 000221·39·54·72·11·13·23≈ 4×1018
J486 775 571 046 077 560 000221·33·5·7·113·23·29·31·37·43≈ 9×1019
Fi24' ou F3+1 255 205 709 190 661 800 000 000221·316·52·73·11·13·17·23·29≈ 1×1024
F2 ou B4 154 781 481 226 426 000 000 000 000 000 000241·313·56·72·11·13·17·19·23·31·47≈ 4×1033
F1 ou M808 017 424 794 512 800 000 000 000 000 000 000 000 000 000 000 000 000246·320·59·76·112·133·17·19·23·29·31·41·47·59·71≈ 8×1053

Liens externes


(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Sporadic group » (voir la liste des auteurs).
  • Portail de l’algèbre
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.