groupe sporadique

Imaginez un classement où presque tous les objets entrent dans quelques grandes séries, mais où 26 pièces restent à part. Dans la classification des groupes simples finis, ces exceptions sont les groupes sporadiques. Ils ne forment pas une nouvelle série extensible : chacun figure sur une liste finie. Le plus imposant est le groupe Monstre, qui compte environ 8 × 10⁵³ éléments.

Un groupe sporadique est l’un des 26 groupes simples finis qui n’appartiennent à aucune des 18 familles infinies de la classification achevée en 1982. Ces familles comprennent une famille de groupes cycliques d’ordre premier, une famille de groupes alternés et seize familles de groupes finis de type de Lie. Le mot « sporadique » désigne donc une place précise dans cette classification, et non une propriété vague ou un comportement irrégulier.

La liste réunit cinq groupes de Mathieu, quatre de Janko, trois de Conway et trois de Fischer. Onze groupes portent chacun un autre nom : Higman-Sims, McLaughlin, Held, Rudvalis, Suzuki, O’Nan, Harada-Norton, Lyons, Thompson, Baby Monstre et Monstre, aussi appelé groupe de Fischer-Griess. Le Monstre est le plus grand, avec environ 8 × 10⁵³ éléments.

Parmi les 26, vingt sont des sous-quotients du Monstre et constituent la « Happy Family ». Les six autres sont les « pariah groups », ou groupes parias. Selon une convention parfois employée, le groupe de Tits est ajouté comme 27^e groupe sporadique ; ce comptage ne remplace pas la liste canonique des 26.

La liste canonique réunit les groupes de Mathieu M₁₁, M₁₂, M₂₂, M₂₃ et M₂₄ ; les groupes de Janko J₁, J₂, J₃ et J₄ ; les groupes de Conway Co₁, Co₂ et Co₃ ; les groupes de Fischer Fi₂₂, Fi₂₃ et Fi₂₄′ ; puis Higman-Sims, McLaughlin, Held, Rudvalis, Suzuki, O’Nan, Harada-Norton, Lyons, Thompson, Baby Monstre et Monstre. Ces cinq sous-listes comptent respectivement cinq, quatre, trois, trois et onze groupes, ce qui donne bien le total annoncé : Les noms de famille organisent la liste, tandis que l’exclusion des 18 familles infinies définit son caractère sporadique.

Une seconde organisation dépend du groupe Monstre : vingt groupes sont ses sous-quotients et forment la Happy Family ; six restent en dehors de cet ensemble et sont les groupes parias. Cette partition porte sur les mêmes 26 groupes. Les 26 repères de la figure rendent ce partage visible sans représenter les éléments ni les opérations internes de chaque groupe.

Prenons M₁₁. Les données utiles sont son nom, son appartenance aux cinq groupes de Mathieu et la place de cette famille dans la liste des 26 groupes exceptionnels.

1. Repérez d’abord M₁₁ dans la série M₁₁, M₁₂, M₂₂, M₂₃ et M₂₄.
2. Cette série compte cinq groupes : ce sont les groupes de Mathieu.
3. Les groupes de Mathieu figurent parmi les 26 groupes simples finis situés hors des 18 familles infinies.
4. M₁₁ est donc un groupe sporadique.

Le contrôle est direct : M₁₁ apparaît une fois dans la sous-liste des cinq groupes de Mathieu, elle-même incluse dans le décompte 5 + 4 + 3 + 3 + 11 = 26. La conclusion repose sur sa place dans la classification, pas sur la lettre M ni sur son indice 11.

Devant un nom comme M₂₄, J₄ ou Co₁, consultez la liste des 26. Sa présence dans une sous-liste nommée permet de le situer comme groupe sporadique ; une simple ressemblance de notation ne suffit pas.

Pour organiser les 26 groupes, choisissez le classement adapté à la question. Les familles de noms — Mathieu, Janko, Conway, Fischer et les onze noms isolés — servent à inventorier la liste. La partition Happy Family–groupes parias sert plutôt à lire leur relation au Monstre.

Lorsqu’un texte annonce 27 groupes sporadiques, vérifiez sa convention. Si le groupe de Tits est inclus, le nombre 27 est cohérent avec cet usage ; pour la classification canonique donnée ici, retenez 26.

Groupe simple fini. Cette catégorie est plus vaste : elle comprend les groupes des familles infinies et les 26 exceptions. Un groupe simple fini appartenant à une famille infinie n’est donc pas sporadique.

Groupe Monstre. Le Monstre est un groupe sporadique particulier, et non un autre nom pour l’ensemble des groupes sporadiques. Le cas M₁₁ tranche immédiatement : il est sporadique, mais ce n’est pas le Monstre.

Happy Family. Ce nom ne couvre que les vingt groupes sporadiques qui sont des sous-quotients du Monstre. Les six groupes parias sont sporadiques eux aussi, mais n’appartiennent pas à cette famille.

Le décompte 26 ou 27. Le nombre 27 signale généralement que le groupe de Tits a été inclus par convention. Il faut annoncer ce choix ; sans cette précision, utilisez la liste canonique des 26 groupes.

Un ordre approximatif. L’écriture « environ 8 × 10⁵³ éléments » donne l’échelle du groupe Monstre, pas son ordre exact. Ne remplacez donc pas « environ » par une égalité.

Deux découpages différents. Les familles de Mathieu, Janko, Conway et Fischer organisent des noms, tandis que Happy Family et groupes parias forment une partition 20–6 liée au Monstre. Il ne faut pas additionner ces deux classements comme s’ils créaient de nouveaux groupes.

Sous-quotient n’est pas synonyme de sous-groupe. La source caractérise les vingt membres de la Happy Family comme des sous-quotients du Monstre. Pour conserver l’information exacte, reprenez ce terme plutôt que de le raccourcir en « sous-groupes ».

La classification des groupes finis simples replace les 26 exceptions dans le panorama complet dont elles achèvent l’inventaire.

Le glossaire groupe fini simple précise la catégorie générale à laquelle appartiennent tous les groupes sporadiques.

Le glossaire Groupe quotient éclaire le vocabulaire nécessaire pour ne pas réduire la notion de sous-quotient à celle de sous-groupe.