groupe fini simple

Imaginez cinq positions numérotées de 0 à 4 sur un cadran. À chaque pas, on avance d’un même nombre de positions et l’on revient à 0 après 4. Ces cinq positions, avec l’addition modulo 5, forment un groupe fini.

Ce groupe est simple parce qu’aucune partie intermédiaire ne peut être isolée tout en respectant les symétries internes du groupe. Il reste seulement le sous-groupe réduit à 0 ou le groupe entier. Cette absence d’étage normal intermédiaire en fait une brique élémentaire.

Un groupe fini simple est un groupe non trivial comportant un nombre fini d’éléments et ne possédant aucun sous-groupe normal propre non trivial. Un sous-groupe est dit normal, ou distingué, lorsqu’il est conservé par conjugaison par tous les éléments du groupe.

Notons le groupe par G, son élément neutre par e et un sous-groupe normal par N. La condition de simplicité s’écrit : $N⊴G⟹N=\{e\}\text{ ou }N=GN\; \backslash trianglelefteq\; G\; \backslash Longrightarrow\; N=\backslash \{e\backslash \}\; \backslash text\{\; ou\; \}\; N=G$. Ainsi, aucun groupe quotient non trivial ne fournit un étage intermédiaire permettant de décomposer G comme une extension non triviale de groupes plus petits.

Les groupes cycliques ℤ/pℤ, où p est un nombre premier, sont des exemples commutatifs. Les groupes alternés A_n sont simples pour n ≥ 5 ; les groupes finis de type de Lie et les 26 groupes sporadiques fournissent les autres formes mentionnées dans la classification. Achevée en 1982, celle-ci compte 18 familles infinies et 26 groupes sporadiques. Le théorème de Jordan-Hölder explique le rôle de briques élémentaires : tout groupe fini se construit, par une suite d’extensions, à partir de facteurs simples finis.

La structure repose sur quatre données liées. L’ensemble fini fournit les éléments. La loi de groupe permet de les composer et détermine l’élément neutre e ainsi que les inverses. Les sous-groupes sont les parties qui restent elles-mêmes des groupes pour cette loi. Enfin, la normalité repère les sous-groupes qui restent inchangés par toutes les conjugaisons.

La loi détermine donc à la fois les sous-groupes et ceux qui sont normaux. La simplicité dépend exclusivement de ces sous-groupes normaux : il ne doit rester que {e} et le groupe entier. La taille finie seule ne suffit pas, et l’existence de sous-groupes non normaux n’empêche pas la simplicité. Ces données permettent de tester la notion et de repérer les quotients qui pourraient constituer des étages de décomposition.

Prenons le groupe ℤ/5ℤ. Ses données sont les cinq classes 0, 1, 2, 3 et 4, l’addition modulo 5 et l’élément neutre 0. Il s’agit de vérifier que ses seuls sous-groupes sont {0} et ℤ/5ℤ.

1. Le sous-groupe {0} existe, puisque 0 + 0 = 0. Le groupe entier est aussi un sous-groupe.

2. Supposons qu’un sous-groupe contienne une classe non nulle, notée a. Les additions répétées de a donnent toutes les cinq classes, car a vaut 1, 2, 3 ou 4 et que 5 est premier. On obtient donc : $⟨a⟩=\{0,a,2a,3a,4a\}=\mathbb{Z}\mathrm{/}5\mathbb{Z}\backslash langle\; a\backslash rangle=\backslash \{0,a,2a,3a,4a\backslash \}=\backslash mathbb\; Z/5\backslash mathbb\; Z$.

3. Il n’existe donc aucun sous-groupe intermédiaire. Comme l’addition est commutative, chaque sous-groupe est normal : les seuls sous-groupes normaux sont {0} et le groupe entier. ℤ/5ℤ est bien simple. Le cycle des additions de 1 fournit un contrôle refaisable : 0, 1, 2, 3, 4, puis 0.

Pour un groupe cyclique, on regarde son ordre. Un groupe cyclique d’ordre premier, comme ℤ/5ℤ, est simple ; un groupe cyclique d’ordre composé possède un sous-groupe propre non trivial.

Pour analyser un groupe fini quelconque, on cherche ses sous-groupes normaux. S’il en existe un entre le neutre et le groupe entier, on étudie ce sous-groupe et le quotient associé plutôt que de traiter le groupe comme une seule brique.

Dans une suite de composition, les facteurs simples jouent le rôle des facteurs premiers d’un entier. Le théorème de Jordan-Hölder garantit que ces briques décrivent la structure du groupe fini à travers une suite d’extensions.

Simple et sans sous-groupe. Un groupe simple peut posséder des sous-groupes non triviaux : ce sont seulement les sous-groupes normaux non triviaux qui sont interdits. Ainsi, le test porte sur l’invariance par conjugaison, pas sur la seule présence d’une partie fermée.

Simple et cyclique. « Cyclique » signifie qu’un élément engendre tout le groupe ; « simple » décrit ses sous-groupes normaux. ℤ/5ℤ vérifie les deux propriétés, tandis que les groupes alternés A_n pour n ≥ 5 montrent que la simplicité ne se réduit pas au cas cyclique.

Simple et quotient. Un groupe quotient se construit à partir d’un sous-groupe normal. Dans un groupe simple, les deux sous-groupes normaux autorisés ne donnent que le groupe lui-même ou le groupe trivial, jamais un quotient intermédiaire non trivial.

Le mot « fini » est indispensable. La classification achevée en 1982 porte sur les groupes simples finis. Un groupe simple infini ne relève donc pas de cette liste de 18 familles infinies de groupes finis et de 26 groupes sporadiques.

Le seuil des groupes alternés compte. L’énoncé source garantit la simplicité de A_n pour n ≥ 5. Il ne faut pas prolonger cette affirmation aux indices inférieurs : le seuil 5 fait partie de l’hypothèse.

Normal ne signifie pas simplement inclus. Trouver un sous-groupe non trivial ne réfute pas la simplicité. Il faut encore vérifier qu’il est conservé par conjugaison par chaque élément du groupe ; sinon, il ne fournit pas le quotient intermédiaire recherché.

Le groupe trivial demande une convention. Dans la formulation usuelle, un groupe simple est non trivial. La définition source énumère toutefois {e} et le groupe entier comme seuls sous-groupes normaux ; lorsqu’ils coïncident, il faut annoncer la convention retenue avant de conclure.

Le sous-groupe distingué précise le critère de normalité qui décide si un groupe est simple.

Le groupe quotient montre comment un sous-groupe normal produit un étage de décomposition.

Le groupe cyclique approfondit la famille commutative dont ℤ/pℤ fournit les exemples simples d’ordre premier.

Le groupe sporadique présente les 26 exceptions isolées de la classification des groupes simples finis.