Préliminaire 1

Soient G un groupe fini, p un nombre premier, P un p-sous-groupe de Sylow de G. Si P est cyclique, l'indice ${\displaystyle [N_{G}(P):C_{G}(P)]}$ divise p-1.

Démonstration

Voir les exercices sur le présent chapitre.

Préliminaire 2

Soient G un groupe fini, p un nombre premier, P un p-sous-groupe de Sylow de G, g un élément de G dont l'ordre est une puissance de p. On suppose que g normalise P. Alors g appartient à P. Si P₁ et P₂ sont des p-sous-groupes de Sylow de G, si P₁ normalise P₂, alors P₁ = P₂.

Démonstration

Voir un exercice du chapitre Théorèmes de Sylow.

Préliminaire 3

Soit G un groupe simple fini d'ordre non premier, soit p un diviseur premier de l’ordre de G, soit n le nombre des p-sous-groupes de Sylow de G. Alors l'opération de G par conjugaison sur l’ensemble de ses p-sous-groupes de Sylow est équivalente à l'opération naturelle d'un sous-groupe de A_n. En particulier, G est isomorphe à un sous-groupe de A_n (et l’ordre de G divise donc n!/2).

Démonstration

C'est un théorème du chapitre Premiers résultats sur les groupes simples.

Préliminaire 4

Soient G un groupe simple et H un sous-groupe propre de G, d'indice fini n. Alors G est isomorphe à un sous-groupe de S_n (et est donc fini). Si, de plus, l'ordre de G est au moins égal à 3 (ce qui est forcément le cas si n est au moins égal à 3), G est isomorphe à un sous-groupe de A_n.

Démonstration

C'est un théorème du chapitre Premiers résultats sur les groupes simples.

Préliminaire 5

Soit G un groupe simple fini d'ordre non premier, soit p un facteur premier de ${\displaystyle \vert G\vert }$. Notons ${\displaystyle \ E_{p}}$ l'ensemble des p-sous-groupes de Sylow de G. L'opération de G par conjugaison sur l'ensemble ${\displaystyle \ E_{p}}$ possède les propriétés suivantes :

a) pour tout p-sous-groupe de Sylow P du groupe opérant G, il existe un et un seul point de ${\displaystyle \ E_{p}}$ qui est fixé par tout élément de P;

b) pour tout point x de ${\displaystyle \ E_{p}}$, il existe un et un seul p-sous-groupe de Sylow P du groupe opérant G tel que tout élément de P fixe x;

c) si P est un p-sous-groupe de Sylow du groupe opérant G, si x désigne l'unique point de ${\displaystyle \ E_{p}}$ fixé par tout élément de P (voir propriété a)), le stabilisateur de x dans le groupe opérant G est N_G(P);

d) si on suppose de plus que deux différents p-sous-groupes de G se coupent toujours trivialement, alors tout élément de G \ {1} dont l'ordre est une puissance de p fixe un et un seul point de ${\displaystyle \ E_{p}}$.

Démonstration

Cela se déduit facilement du préliminaire 2. (Dans les énoncés du présent Préliminaire 5, les « points » sont évidemment les mêmes objets que les « p-sous-groupes de Sylow du groupe opérant », mais il n'en sera plus de même dans une certaine opération équivalente à celle qui est considérée ici.)

Préliminaire 6

Soient G un groupe opérant sur un ensemble X et H un groupe opérant sur un ensemble Y. Supposons que ces opérations soient équivalentes par une bijection f de X sur Y et un isomorphisme de groupes ${\displaystyle \sigma }$ de G sur H. Alors un élément g de G fixe un élément x de X pour la première opération si et seulement ${\displaystyle \sigma (g)}$ fixe f(x) pour la seconde opération.

Démonstration

On a déjà noté ce fait au chapitre Action de groupe. La démonstration est facile.

Préliminaire 7

Soit G un groupe simple fini d'ordre non premier, soit p un facteur premier de ${\displaystyle \vert G\vert }$, soit ${\displaystyle n}$ le nombre des ${\displaystyle p}$-sous-groupes de Sylow de G. On désignera par ${\displaystyle 1_{n}}$ la permutation identique de l'ensemble ${\displaystyle \{1,\ldots n\}}$. Alors G est isomorphe à un sous-groupe ${\displaystyle G_{0}}$ de ${\displaystyle A_{n}}$ possédant les propriétés suivantes :

a) pour tout p-sous-groupe de Sylow P de ${\displaystyle G_{0}}$, il existe un et un seul point de ${\displaystyle \{1,2,\ldots ,n\}}$ qui est fixé par tout élément de P;

b) pour tout point x de ${\displaystyle \{1,2,\ldots ,n\}}$, il existe un et un seul p-sous-groupe de Sylow P de ${\displaystyle G_{0}}$ tel que tout élément de P fixe x;

c) si P est un p-sous-groupe de Sylow de G, si x désigne l'unique point de ${\displaystyle \{1,2,\ldots ,n\}}$ fixé par tout élément de P (voir propriété a)), le stabilisateur de x dans le groupe G est N_G(P);

d) si on suppose de plus que deux différents p-sous-groupes de G</math> se coupent toujours trivialement, alors tout élément de ${\displaystyle G_{0}\setminus \{1_{n}\}}$ dont l'ordre est une puissance de p fixe un et un seul point de ${\displaystyle \{1,2,\ldots ,n\}.}$

Préliminaire 8

Soit G un groupe simple fini d'ordre non premier, soit p un diviseur premier de ${\displaystyle \vert G\vert }$, soit P un p-sous-groupe de Sylow de G. Alors le groupe ${\displaystyle N_{G}(P)}$ n'est pas commutatif.

Démonstration

Voir les exercices sur le présent chapitre.

Préliminaire 9

Tout groupe d'ordre 36 a un sous-groupe normal d'ordre 4 ou un sous-groupe normal d'ordre 9. (Autrement dit, tout groupe d'ordre 36 est 2-clos ou 3-clos.)

Démonstration

Voir les exercices sur le présent chapitre.

Préliminaire 10

Soit H un groupe fini, soit p un nombre premier distinct de 2. On suppose que H contient un et un seul p-sous-groupe de Sylow, soit P, et que P est commutatif. On suppose aussi que H n'a pas d'élément d'ordre 2p. Alors, pour tout élément t d'ordre 2 de H et tout élément a de H dont l'ordre est une puissance de p,

${\displaystyle tat^{-1}=a^{-1}.}$

Démonstration

Voir les exercices sur le présent chapitre.

Préliminaire 11

Soit ${\displaystyle \sigma }$ une permutation pair d'ordre 6 d'un ensemble à 10 éléments. Alors ${\displaystyle \sigma ^{2}}$ a plusieurs points fixes.

Démonstration

Puisque ${\displaystyle \sigma }$ est d'ordre 6, une au moins des deux conditions suivantes doit être satisfaite : 1° la décomposition canonique de ${\displaystyle \sigma }$ en cycles comporte un cycle de longueur 6; 2° la décomposition canonique de ${\displaystyle \sigma }$ en cycles comporte au moins un cycle de longueur 3 et au moins un cycle de longueur 2. Puisque, par hypothèse, ${\displaystyle \sigma }$ est une permutation paire, sa structure cyclique complète doit donc être d'un des types 6-2-1-1, 3-3-2-2 ou 3-2-2-1-1-1, donc ${\displaystyle \sigma ^{2}}$ a plusieurs points fixes (4 dans les deux premiers cas et 7 dans le troisième).

Préliminaire 12

Soit P un sous-groupe d'ordre 9 de ${\displaystyle A_{10}}$ possédant les propriétés suivantes :

(i) chaque élément de ${\displaystyle P\setminus \{1_{10}\}}$ (où ${\displaystyle 1_{10}}$ désigne la permutation identique de l'ensemble ${\displaystyle \{1,\ldots 10\}}$) a pour structure cyclique complète 3-3-3-1 (autrement dit est d'ordre 3 et a un unique point fixe);

(ii) tous les éléments de ${\displaystyle P\setminus \{1_{10}\}}$ ont le même point fixe. (On pourrait prouver que la condition (ii) est entraînée par la condition (i), mais cela ne nous servira pas.)

Soient ${\displaystyle \alpha }$ et ${\displaystyle \beta }$ deux éléments de ${\displaystyle P\setminus \{1_{10}\}}$ qui ne soient ni égaux ni inverses l'un de l'autre. (Autrement dit, ${\displaystyle \langle \alpha \rangle \not =\langle \beta \rangle .}$)
Alors le support d'un 3-cycle entrant dans la décomposition canonique de ${\displaystyle \alpha }$ et le support d'un 3-cycle entrant dans la décomposition canonique de ${\displaystyle \beta }$ ne peuvent pas avoir plus d'un élément commun.

Démonstration

Supposons que l'énoncé soit faux. Il existe alors des éléments k, l, m, n de {1, 2, ... , 10}, avec ${\displaystyle k\neq l}$, ${\displaystyle m\notin \{k,l\}}$, ${\displaystyle n\notin \{k,l\}}$, tels que

(1) ${\displaystyle \alpha }$ ait dans sa décomposition canonique le cycle (k, l, m)

et que

${\displaystyle \beta }$ ait dans sa décomposition canonique ou bien le cycle (k l n) ou bien le cycle (l k n). (On ne dit pas que m et n soient distincts.)

Dans le premier cas, ${\displaystyle \beta ^{-1}\alpha }$ fixe k; dans le second cas, ${\displaystyle \beta \alpha }$ fixe k. D'après les hypothèses de l'énoncé, ${\displaystyle \beta ^{-1}\alpha }$ et ${\displaystyle \beta \alpha }$ sont tous deux distincts de l'identité. Nous avons donc prouvé qu'il existe un élément de ${\displaystyle P\setminus \{1_{10}\}}$ (à savoir ${\displaystyle \beta ^{-1}\alpha }$ ou ${\displaystyle \beta \alpha }$) qui fixe k. D'après l'hypothèse (ii) de l'énoncé, il en résulte que tout élément de P fixe k. En particulier, ${\displaystyle \alpha }$ fixe k, ce qui contredit (1). La contradiction obtenue prouve l'énoncé.

Préliminaire 13.

Soit P un sous-groupe d'ordre 9 de ${\displaystyle A_{10}}$ possédant les propriétés suivantes (les mêmes qu'au préliminaire 12) :

(i) chaque élément de ${\displaystyle P\setminus \{1_{10}\}}$ (où ${\displaystyle 1_{10}}$ désigne la permutation identique de l'ensemble ${\displaystyle \{1,\ldots 10\}}$) a pour structure cyclique complète 3-3-3-1 (autrement dit est d'ordre 3 et a un unique point fixe);

(ii) tous les éléments de ${\displaystyle P\setminus \{1_{10}\}}$ ont le même point fixe.

Soient ${\displaystyle \alpha }$ et ${\displaystyle \beta }$ deux éléments de ${\displaystyle P\setminus \{1_{10}\}}$ qui ne soient ni égaux ni inverses l'un de l'autre.
Soit j l'unique élément de {1, 2, ... , 10} fixé par tous les éléments de P. (L'existence et l'unicité de j résulte des hypothèses de l'énoncé.)
Soit a un élément de {1, 2, ... , 10} \ {j}. (D'après les hypothèses de l'énoncé, a n'est fixé par aucun élément de ${\displaystyle P\setminus \{1_{10}\}}$.)
Désignons par (a b c) le 3-cycle déplaçant a qui apparaît dans la décomposition canonique de ${\displaystyle \alpha }$ et par (a e i) le 3-cycle déplaçant a apparaissant dans la décomposition de ${\displaystyle \beta }$.
Alors

1° ${\displaystyle \{b,c\}\cap \{e,i\}=\emptyset }$;

2° il existe une énumération {d, f, g, h} de {1, 2, ... , 10} \ {a, b, c, e, i, j} telle que

${\displaystyle \alpha }$ = (a b c) (d e f) (g h i)

et

${\displaystyle \beta }$ = (a e i) (b f g) (c d h);

(La seconde décomposition s'obtient à partir de la première de la façon suivante : pour former le n-ième 3-cycle de la seconde écriture (${\displaystyle 1\leq n\leq 3}$), on écrit d'abord l'élément qui est en n-ième position dans le premier cycle de la première écriture, puis l'élément qui est en (n+1)-ième position dans le second cycle, puis l'élément qui est en (n+2)-ième position dans le troisième cycle, n+1 et n+2 étant calculés modulo 3.)

3° les huit éléments de ${\displaystyle P\setminus \{1_{10}\}}$ sont alors (avec ${\displaystyle \alpha _{1}=\alpha }$ et ${\displaystyle \alpha _{2}=\beta }$)

${\displaystyle \alpha _{1}}$ = (a b c) (d e f) (g h i)

${\displaystyle \alpha _{2}}$ = (a e i) (b f g) (c d h)

${\displaystyle \alpha _{3}}$ = (a f h) (e g c) (i b d)

${\displaystyle \alpha _{4}}$ = (a g d) (f c i) (h e b)

${\displaystyle \alpha _{5}}$ = (a c b) (g i h) (d f e)

${\displaystyle \alpha _{6}}$ = (a i e) (c h d) (b g f)

${\displaystyle \alpha _{7}}$ = (a h f) (i d b) (e c g)

${\displaystyle \alpha _{8}}$ = (a d g) (h b e) (f i c)

(On peut noter que chaque décomposition s'obtient à partir de la précédente, et la première à partir de la dernière, comme la seconde s'obtient à partir de la première. En examinant les « colonnes » formées par les membres droits, on peut également noter que si ${\displaystyle \gamma }$ désigne le 8-cycle ${\displaystyle (b\ e\ f\ g\ c\ i\ h\ d)}$, alors le sous-groupe de ${\displaystyle A_{10}}$ engendré par ${\displaystyle \gamma }$ agit librement et transitivement sur ${\displaystyle P\setminus \{1_{10}\}}$ par conjugaison.)

Démonstration

La décomposition canonique de ${\displaystyle \alpha }$ en cycles est de la forme

(1) ${\displaystyle \qquad \alpha =(a\ b\ c)(l\ m\ n)(p\ q\ r)}$

pour une certaine énumération ${\displaystyle l,m,n,p,q,r}$ de ${\displaystyle \{1,2,...10\}\setminus \{a,b,c,j\}.}$ De même, la décomposition canonique de ${\displaystyle \beta }$ en cycles est de la forme

(2)${\displaystyle \qquad \beta =(a\ e\ i)(u\ v\ w)(x\ y\ z)}$

pour une certaine énumération ${\displaystyle u,v,w,x,y,z}$ de ${\displaystyle {1,2,...10}\setminus {a,e,i,j}.}$
(Les 9 éléments de ${\displaystyle \{1,2,...10\}\setminus \{j\}}$ apparaissent dans chacune des deux décompositions.)
D'après (1), ${\displaystyle b}$ et ${\displaystyle c}$ appartiennent au support du 3-cycle ${\displaystyle (a,b,c)}$ , qui apparaît dans la décomposition canonique de ${\displaystyle \alpha }$ en cycles. Donc, d'après le préliminaire 12 et le fait que, d'après (2), la décomposition canonique de ${\displaystyle \beta }$ en cycles comporte le cycle (a, e, i),

(3)${\displaystyle \qquad b}$ et ${\displaystyle c}$ sont distincts de ${\displaystyle e}$ et de ${\displaystyle i}$,

ce qui démontre le point 1° de l'énoncé.
D'autre part, d'après (1),

(4)${\displaystyle \qquad b}$ et ${\displaystyle c}$ sont distincts de ${\displaystyle a.}$

D'après les hypothèses de l'énoncé, ${\displaystyle \alpha }$ et ${\displaystyle \beta }$ ont le même support, donc ${\displaystyle b}$ et ${\displaystyle c}$, qui appartiennent au support de ${\displaystyle \alpha }$, appartiennent au support de ${\displaystyle \beta .}$
Dès lors, d'après (2), (3) et (4), ${\displaystyle b}$ appartient à un des deux ensembles ${\displaystyle \{u,v,w\}}$, ${\displaystyle \{x,y,z\}}$ et ${\displaystyle c}$ appartient lui aussi à un de ces deux ensembles.
Si ${\displaystyle b}$ et ${\displaystyle c}$ appartenaient tous deux à un même de ces deux ensembles, il y aurait un cycle apparaissant dans la décomposition de ${\displaystyle \beta }$ dont le support aurait deux éléments communs avec le support du cycle ${\displaystyle (a,b,c)}$ apparaissant dans la décomposition canonique de ${\displaystyle \alpha }$, ce qui est contraire au préliminaire 12. Donc ${\displaystyle b}$ appartient à un des deux ensembles ${\displaystyle \{u,v,w\}}$, ${\displaystyle \{x,y,z\}}$ et ${\displaystyle c}$ appartient à l'autre. Quitte à changer les notations, nous pouvons mettre (2) sous la forme

(5)${\displaystyle \qquad \beta =(a\ e\ i)(b\ v\ w)(c\ y\ z).}$

En échangeant les rôles de ${\displaystyle \alpha }$ et de ${\displaystyle \beta }$ dans les raisonnements qui précèdent, nous voyons que la relation (1) peut s'écrire

(6)${\displaystyle \qquad \alpha =(a\ b\ c)(d\ e\ f)(g\ h\ i).}$

Le groupe P, étant d'ordre 9, est abélien, donc ${\displaystyle \alpha }$ et ${\displaystyle \beta }$ commutent. Or, d'après (5) et (6), ${\displaystyle \alpha \beta }$ applique ${\displaystyle a}$ sur ${\displaystyle f}$ et ${\displaystyle \beta \alpha }$ applique ${\displaystyle a}$ sur ${\displaystyle a}$. Donc v = f, donc (5) peut s'écrire

(7) ${\displaystyle \qquad \beta =(a\ e\ i)(b\ f\ w)(c\ y\ z).}$

D'après (6) et (7), ${\displaystyle \alpha \beta }$ applique ${\displaystyle e}$ sur ${\displaystyle g}$ et ${\displaystyle \beta \alpha }$ applique ${\displaystyle e}$ sur ${\displaystyle w}$, donc ${\displaystyle w=g}$ et (7) peut être mise sous la forme

(8) ${\displaystyle \qquad \beta =(a\ e\ i)(b\ f\ g)(c\ y\ z).}$

D'après (6) et (8), ${\displaystyle \alpha \beta }$ applique ${\displaystyle b}$ sur ${\displaystyle d}$ et ${\displaystyle \beta \alpha }$ applique ${\displaystyle b}$ sur ${\displaystyle y}$, donc ${\displaystyle y=d}$, donc (8) peut s'écrire

(9) ${\displaystyle \qquad \beta =(a\ e\ i)(b\ f\ g)(c\ d\ z).}$

Comme ${\displaystyle \alpha }$ et ${\displaystyle \beta }$ ont le même support, la comparaison de (6) et de (9) donne ${\displaystyle z=h}$, donc (9) peut s'écrire

(10)${\displaystyle \qquad \beta =(a\ e\ i)(b\ f\ g)(c\ d\ h).}$

Les relations (6) et (10, à savoir

${\displaystyle \qquad \alpha =(a\ b\ c)(d\ e\ f)(g\ h\ i)}$

et

${\displaystyle \qquad \beta =(a\ e\ i)(b\ v\ w)(c\ y\ z).}$

prouvent le point 2° de l'énoncé.
Pour démontrer le point 3° de l'énoncé, on pourrait calculer les permutations ${\displaystyle \alpha ^{s}\beta ^{t}}$, avec ${\displaystyle 0\leq s,t\leq 2}$, ${\displaystyle s}$ et ${\displaystyle t}$ non tous deux nuls, et voir que ce sont les permutations ${\displaystyle \alpha _{1},\ldots ,\alpha _{8}}$ énumérées au point 3° de l'énoncé. Voici une autre façon de procéder.
La façon dont ${\displaystyle \alpha _{1},\ldots ,\alpha _{8}}$ sont définis dans le point 3° de l'énoncé montre qu'il existe huit 9-uplets

${\displaystyle (x_{1,1}\ldots x_{1,9})}$

${\displaystyle \cdots }$

${\displaystyle (x_{8,1}\ldots x_{8,9})}$

tels que

1° pour chaque ${\displaystyle n}$ dans ${\displaystyle \{1,\ldots ,8\}}$,

(11)${\displaystyle \qquad \alpha _{n}=(x_{n,1}\ x_{n,2}\ x_{n,3})\ (x_{n,4}\ x_{n,5}\ x_{n,6})\ (x_{n,7}\ x_{n,8}\ x_{n,9}),}$

2° pour chaque ${\displaystyle n}$ dans ${\displaystyle \{1,\ldots ,7\},}$

(12)${\displaystyle \qquad \alpha _{n+1}=(x_{n,1}\ x_{n,5}\ x_{n,9})\ (x_{n,2}\ x_{n,6}\ x_{n,)7})\ (x_{n,3}\ x_{n,4}\ x_{n,8}).}$

Pour tout ${\displaystyle n\leq 6}$, l'écriture de ${\displaystyle \alpha _{n+2}}$ se déduit de celle de ${\displaystyle \alpha _{n+1}}$ comme celle de ${\displaystyle \alpha _{n+1}}$ se déduit de celle de ${\displaystyle \alpha _{n}}$, donc

(13)${\displaystyle \qquad \alpha _{n+2}=(x_{n,1}\ x_{n,6}\ x_{n,8})\ (x_{n,5}\ x_{n,7}\ x_{n,3})\ (x_{n,9}\ x_{n,2}\ x_{n,4})}$.

De (11), (12) et (13) résulte, pour tout ${\displaystyle n\leq 6}$,

${\displaystyle \qquad \alpha _{n}\alpha _{n+1}=\alpha _{n+2},}$,

Par récurrence sur ${\displaystyle n}$, on en tire que les permutations ${\displaystyle \alpha _{1},\ldots ,\alpha _{8}}$ appartiennent toutes à P. Comme elles sont distinctes (par exemple parce qu'elles appliquent ${\displaystyle a}$ sur des éléments distincts), ce sont donc les 8 éléments de ${\displaystyle P\setminus \{1_{10}\}}$, ce qui démontre l'assertion 3° de l'énoncé.

Définition (non standard)

On conviendra de définir ici un groupe coléen comme un groupe G possédant les propriétés suivantes :

a) G est un groupe simple fini dont les 3-sous-groupes de Sylow sont isomorphes à ${\displaystyle \mathbb {Z} /p\mathbb {Z} }$; en particulier, l'ordre de G est divisible par 9 et non par 27;

b) les 3-sous-groupes de Sylow de G sont en nombre 10;

c) les 3-sous-groupes de Sylow de G se coupent trivialement deux à deux.

Étape 1

Soit G un groupe coléen. Alors G est un groupe simple fini d'ordre composé et ${\displaystyle \vert G\vert }$ est divisible par 4 (et même par 180).

Démonstration

Par définition d'un groupe coléen, les 3-sous-groupes de Sylow de G sont en nombre 10, donc

(1)${\displaystyle \qquad \vert G\vert }$ est divisible par 10.

En particulier,

(2)${\displaystyle \qquad }$ G est d'ordre composé (ce qui, G étant supposé simple, revient à dire que G est non abélien).

D'après (1), ${\displaystyle \vert G\vert }$ est d'ordre pair. Or, par exemple d'après un théorème démontré dans le chapitre Transfert, théorème du complément normal de Burnside, un groupe simple fini non abélien d'ordre pair est toujours d'ordre divisible par 4, donc

(3)${\displaystyle \qquad \vert G\vert }$ est divisible par 4.

L'énoncé est donc démontré. On peut ajouter que, comme déjà noté dans la définition d'un groupe coléen, l'ordre de G est divisible par 9, ce qui, joint à (1) et à (3), montre que l'ordre de G est divisible par 180.

Étape 2

Soit G un groupe coléen. Le seul sous-groupe de G ayant plus d'un sous-groupe d'ordre 9 est G. (Autrement dit, deux différents sous-groupes d'ordre 9 de G engendrent toujours G.)

Démonstration

Soit H un sous-groupe de G tel que

(hyp. 1)${\displaystyle \qquad }$H ait plusieurs sous-groupes d'ordre 9.

Il s'agit de prouver que H est égal à G.
Puisque G est un groupe coléen, la plus grande puissance de 3 divisant ${\displaystyle \vert G\vert }$ est 9, donc

(2)${\displaystyle \qquad }$les sous-groupes de Sylow d'ordre 9 de H sont les 3-sous-groupes de Sylow de H.

Donc l'hypothèse (1) revient à dire que

(3)${\displaystyle \qquad H}$ a plusieurs 3-sous-groupes de Sylow.

D'autre part, puisque, par définition d'un groupe coléen, les sous-groupes d'ordre 9 de G se coupent trivialement deux à deux, il résulte de (2) que les 3-sous-groupes de Sylow de H se coupent trivialement deux à deux. Dès lors, d'après un théorème qu'on a appelé « congruence de Sylow à module renforcé » dans les exercices sur le chapitre Théorèmes de Sylow,

${\displaystyle \qquad }$le nombre des 3-sous-groupes de Sylow de H est congru à 1 modulo 9.

Donc, d'après (3),

(4)${\displaystyle \qquad }$H a au moins dix 3-sous-groupes de Sylow.

Mais les 3-sous-groupes de Sylow de H sont d'ordre 9 et sont donc des 3-sous-groupes de Sylow de G, donc, puisque G n'a que dix 3-sous-groupes de Sylow (par définition d'un groupe coléen), il résulte de (4) que

(5)${\displaystyle \qquad }$H contient tous les 3-sous-groupes de Sylow de G.

Puisque G est simple, il est engendré par ses 3-sous-groupes de Sylow (car le sous-groupe de G engendré par les 3-sous-groupes de Sylow de G est un sous-groupe normal non trivial de G), donc, d'après (5), H = G, ce qui démontre l'énoncé.

Définition (non standard)

On conviendra de définir ici un groupe coléen propre comme un sous-groupe coléen G de ${\displaystyle A_{10}}$ possédant les propriétés suivantes :

1° pour tout 3-sous-groupe de Sylow P de G (autrement dit pour tout sous-groupe P d'ordre 9 de G), il existe un et un seul élément de ${\displaystyle \{1,\ldots 10\}}$ qui est fixé par tout élément de P;

2° pour tout élément ${\displaystyle x}$ de ${\displaystyle \{1,\ldots 10\}}$, il existe un et un seul 3-sous-groupe de Sylow P de G dont tous les éléments fixent ${\displaystyle x}$;

3° si P est un 3-sous-groupe de Sylow de G, si ${\displaystyle x}$ désigne l'unique élément de ${\displaystyle \{1,\ldots 10\}}$ fixé par tout élément de P (voir point 1°), le stabilisateur de ${\displaystyle x}$ pour l'opération naturelle de G sur ${\displaystyle \{1,\ldots 10\}}$ est ${\displaystyle N_{G}(P)}$;

4° tout élément d'ordre 3 de G fixe un et un seul élément de ${\displaystyle \{1,\ldots 10\}}$, autrement dit tout élément d'ordre 3 de G a pour structure cyclique complète 3-3-3-1.

Étape 3

Soit G un groupe coléen. G est isomorphe à un groupe coléen propre.

Démonstration

Tout groupe isomorphe à un groupe coléen est coléen, donc l'énoncé se déduit immédiatement du préliminaire 7, où on fait p = 3. (Noter que, dans le point d) du préliminaire 7, l'hypothèse selon laquelle deux différents p-sous-groupes de Sylow de G se coupent toujours trivialement est satisfaite, puisqu'on suppose que G est un groupe coléen.)

Étape 4

Soit G un groupe coléen. G n'a pas d'élément d'ordre 6.

Démonstration

D'après l'étape 3, il suffit de le prouver dans le cas où G est un groupe coléen propre. Soit alors, par absurde, ${\displaystyle \sigma }$ un élément d'ordre 6 de G. Puisque G est contenu dans A₁₀, ${\displaystyle \sigma }$ est une permutation paire d'ordre 6 de {1, 2, ... , 10}, donc, d'après le préliminaire 11, ${\displaystyle \sigma ^{2}}$ a plusieurs points fixes. Puisque ${\displaystyle \sigma ^{2}}$ est un élément d'ordre 3 de G, cela contredit la définition d'un groupe coléen propre (condition 4°)).

Étape 5

Soit G un groupe coléen propre, soient ${\displaystyle a,j}$ deux différents éléments de {1, 2, ... , 10}. Il y a un et un seul élément d'ordre 2 de G qui fixe ${\displaystyle a}$ et ${\displaystyle j}$, soit ${\displaystyle \sigma _{a,j}}$. La décomposition canonique de ${\displaystyle \sigma _{a,j}}$ en cycles est formée de 4 transpositions. Si ${\displaystyle P_{j}}$ désigne l'unique 3-sous-groupe de Sylow de G dont tous les éléments fixent ${\displaystyle j}$, alors les supports des quatre transpositions apparaissant dans la décomposition canonique de ${\displaystyle \sigma _{a,j}}$ en cycles sont les ensembles X \ {a}, où X parcourt les supports des 3-cycles déplaçant ${\displaystyle a}$ qui interviennent dans la décomposition canonique des éléments de ${\displaystyle P_{j}\setminus \{1_{10}\}.}$
Si les éléments de ${\displaystyle P_{j}\setminus \{1_{10}\}}$ sont énumérés comme dans l'énoncé du préliminaire 13, alors

${\displaystyle \sigma _{a,j}}$ = (b c) (d g) (e i) (f h).

On obtient un énoncé analogue en échangeant les rôles de ${\displaystyle a}$ et de ${\displaystyle j}$.

Démonstration

Puisque G est un groupe coléen propre, le stabilisateur de ${\displaystyle j}$ dans G est ${\displaystyle N_{G}(P_{j})}$, donc ${\displaystyle N_{G}(P_{j})}$ transforme l'ensemble ${\displaystyle \{1,2,...,10\}\setminus \{j\}}$ en lui-même et on peut parler, dans un sens évident, de l'opération naturelle de ${\displaystyle N_{G}(P_{j})}$ sur ${\displaystyle \{1,2,...,10\}\setminus \{j\}}$. Puisque G est un groupe coléen propre, les hypothèses sur P du préliminaire 13 sont satisfaites par ${\displaystyle P_{j}}$, donc

(0)${\displaystyle \qquad }$les huit éléments de ${\displaystyle P_{j}\setminus \{1_{10}\}}$ peuvent être énumérés comme suit :

${\displaystyle \alpha _{1}}$ = (a b c) (d e f) (g h i)

${\displaystyle \alpha _{2}}$ = (a e i) (b f g) (c d h)

${\displaystyle \alpha _{3}}$ = (a f h) (e g c) (i b d)

${\displaystyle \alpha _{4}}$ = (a g d) (f c i) (h e b)

${\displaystyle \alpha _{5}}$ = (a c b) (g i h) (d f e)

${\displaystyle \alpha _{6}}$ = (a i e) (c h d) (b g f)

${\displaystyle \alpha _{7}}$ = (a h f) (i d b) (e c g)

${\displaystyle \alpha _{8}}$ = (a d g) (h b e) (f i c)

Cette énumération montre que l'opération naturelle de ${\displaystyle P_{j}}$ sur {1, 2, ... , 10} \ {j} est transitive. (Chaque élément de ${\displaystyle \{1,2,...,10\}\setminus \{j\}}$ est dans la même orbite que ${\displaystyle a}$.) A fortiori,

(1)${\displaystyle \qquad }$l'opération naturelle de ${\displaystyle N_{G}(P_{j})}$ sur ${\displaystyle \{1,2,...,10\}\setminus \{j\}}$ est transitive.

(D'après un exercice de la série Opérations transitives, plusieurs fois transitives et primitives, il en résulte que l'action de G sur ${\displaystyle \{1,2,...,10\}}$ est doublement transitive, mais cela ne nous servira pas.)
Puisque l'indice du stabilisateur d'un point dans le groupe opérant est toujours égal au cardinal de l'orbite de ce point (voir chapitre Action de groupe), il résulte de (1) que

(2)${\displaystyle \qquad }$ le stabilisateur du point ${\displaystyle a}$ pour l'opération naturelle de ${\displaystyle N_{G}(P_{j})}$ sur ${\displaystyle \{1,2,...,10\}\setminus \{j\}}$ est d'indice 9 dans ${\displaystyle N_{G}(P_{j})}$.

D'autre part, par définition d'un groupe coléen, les 3-sous-groupes de Sylow de G sont en nombre 10, donc

(3)${\displaystyle \qquad N_{G}(P_{j})}$ est d'indice 10 dans G.

De plus, d'après l'étape 1, ${\displaystyle \vert G\vert }$ est divisible par 4. Donc, d'après (3), ${\displaystyle \vert N_{G}(P_{j})\vert }$ est pair, donc, d'après (2),

(4)${\displaystyle \qquad }$le stabilisateur du point ${\displaystyle a}$ pour l'opération naturelle de ${\displaystyle N_{G}(P_{j})}$ sur ${\displaystyle \{1,2,...,10\}\setminus \{j\}}$ est d'ordre pair et comprend donc (au moins) un élément d'ordre 2.

On va prouver que

(thèse 5)${\displaystyle \qquad }$cet élément d'ordre 2 est unique,

ce qui revient à dire qu'il y a un et un seul élément d'ordre 2 de G qui fixe à la fois ${\displaystyle a}$ et ${\displaystyle j.}$

Soit ${\displaystyle \sigma }$ un élément d'ordre 2 de ${\displaystyle N_{G}(P_{j})}$ fixant ${\displaystyle a}$, autrement dit un élément d'ordre 2 de G fixant à la fois ${\displaystyle a}$ et ${\displaystyle j.}$.
Soit ${\displaystyle \gamma }$ un des 8 éléments de ${\displaystyle P_{j}\setminus \{1_{10}\}.}$ Prouvons que si on note (a r s) le 3-cycle déplaçant ${\displaystyle a}$ qui apparaît dans la décomposition canonique de ${\displaystyle \gamma }$ en cycles, alors

(thèse 6)${\displaystyle \qquad }$la transposition (r s) apparaît dans la décomposition canonique de ${\displaystyle \sigma }$ en cycles.

P_j (étant normal dans ${\displaystyle N_{G}(P_{j})}$) est le seul 3-sous-groupe de Sylow de ${\displaystyle N_{G}(P_{j})}$; de plus, d'après l'étape 4, ${\displaystyle N_{G}(P_{j})}$ n'a pas d'élément d'ordre 6. Donc, d'après le préliminaire 10,

${\displaystyle \sigma \ \gamma \sigma ^{-1}=\gamma ^{-1}.}$

Cette relation peut s'écrire (avec dans chaque membre un produit de 3-cycles à supports disjoints)

${\displaystyle (\sigma (a)\ \sigma (r)\ \sigma (s))(\ldots )(\ldots )=(a\ s\ r)(\ldots )(\ldots ),}$

d'où, puisque ${\displaystyle \sigma }$ est supposée fixer ${\displaystyle a}$,

${\displaystyle (a\ \sigma (r)\ \sigma (s))(\ldots )(\ldots )=(a\ s\ r)(\ldots )(\ldots )}$, d'où

${\displaystyle \sigma (r)=s}$ et ${\displaystyle \sigma (s)=r.}$

Donc la décomposition canonique de ${\displaystyle \sigma }$ en cycles comprend la transposition (r, s), ce qui prouve notre thèse (6).
Ainsi, dans la notation (0) des éléments de ${\displaystyle P_{j}\setminus \{1_{10}\}}$, les transpositions ${\displaystyle (b\ c),(d\ g),(e\ i)}$ et ${\displaystyle (f\ h)}$ apparaissent dans la décomposition canonique de ${\displaystyle \sigma }$ en cycles. Puisque ${\displaystyle \sigma }$ est supposée fixer ${\displaystyle a}$ et ${\displaystyle j}$, on doit donc avoir

${\displaystyle \sigma =}$ (b c) (d g) (e i) (f h).

Ceci démontre la thèse (5). Vu le résultat (4) et l'expression précise que nous avons trouvée pour ${\displaystyle \sigma }$, l'énoncé est démontré.

Étape 6

Soit G un groupe coléen propre. Alors

1° tout élément d'ordre 3 de G fixe un seul élément de ${\displaystyle \{1,2,\ldots ,10\}}$;

2° tout élément d'ordre 2 de G fixe exactement deux points de ${\displaystyle \{1,2,\ldots ,10\}.}$

Démonstration

Le point 1° résulte de la définition d'un groupe coléen propre.
Soit maintenant ${\displaystyle \sigma }$ un élément d'ordre 2 de G. Puisque ${\displaystyle \sigma }$ est une permutation paire d'ordre 2 d'un ensemble à 10 éléments, ${\displaystyle \sigma }$ fixe au moins deux points. Choisissons deux points distincts ${\displaystyle k}$ et ${\displaystyle l}$ fixés par ${\displaystyle \sigma .}$ Dans les notations de l'étape 5, ${\displaystyle \sigma =\sigma _{k,l}}$, donc, d'après l'étape 5, ${\displaystyle k}$ et ${\displaystyle l}$ sont les deux seuls points fixes de ${\displaystyle \sigma }$, ce qui prouve le point 2° de l'énoncé.

Étape 7

Soit G un groupe coléen propre, soient P et Q deux différents 3-sous-groupes de Sylow de G. Il existe une énumération ${\displaystyle \{x_{1},\ldots ,x_{10}\}}$ de ${\displaystyle \{1,\ldots ,10\}}$ telle que P soit engendré par

${\displaystyle (x_{1}\ x_{2}\ x_{3})(x_{4}\ x_{5}\ x_{6})(x_{7}\ x_{8}\ x_{9})}$

et

${\displaystyle (x_{1}\ x_{5}\ x_{9})(x_{2}\ x_{6}\ x_{7})(x_{3}\ x_{4}\ x_{8})}$

et que Q soit engendré par

${\displaystyle (x_{10}\ x_{2}\ x_{3})(x_{4}\ x_{9}\ x_{8})(x_{7}\ x_{6}\ x_{5})}$

et

${\displaystyle (x_{10}\ x_{9}\ x_{5})(x_{2}\ x_{8}\ x_{7})(x_{3}\ x_{4}\ x_{6})}$.

Démonstration

Soit ${\displaystyle a}$ l'élément de {1, 2, ... , 10} fixé par tout élément de Q, soit ${\displaystyle j}$ l'élément de {1, 2, ... , 10} fixé par tout élément de P. Alors P est l'unique 3-sous-groupe de Sylow de G dont tout élément fixe ${\displaystyle j}$ (définition d'un groupe coléen propre), donc

(0)${\displaystyle \qquad a\neq j.}$

D'après le préliminaire 13, il existe une énumération ${\displaystyle b,c,d,e,f,g,h,i}$ des éléments de ${\displaystyle \{1,2,\ldots ,10\}\ \{a,j\}}$ telle que

(1)${\displaystyle \qquad }$ les huit éléments de ${\displaystyle P\setminus \{1_{10}\}}$ soient

${\displaystyle \alpha _{1}=(a\ b\ c)(d\ e\ f)(g\ h\ i)}$

${\displaystyle \alpha _{2}=(a\ e\ i)(b\ f\ g)(c\ d\ h)}$

${\displaystyle \alpha _{3}=(a\ f\ h)(e\ g\ c)(i\ b\ d)}$

${\displaystyle \alpha _{4}=(a\ g\ d)(f\ c\ i)(h\ e\ b)}$

${\displaystyle \alpha _{5}=(a\ c\ b)(g\ i\ h)(d\ f\ e)}$

${\displaystyle \alpha _{6}=(a\ i\ e)(c\ h\ d)(b\ g\ f)}$

${\displaystyle \alpha _{7}=(a\ h\ f)(i\ d\ b)(e\ c\ g)}$

${\displaystyle \alpha _{8}=(a\ d\ g)(h\ b\ e)(f\ i\ c).}$

D'après l'étape 5,

(2)${\displaystyle \qquad }$ le seul élément d'ordre 2 de G qui fixe ${\displaystyle a}$ et ${\displaystyle j}$ est

${\displaystyle \sigma =(bc)(dg)(ei)(fh).}$

En appliquant de nouveau le préliminaire 13 et l'étape 5, mais en échangeant les rôles de ${\displaystyle a}$ et ${\displaystyle j}$, nous trouvons, compte tenu de (2), que

(3)${\displaystyle \qquad }$les décompositions canoniques des éléments de ${\displaystyle Q\setminus \{1_{10}\}}$ en produits de 3-cycles sont de la forme

${\displaystyle \gamma _{1}=(j\ b\ c)\ldots }$

${\displaystyle \gamma _{2}=(j\ e\ i)\ldots }$

${\displaystyle \gamma _{3}=(j\ f\ h)\ldots }$

${\displaystyle \gamma _{4}=(j\ g\ d)\ldots }$

${\displaystyle \gamma _{5}=(j\ c\ b)\ldots }$

${\displaystyle \gamma _{6}=(j\ i\ e)\ldots }$

${\displaystyle \gamma _{7}=(j\ h\ f)\ldots }$

${\displaystyle \gamma _{8}=(j\ d\ g)\ldots }$

Les cycles ${\displaystyle \gamma _{1}}$ et ${\displaystyle \gamma _{2}}$ ne sont ni égaux ni inverses l'un de l'autre, donc d'après le préliminaire 13 (où on remplace ${\displaystyle a}$ par ${\displaystyle j}$, ${\displaystyle \alpha }$ par ${\displaystyle \gamma _{1}}$ et ${\displaystyle \beta }$ par ${\displaystyle \gamma _{2}}$), il existe une énumération ${\displaystyle r,s,t,u}$ de ${\displaystyle \{1,2,\ldots ,10\}\setminus \{a,b,c,e,i,j\}}$ telle que

${\displaystyle \gamma _{1}=(j\ b\ c)(r\ e\ s)(t\ u\ i)}$

et

${\displaystyle \gamma _{2}=(j\ e\ i)(b\ s\ t)(c\ r\ u).}$

Toujours d'après le préliminaire (13),

(4)${\displaystyle \qquad }$ les éléments de ${\displaystyle Q\setminus \{1_{10}\}}$ sont

${\displaystyle \beta _{1}=\gamma _{1}=(j\ b\ c)(r\ e\ s)(t\ u\ i)}$

${\displaystyle \beta _{2}=\gamma _{2}=(j\ e\ i)(b\ s\ t)(c\ r\ u)}$

${\displaystyle \beta _{3}=(j\ s\ u)(e\ t\ c)(i\ b\ r)}$

${\displaystyle \beta _{4}=(j\ t\ r)(s\ e\ i)(u\ e\ b)}$

et leurs inverses.
Dès lors, ${\displaystyle \beta _{3}}$ et ${\displaystyle \beta _{4}}$ figurent parmi les huit permutations énumérées en (3). On a donc

(5)${\displaystyle \qquad }$ou bien ( {s, u} = {f, h} et {r, t} = {d, g} )

${\displaystyle \qquad }$ou bien ( {s, u} = {d, g} et {r, t} = {f, h} ).

Cas 1 : {s, u} = {f, h} et {r, t} = {d, g}.
Cas 1-1 : s = f, d'où u = h.
Alors, d'après (4),

(6)${\displaystyle \qquad \beta _{1}=(j\ b\ c)(r\ e\ f)(t\ h\ i).}$

Cas 1-1-1 : s = f, u = h et r = d, d'où t = g.
Alors (6) s'écrit

${\displaystyle \qquad \beta _{1}=(j\ b\ c)(d\ e\ f)(g\ h\ i)}$

donc, d'après (1), la décomposition canonique de ${\displaystyle \alpha _{1}^{-1}\beta _{1}}$ en cycles est

${\displaystyle \qquad \alpha _{1}^{-1}\beta _{1}=(j\ a\ c)}$,

ce qui est impossible puisque, comme rappelé à l'étape 6, un élément d'ordre 3 de G n'a qu'un point fixe.
Cas 1-1-2 : s = f, u = h et r = g, d'où t = d.
Alors (6) s'écrit

${\displaystyle \qquad \beta _{1}=(j\ b\ c)(g\ e\ f)(d\ h\ i)}$

donc, d'après (1), la décomposition canonique de ${\displaystyle \alpha _{1}^{-1}\beta _{1}}$ en cycles est

${\displaystyle \qquad \alpha _{1}^{-1}\beta _{1}=(j\ a\ c)(d\ g)(f\ i)}$,

donc ${\displaystyle \alpha _{1}^{-1}\beta _{1}}$ est d'ordre 6, ce qui contredit l'étape 4.
Nous avons donc prouvé que le cas 1-1 est impossible.
Cas 1-2 : s = h, d'où u = f, et toujours {r, t} = {d, g}.
Alors, d'après (4),

(7)${\displaystyle \qquad \beta _{1}=(j\ b\ c)(r\ e\ h)(t\ f\ i).}$

Cas 1-2-1 : s = h, u = f, r = d, d'où t = g.
Alors (7) s'écrit

${\displaystyle \qquad \beta _{1}=(j\ b\ c)(d\ e\ h)(g\ f\ i)}$

donc, d'après (1), la décomposition canonique de ${\displaystyle \alpha _{1}^{-1}\beta _{1}}$ en cycles est

${\displaystyle \qquad \alpha _{1}^{-1}\beta _{1}=(j\ a\ c)(e\ g)(f\ h)}$,

donc ${\displaystyle \alpha _{1}^{-1}\beta _{1}}$ est d'ordre 6, ce qui contredit l'étape 4.
Nous avons donc prouvé que dans le cas 1-2, il faut
Cas 1-2-2 : s = h, u = f, r = g, d'où t = d.
Alors (7) s'écrit

(8)${\displaystyle \qquad \beta _{1}=(j\ b\ c)(g\ e\ h)(d\ f\ i)}$

et, d'autre part, (4) donne

(9)${\displaystyle \qquad \beta _{3}=(j\ h\ f)(e\ d\ c)(i\ b\ g).}$

Il en résulte que l'énoncé est vrai avec

${\displaystyle x_{1}=a,x_{2}=f,x_{3}=h,x_{4}=g,x_{5}=c,x_{6}=e,x_{7}=d,x_{8}=i,x_{9}=b,x_{10}=j.}$

En effet, on a alors

${\displaystyle (x_{1}\ x_{2}\ x_{3})(x_{4}\ x_{5}\ x_{6})(x_{7}\ x_{8}\ x_{9})=\alpha _{3}}$ d'après (1),

${\displaystyle (x_{1}\ x_{5}\ x_{9})(x_{2}\ x_{6}\ x_{7})(x_{3}\ x_{4}\ x_{8})=\alpha _{5}}$ d'après (1),

${\displaystyle (x_{10}\ x_{2}\ x_{3})(x_{4}\ x_{9}\ x_{8})(x_{7}\ x_{6}\ x_{5})=\beta _{3}^{-1}}$ d'après (9),

${\displaystyle (x_{10}\ x_{9}\ x_{5})(x_{2}\ x_{8}\ x_{7})(x_{3}\ x_{4}\ x_{6})=\beta _{1}}$ d'après (8)

et de plus, ${\displaystyle \alpha _{3}}$ et ${\displaystyle \alpha _{5}}$ engendrent P (puisqu'ils ne sont ni égaux ni inverses l'un de l'autre) et, de même, ${\displaystyle \beta _{3}^{-1}}$ et ${\displaystyle \beta _{1}}$ engendrent Q. L'énoncé est donc démontré dans le cas 1. D'après (5),

il reste à démontrer l'énoncé dans le

Cas 2 :

(10) {s, u} = {d, g} et {t, r} = {f, h}.

Examinons d'abord le

Cas 2 - 1 : s = d, d'où u = g.

Alors, d'après (4)

(11) ${\displaystyle \qquad \beta _{1}=(j\ b\ c)(r\ e\ d)(t\ g\ i),}$

(12) ${\displaystyle \qquad \beta _{2}=(j\ e\ i)(b\ d\ t)(c\ r\ g).}$

Rappelons que dans les hypothèses (10) du cas 2,

(13)${\displaystyle \qquad \{t,r\}=\{f,h\}.}$

Si r = f, d'où t = h, alors (11) donne

${\displaystyle \beta _{1}=\gamma _{1}=(j\ b\ c)(f\ e\ d)(h\ g\ i),}$

donc, d'après (1), la décomposition canonique de ${\displaystyle \alpha _{1}\beta _{1}}$ en cycles est

${\displaystyle \qquad \alpha _{1}\beta _{1}=(a\ b)(c\ j)}$,

donc ${\displaystyle \alpha _{1}\beta _{1}}$ est un élément d'ordre 2 de G qui fixe 6 points, ce qui contredit l'étape 6.
Donc (dans le cas 2-1), ${\displaystyle r\not =f}$, donc, d'après (13),

r = h et t = f, d'où, d'après (11),

(14) ${\displaystyle \qquad \beta _{1}=(j\ b\ c)(h\ e\ d)(f\ g\ i),}$

et, d'après (12)

(15) ${\displaystyle \qquad \beta _{2}=(j\ e\ i)(b\ d\ f)(c\ h\ g).}$

L'énoncé est alors vrai avec

${\displaystyle x_{1}=a,x_{2}=c,x_{3}=b,x_{4}=f,x_{5}=e,x_{6}=d,x_{7}=h,x_{8}=g,x_{9}=i,x_{10}=j.}$

En effet, on a alors

${\displaystyle (x_{1}\ x_{2}\ x_{3})(x_{4}\ x_{5}\ x_{6})(x_{7}\ x_{8}\ x_{9})=\alpha _{5}(=\alpha _{1}^{-1}}$ d'après (1),

${\displaystyle (x_{1}\ x_{5}\ x_{9})(x_{2}\ x_{6}\ x_{7})(x_{3}\ x_{4}\ x_{8})=\alpha _{2}}$ d'après (1),

${\displaystyle (x_{10}\ x_{2}\ x_{3})(x_{4}\ x_{9}\ x_{8})(x_{7}\ x_{6}\ x_{5})=\beta _{1}^{-1}}$ d'après (14),

${\displaystyle (x_{10}\ x_{9}\ x_{5})(x_{2}\ x_{8}\ x_{7})(x_{3}\ x_{4}\ x_{6})=\beta _{2}^{-1}}$ d'après (15)

et de plus, ${\displaystyle \alpha _{5}}$ et ${\displaystyle \alpha _{2}}$ engendrent P (puisqu'ils ne sont ni égaux ni inverses l'un de l'autre) et, de même, ${\displaystyle \beta _{1}}$ et ${\displaystyle \beta _{2}}$ engendrent Q. L'énoncé est donc vrai dans le cas 2-1. D'après (10), il reste à le démontrer dans le

Cas 2-2 : s = g et u = d.

Alors, d'après (4)

(16) ${\displaystyle \qquad \beta _{1}=(j\ b\ c)(r\ e\ g)(t\ d\ i)}$

et

(17)${\displaystyle \qquad \beta _{2}=(j\ e\ i)(b\ g\ t)(c\ r\ d)}$

Rappelons que d'après les hypothèses du cas (2),

(18)${\displaystyle \qquad \{t,r\}=\{f,h\}.}$

Si t = f, d'où r = h, alors, d'après (16),

${\displaystyle \beta _{1}=(j\ b\ c)(h\ e\ g)(f\ d\ i)}$,

donc, d'après (1), la décomposition canonique de ${\displaystyle \alpha _{1}^{-1}\beta _{1}encyclesest:<math>\qquad \alpha _{1}^{-1}\beta _{1}=(a\ c_{j})(d\ h)(e\ i),}$ donc ${\displaystyle \alpha _{1}^{-1}\beta _{1}}$ est un élément d'ordre 6 de G, ce qui contredit l'étape 4.
Donc ${\displaystyle t\not =f,}$ donc, d'après (18), t = h et r = f, d'où, d'après (16),

(19) ${\displaystyle \qquad \beta _{1}=(j\ b\ c)(f\ e\ g)(h\ d\ i)}$

et, d'après (17)

(20)${\displaystyle \qquad \beta _{2}=(j\ e\ i)(b\ g\ h)(c\ f\ d).}$

Il en résulte que l'énoncé est vrai dans ce cas avec

${\displaystyle x_{1}=a,x_{2}=b,x_{3}=c,x_{4}=d,x_{5}=e,x_{6}=f,x_{7}=g,x_{8}=h,x_{9}=i,x_{10}=j.}$

En effet, on a alors

${\displaystyle (x_{1}\ x_{2}\ x_{3})(x_{4}\ x_{5}\ x_{6})(x_{7}\ x_{8}\ x_{9})=\alpha _{1}}$ d'après (1),

${\displaystyle (x_{1}\ x_{5}\ x_{9})(x_{2}\ x_{6}\ x_{7})(x_{3}\ x_{4}\ x_{8})=\alpha _{2}}$ d'après (1),

${\displaystyle (x_{10}\ x_{2}\ x_{3})(x_{4}\ x_{9}\ x_{8})(x_{7}\ x_{6}\ x_{5})=\beta _{1}}$ d'après (19),

${\displaystyle (x_{10}\ x_{9}\ x_{5})(x_{2}\ x_{8}\ x_{7})(x_{3}\ x_{4}\ x_{6})=\beta _{2}^{-1}}$ d'après (20)

et de plus, ${\displaystyle \alpha _{1}}$ et ${\displaystyle \alpha _{2}}$ engendrent P (puisqu'ils ne sont ni égaux ni inverses l'un de l'autre) et, de même, ${\displaystyle \beta _{1}}$ et ${\displaystyle \beta _{2}}$

engendrent Q.