Théorie des groupes/Groupes alternés

Définitions et premières propriétés

Soit E un ensemble fini. Les permutations paires de E constituent le noyau de l'homomorphisme $\sigma \mapsto ϵ(\sigma )$ de $S_E$ dans $\{1,-1\}$ et forment donc un sous-groupe normal de $S_E$.

Modèle:Définition Puisque $A_E$ est le noyau d'un homomorphisme de groupe partant de $S_E$, $A_E$ est sous-groupe normal de $S_E$. Nous verrons dans un instant que ce sous-groupe est même caractéristique.

Si E et F sont deux ensembles finis équipotents, les groupes $A_E$ et $A_F$ sont isomorphes. En effet, soit f une bijection de E sur F. Nous avons vu que l'isomorphisme

$\sigma \mapsto f\sigma f^{-1}$

de $S_E$ sur $S_F$ applique les transpositions sur les transpositions, donc il induit un isomorphisme de $A_E$ sur $A_F$.

En général, les énoncés relatifs à $S_n$ et à $A_n$ s'étendent facilement à $S_X$ et à $A_X$, pour un ensemble X de cardinal n, par la considération d'un isomorphisme de $S_X$ sur $S_n$ du type dont il vient d’être question. Nous ferons souvent cette extension de façon implicite.

Si n est un nombre naturel $\ge 2$, il existe au moins une transposition dans $S_n$, donc l'homomorphisme $S_n\to \{1,-1\}:\sigma \mapsto ϵ(\sigma )$ est surjectif, donc son noyau est d'indice 2 dans le groupe de départ, donc

Remarques. 1) Si n est un nombre naturel $\ge$2, le seul homomorphisme non trivial du groupe $S_n$ dans le groupe {1, -1} est l'homomorphisme signature $ϵ$. En effet, soit f un tel homomorphisme. Puisque f n’est pas trivial et que les transpositions engendrent $S_n$, il existe au moins une transposition dont la valeur par f est -1. Comme les transpositions sont toutes conjuguées les unes des autres (voir l'effet de la conjugaison sur la décomposition en cycles), f les applique toutes sur -1. (En effet, on vérifie facilement qu'un homomorphisme d'un groupe G dans un groupe commutatif applique toujours deux éléments conjugués sur la même valeur.) Ainsi, f possède une propriété dont nous avons vu qu'elle caractérise $ϵ$.

2) Il résulte de la précédente remarque que si n $\ge$2, $A_n$ est le seul sous-groupe d'indice 2 dans $S_n$. En effet, soit H un sous-groupe d'indice 2 de $S_n$. D'après [[../Exercices/Sous-groupe distingué, groupe quotient/|un exercice sur le chapitre Sous-groupe distingué, groupe quotient]], H est normal dans $S_n$. Le groupe quotient $S_n/H$ est d'ordre 2, donc il existe un (et un seul) isomorphisme $\sigma$ de $S_n/H$ sur {1, -1}. Si $\phi$ désigne l'homomorphisme canonique de $S_n$ sur $S_n/H$, H est le noyau de $\phi$ et donc aussi de $\sigma \circ \phi$. Mais $\sigma \circ \phi$ est un homomorphisme non trivial de $S_n$ dans {1, -1}, donc, d’après la précédente remarque, c’est l'homomorphisme signature $ϵ$. Ainsi, H est le noyau de $ϵ$, donc est égal à $A_n$. Nous avons donc bien prouvé que si n $\ge$2, $A_n$ est le seul sous-groupe d'indice 2 dans $S_n$. Il en résulte que $A_n$ est un sous-groupe caractéristique dans $S_n$ (même, évidemment, si n < 2).

Modèle:Proposition

Prouvons d’abord que le sous-groupe de $S_n$ engendré par les cycles de longueur 3 est contenu dans $A_n$. Il suffit évidemment de prouver que tout cycle de longueur 3 dans $S_n$ appartient à $A_n$. Un tel cycle est de la forme (a b c), où a, b, et c sont trois éléments distincts de {1, 2, ..., n}. Alors (a b c) = (a b)(b c), donc (a b c) est le produit de deux transpositions, donc est une permutation paire, donc appartient à $A_n$. (On a d'ailleurs vu dans le chapitre [[../Groupes symétriques finis|Groupes symétriques finis]] qu'un cycle est une permutation paire si et seulement s'il est de longueur impaire.) Réciproquement, prouvons que si C₃ désigne le sous-groupe de $S_n$ engendré par les cycles de longueur 3, $A_n$ est contenu dans C₃. Soit s un élément de $A_n$ ; il s'agit de prouver que s appartient à C₃. Puisque s est une permutation paire, on peut l'écrire comme un produit de permutations toutes de la forme t₁t₂, où t₁ et t₂ sont des transpositions. Il suffit donc de prouver que le produit de deux transpositions t₁ et t₂ appartient toujours à C₃. Si les supports de t₁ et de t₂ sont égaux, t₁ et t₂ sont égales, donc leur produit est la permutation identique et appartient bien à C₃. Si les supports de t₁ et de t₂ ont un et un seul élément commun, elles sont de la forme (a b) et (b c), a, b et c étant trois éléments distincts ; alors (a b)(b c) = (a b c) comme déjà noté, donc t₁t₂ est un cycle de longueur 3 et appartient bien à C₃. Enfin, si les supports de t₁ et de t₂ sont disjoints, nous avons t₁ = (a b) et t₂ = (c d), où a, b, c, d sont quatre éléments distincts. Alors t₁t₂ = (a b)(c d) = (a b c)(b c d), donc t₁t₂ est le produit de deux cycles de longueur 3 et appartient bien à C₃, ce qui achève la démonstration.

Sous-groupes distingués des groupes alternés

L'objet principal de ce qui suit est de prouver que pour tout nombre naturel $n\ge 5$, le groupe alterné $A_n$ est un groupe simple (non commutatif).

Démonstration. Comme on le vérifie facilement, V est un sous-groupe de $A_4$. (Pour prouver que le produit de deux éléments distincts de V – {1} appartient à V, il suffit de calculer (a b) (c d) (a c) (b d), tous les cas se ramenant à celui-là.) Les éléments de V sont les éléments s de $A_4$ tels que sModèle:Exp = 1 (rappel : les transpositions n'appartiennent pas à $A_4$), donc V est un sous-groupe caractéristique de $A_4$. Puisque $A_4$ est lui-même sous-groupe caractéristique de $S_4$, V est donc un sous-groupe caractéristique de $S_4$. Nous avons vu (dans [[../Exercices/Produit direct et somme restreinte#Problème 4|un exercice du chapitre Produit direct et somme restreinte]]) qu'un groupe où le carré de tout élément est égal à l'élément neutre est un produit direct de groupes d'ordre 2. Puisque V est d'ordre 4, il est donc produit direct de deux sous-groupes d'ordre 2. $A_4$ n'a pas d'élément d'ordre 4, car un tel élément devrait être un cycle de longueur 4 et on a vu au chapitre Groupes symétriques finis qu'un cycle de longueur paire est une permutation impaire. Donc si H est un sous-groupe d'ordre 4 de $A_4$, tout élément s de H satisfait à la condition sModèle:Exp = 1. On a noté que les éléments s de $A_4$ satisfaisant à cette condition sont les éléments de V, donc H est contenu dans V, donc H = V pour motif de cardinal. Ceci prouve que V est le seul sous-groupe d'ordre 4 de $A_4$. (Pour prouver ce dernier point, on aurait pu dire aussi que, d'après ce qui précède, V est un 2-sous-groupe de Sylow normal de $A_4$ et est donc l'unique 2-sous-groupe de Sylow de $A_4$.)

Note : un sous-groupe K d'ordre 2 de V est distingué dans V (parce que V est commutatif), V est distingué dans $S_4$ comme nous venons de le voir, et pourtant K n’est pas distingué dans $S_4$. (En effet, nous avons vu dans les exercices sur la conjugaison que tout sous-groupe distingué d'ordre 2 est contenu dans le centre et il résulte d'un exercice sur les groupes symétriques que le centre de $S_4$ est réduit à l'élément neutre.) Cela montre qu'un sous-groupe distingué d'un sous-groupe distingué d'un groupe G n’est pas forcément distingué dans G.

Démonstration. Puisque A_n est engendré par les cycles d'ordre 3, il suffit évidemment de prouver que si γ₁ et γ₂ sont deux cycles d'ordre 3, un au moins des deux cycles γ₂ et γ₂Modèle:Exp est conjugué de γ₁ dans A_n (et non seulement dans S_n). On sait que γ₂ est conjugué de γ₁ dans S_n, donc il existe une permutation σ ∈ S_n telle que γ₂ = σ γ₁ σModèle:Exp. Si la permutation σ est paire, γ₂ est conjugué de γ₁ dans A_n et notre argument est vrai. Si la permutation σ est impaire, écrivons γ₂ = (a b c). Alors γ₂Modèle:Exp = (c b a) = (a c) γ₂ (a c)Modèle:Exp, donc γ₂Modèle:Exp = (a c) σ γ₁ σModèle:Exp (a c)Modèle:Exp, où la permutation (a c) σ est paire, et notre argument est encore vrai.

Remarque. On prouve facilement que si n ≥ 5, deux cycles d'ordre 3 appartenant à S_n sont toujours conjugués dans A_n.

Démonstration Si n ≤ 2, $A_n$ est réduit à l'élément neutre et n'est donc pas simple. Si n = 3, $A_n$ est d'ordre 3 ; comme 3 est premier, $A_3$ est un groupe simple commutatif. Nous pouvons donc supposer n ≥ 4.

Supposons que H soit un sous-groupe distingué de $A_n$, distinct de 1 et de $A_n$. Nous allons en tirer une contradiction si n ≥ 5 et prouver que H = V si n = 4. Il est clair que cela démontrera l'énoncé.

Parmi les éléments de H distincts de l'élément neutre, choisissons une permutation, soit σ, dont le support ait le moins d'éléments possible. Puisque σ n’est pas la permutation identique, elle admet au moins une orbite non ponctuelle. (On dira ici « orbite de σ » pour « orbite de ⟨σ⟩ ».)

Premier cas : toutes les orbites non ponctuelles de σ ont exactement deux éléments. Puisque la permutation σ est paire, elle a au moins deux telles orbites. Prouvons que ceci est impossible si n ≥ 5. Choisissons deux transpositions (a b) et (c d) dans la décomposition de σ en produit de cycles à supports disjoints. Puisque nous supposons n ≥ 5, nous pouvons choisir dans {1, ... , n} un élément e distinct de a, b, c et d. Posons φ = (c d e). La permutation φ σ φModèle:Exp σModèle:Exp appartient à H ; en effet, c’est le produit de σModèle:Exp, qui appartient à H, par φ σ φModèle:Exp, qui appartient également à H (puisque c’est le conjugué de l'élément σ de H par l'élément φ de A_n et que H est distingué dans A_n). De plus, la permutation φ σ φModèle:Exp σModèle:Exp n’est pas la permutation identique. En effet, φ σ φModèle:Exp σModèle:Exp(c) = φ σ φModèle:Exp(d) = φ σ (c) = φ(d) = e. D'autre part, tout point fixe de σ distinct de e est hors du support {c, d, e} de φ, donc est point fixe de φ, donc est point fixe de φ σ φModèle:Exp σModèle:Exp, qui admet en outre pour points fixes a et b, qui ne sont pas points fixes de σ. Ainsi, φ σ φModèle:Exp σModèle:Exp est un élément de H – {1} dont le support compte moins d'éléments que celui de σ, ce qui contredit la façon dont nous avons choisi σ.

La contradiction obtenue prouve que dans le premier cas (où toutes les orbites non ponctuelles de σ ont exactement deux éléments), n < 5, d'où n = 4. Donc H est un sous-groupe distingué de A₄ qui comprend un produit (a b) (c d) de deux transpositions à supports disjoints. Un tel élément appartient à V – {1}, où V est le sous-groupe de A₄ défini plus haut. Mais les éléments de V – {1} sont conjugués entre eux dans A₄ (et non seulement dans S₄), car si x, y, z, t sont distincts, le conjugué de (x y) (z t) par la permutation paire (x y z) est (y z) (x t). Donc H est un sous-groupe distingué de A₄ qui contient V. L'ordre de H divise donc l’ordre 12 de A₄ et est multiple de l’ordre 4 de V. Ce n'est possible que si H est égal à V ou à A₄. Par hypothèse, H n’est pas égal à A₄, donc il est égal à V.

Le théorème est donc vrai dans le premier cas, où toutes les orbites non ponctuelles de σ ont exactement deux éléments. Supposons maintenant qu’il y a au moins une orbite non ponctuelle de σ qui compte au moins trois éléments. Autrement dit, il y a dans la décomposition de σ un cycle de longueur au moins 3. Soit (a b c ... ) un tel cycle. Puisque H n’est pas A_n tout entier, il résulte du lemme 2 que σ n’est pas un cycle d'ordre 3. Donc σ déplace au moins un élément autre que a, b et c. Si parmi les éléments autres que a, b et c, σ n'en déplaçait qu'un, σ serait un cycle d'ordre 4 et donc une permutation impaire, ce qui contredit les hypothèses. Ainsi, le support de σ comprend au moins deux éléments distincts de a, b et c, donc le support de σ compte au moins 5 éléments. Nous pouvons donc choisir dans le support de σ deux éléments d et e distincts de a, de b et de σModèle:Exp(a). Posons φ = (b d e). Comme plus haut, on montre que φ σ φModèle:Exp σModèle:Exp appartient à H. La valeur de φ σ φModèle:Exp σModèle:Exp en b est φ σ φModèle:Exp(a) = φ σ (a) = φ(b) = d, donc φ σ φModèle:Exp σModèle:Exp n’est pas la permutation identique et appartient donc à H – {1}.

D'autre part, nous avons choisi d et e distincts de σModèle:Exp(a) et, puisque a est distinct de c = σ(b), il est clair que b est distinct de σModèle:Exp(a). Ainsi, σModèle:Exp(a) n'appartient pas au support {b, d, e} de φ, autrement dit σModèle:Exp(a) est point fixe de φ. Dès lors, φ σ φModèle:Exp σModèle:Exp(a) = φ σ ( φModèle:Exp (σModèle:Exp(a)) = φ σ (σModèle:Exp(a)) = φ(a) = a, donc a est point fixe de φ σ φModèle:Exp σModèle:Exp.

D'autre part, d’après la façon dont nous avons choisi d et e, tous les éléments du support {b, d, e} de φ appartiennent au support de σ, autrement dit tout point fixe de σ est point fixe de φ, donc tout point fixe de σ est point fixe de φ σ φModèle:Exp σModèle:Exp. Ainsi φ σ φModèle:Exp σModèle:Exp est un élément de H – {1} dont le support est strictement contenu dans celui de σ, ce qui contredit la façon dont nous avons choisi σ. Ceci achève la démonstration du théorème.

Remarques.

1. Nous avons montré que pour n ≥ 5, le groupe $A_n$ est simple. Puisque, pour ces valeurs de n, $A_n$ est non commutatif (on a même vu dans un exercice que son centre est réduit à l'élément neutre), les groupes $A_n$, pour n ≥ 5, sont des groupes simples non commutatifs.
2. On aurait pu traiter à part le cas de A₄, en notant que A₄ est formé des quatre éléments de V et de huit cycles d'ordre 3. Si un sous-groupe distingué de A₄ n’est pas contenu dans V, il comprend un cycle d'ordre 3, donc, d’après un lemme ci-dessus, il est égal à A₄ tout entier. Si maintenant un sous-groupe distingué H de A₄ est contenu dans V, son ordre divise 4 ; cet ordre ne peut pas être égal à 2, car (exercices de la série Conjugaison) un sous-groupe distingué d'ordre 2 est contenu dans le centre et (exercices sur les groupes alternés) le centre de A₄ est réduit à l'élément neutre ; donc H est égal à 1 ou à V.