classification des groupes finis simples

Imaginez quatre compartiments destinés à ranger tous les groupes finis simples. Un tel groupe est « simple » non parce qu’il est petit, mais parce qu’il ne possède aucun sous-groupe normal qui soit à la fois propre et non trivial. Ici, « normal » signifie que le sous-groupe reste inchangé lorsqu’on le conjugue par n’importe quel élément du groupe : il est compatible avec toutes les symétries internes. La fiche liée sur le groupe fini simple approfondit ce critère.

La classification affirme que chaque groupe concerné trouve sa place parmi les cycliques d’ordre premier, les alternés de degré au moins cinq, les groupes de type Lie ou les 26 sporadiques. Le groupe Monstre occupe une place remarquable dans le dernier compartiment.

La classification des groupes finis simples est un théorème d’exhaustivité. Elle porte sur les groupes finis simples, c’est-à-dire, selon la convention usuelle, les groupes non triviaux dont les seuls sous-groupes normaux sont le sous-groupe réduit à l’élément neutre et le groupe entier. L’expression « théorème énorme » rappelle l’ampleur de la démonstration collective, menée principalement de 1955 à 1983 et répartie sur des milliers de pages.

Le verdict comporte exactement quatre familles : les groupes cycliques d’ordre premier ; les groupes alternés de degré au moins cinq ; les groupes de type Lie ; et les 26 groupes sporadiques. Les groupes de type Lie comprennent les groupes classiques — linéaires spéciaux projectifs, symplectiques, orthogonaux et unitaires sur un corps fini — ainsi que des groupes exceptionnels ou tordus, dont le groupe de Tits. Les sporadiques ne prolongent aucune famille infinie. Une carte à quatre branches rend cette répartition exhaustive visible sans confondre familles infinies et exceptions isolées.

Prenons le groupe Monstre pour apprendre à lire une information de classement déjà établie, et non pour la redémontrer.
Données de référence. Le Monstre figure dans la liste des groupes sporadiques ; la classification compte 26 groupes sporadiques ; ceux-ci n’appartiennent à aucune famille infinie ; le Monstre est le plus grand d’entre eux et son ordre dépasse 8 × 10⁵³.

1. On vérifie d’abord que l’objet relève bien du théorème : le Monstre est l’un des groupes finis simples classifiés.
2. On repère ensuite, parmi les quatre branches, celle des 26 sporadiques : c’est là que la liste de référence place le Monstre.
3. On contrôle la cohérence de cette lecture : un sporadique n’appartient à aucune famille infinie.
4. On a ainsi situé le Monstre à partir d’une information établie, sans prétendre déduire sa famille de son ordre.

Pour appliquer ce geste à un autre groupe, il faut partir d’une propriété établie indépendamment — cyclique d’ordre premier, alterné de degré au moins cinq, de type Lie ou présent dans la liste des 26 sporadiques — puis repérer la branche correspondante. Si l’on ne connaît que l’ordre d’un groupe, ce classement est impossible : l’inégalité sur l’ordre du Monstre situe sa taille, mais ne constitue pas le critère de son classement.

Lorsqu’un texte présente un groupe fini simple, la classification fournit une première question utile : à laquelle des quatre familles appartient-il ? Cette question organise la lecture avant d’examiner une construction particulière.

Pour dresser un inventaire, on sépare les trois ensembles organisés en familles des 26 cas sporadiques. Le critère observable est l’appartenance, ou non, à une famille infinie ; un groupe sporadique relève de la liste exceptionnelle.

Face au groupe Monstre, le bon geste est de le placer parmi les sporadiques, puis de lire son ordre comme une information de taille. La borne 8 × 10⁵³ ne sert pas à décider s’il est simple.

Classification et définition d’un groupe fini simple. La définition porte sur un groupe : aucun sous-groupe normal propre non trivial. La classification porte sur tous ces groupes et affirme que la liste en quatre familles est exhaustive.

Groupe simple et groupe cyclique d’ordre premier. Les deux expressions ne sont pas synonymes. Les groupes cycliques d’ordre premier ne constituent que l’une des quatre familles de groupes finis simples ; le groupe Monstre relève, lui, des sporadiques.

Groupe sporadique et groupe de type Lie. Un sporadique n’appartient à aucune famille infinie. Les groupes classiques, exceptionnels ou tordus cités dans la classification relèvent des groupes de type Lie ; le groupe de Tits est rangé de ce côté.

« Simple » ne signifie pas « sans sous-groupes ». Le mot exclut seulement les sous-groupes normaux propres non triviaux. Chercher n’importe quel sous-groupe donnerait donc un mauvais test ; il faut vérifier à la fois normalité, caractère propre et non-trivialité.

Le groupe de Tits n’est pas un vingt-septième sporadique. Dans la répartition donnée ici, il est inclus parmi les groupes de type Lie exceptionnels ou tordus. Le nombre de sporadiques reste exactement 26.

La taille ne détermine pas la famille. L’ordre du Monstre est supérieur à 8 × 10⁵³, mais cette borne ne suffit pas à reconnaître un groupe sporadique. Il faut utiliser son appartenance à la liste des 26 cas isolés.

1955–1983 n’est pas la date d’une preuve unique. Cette période situe l’essentiel de travaux collectifs dispersés sur des milliers de pages. Il faut donc parler d’un programme monumental plutôt que d’un résultat obtenu en une seule étape.

La fiche groupe fini simple précise la propriété individuelle des objets auxquels s’applique la classification.

L’article La classification des groupes finis simples prolonge l’étude du résultat et de son organisation en quatre familles.