Théorie des groupes/Théorèmes de Sylow

**Théorèmes de Sylow**
Leçon : Théorie des groupes

Chapitre n^o 10
Chap. préc. :	Produit direct et somme restreinte
Chap. suiv. :	Sous-groupes caractéristiques
Exercices :	Théorèmes de Sylow

En raison de limitations techniques, la typographie souhaitable du titre, « Théorie des groupes : Théorèmes de Sylow
Théorie des groupes/Théorèmes de Sylow », n'a pu être restituée correctement ci-dessus.

Les théorèmes de Sylow sont d'une grande importance dans l'étude des groupes finis.

Ils concernent les p-sous-groupes, autrement dit, les sous-groupes ayant pour ordre une puissance d'un nombre premier p donné. Le premier théorème affirme l’existence d'un sous-groupe dit de Sylow, un sous-groupe dont l’ordre est la plus grande puissance de p divisant le cardinal de G. Le deuxième théorème permet une information supplémentaire sur leur quantité. Il s'appuie sur l'équation aux classes.

On donnera dans ce chapitre une démonstration des théorèmes de Sylow qui repose sur la théorie des espaces vectoriels. Le lecteur trouvera dans les exercices une démonstration qui ne fait intervenir que les notions de théorie des groupes exposées dans les précédents chapitres.

Les p-groupes

Dans tout le chapitre, p désigne un nombre premier.

Définition : p-groupe

Un p-groupe fini est un groupe fini dont l’ordre est une puissance de p.

Lemme

Soit G un p-groupe fini opérant sur un ensemble fini E. Le nombre des points fixes de cette opération est congru modulo p au cardinal de E.

Démonstration

Puisque le groupe opérant est un p-groupe et que le cardinal d'une orbite divise toujours l’ordre du groupe opérant, chaque orbite a pour cardinal une puissance de p et le cardinal d'une orbite non réduite à un élément est donc toujours divisible par p. Puisque le cardinal de E est la somme des cardinaux des orbites et qu’il y a autant d'orbites à un élément qu’il y a de points fixes, l'énoncé en résulte.

Les premiers exemples de p-groupe fini sont les groupes cycliques d'ordre pⁿ. Par le théorème de classification des groupes abéliens finis (qui sera démontré dans la suite de ce cours), les p-groupes finis commutatifs sont exactement les produits directs de groupes cycliques d'ordre pⁿ. La structure des p-groupes non commutatifs est beaucoup plus complexe. Ils ne sont pas « classifiés » et rien ne laisse espérer qu’ils le soient un jour. Indiquons cependant quelques propriétés.

Propriétés

Un sous-groupe d'un p-groupe fini est un p groupe fini.
Le centre d'un p-groupe fini non réduit à l'élément neutre est lui-même non réduit à l'élément neutre.
Un p-groupe de cardinal p ou p² est nécessairement commutatif et donc isomorphe à $\mathbb {Z} /p\mathbb {Z}$ , à $\mathbb {Z} /p^{2}\mathbb {Z}$ ou à $\mathbb {Z} /p\mathbb {Z} \times \mathbb {Z} /p\mathbb {Z}$ .

Démonstration

La première affirmation découle directement du théorème de Lagrange : le cardinal d'un sous-groupe H d'un groupe G divise le cardinal de G. Si le cardinal de G est une puissance de p, par le lemme d'Euclide, le cardinal de H est donc une puissance de p.
Soit G un p-groupe fini non réduit à l'élément neutre. Faisons opérer G sur son ensemble sous-jacent par conjugaison. Les points fixes de cette opération sont les éléments du centre Z(G) de G. D'après le lemme qui précède, le nombre des éléments du centre de G est donc congru modulo p au nombre d'éléments de G. Puisque G est supposé être un p-groupe non trivial, son ordre est divisible par p, donc, d’après ce qui précède, l’ordre de Z(G) est divisible par p. En particulier, Z(G) n’est pas réduit à l'élément neutre.
Soit G un p-groupe de cardinal p ou p²; prouvons que G est commutatif. Si l’ordre de G est égal au nombre premier p, il résulte du théorème de Lagrange que les seuls sous-groupes de G sont 1 et G. Choisissons dans G un élément x distinct de 1. Le sous-groupe de G engendré par x n’est pas réduit à 1, donc, d’après ce qui précède, il est égal à G tout entier. Ainsi, G est cyclique et donc commutatif. Passons au cas où l’ordre de G est p². Nous avons vu que le centre Z(G) n’est pas réduit à 1, donc (théorème de Lagrange) est d'ordre p ou p². Dans le second cas, le centre de G est G tout entier, donc G est commutatif comme annoncé. Reste le cas (impossible, comme nous le verrons) où Z(G) est d'ordre p. Alors le groupe quotient $G/Z(G)$ est d'ordre p et est donc cyclique d’après la première partie de la démonstration. Il nous suffit donc de prouver que, de façon générale, si G est un groupe, si le groupe quotient $G/Z(G)$ est cyclique, alors G est commutatif. Soit a un élément de G dont la classe suivant Z(G) engendre G/Z(G). Alors tout élément de G est de la forme :

a^{n}z

, avec

n\in \mathbb {Z}

et

z\in Z(G)

.

On en tire facilement que G est commutatif. (On pourrait dire aussi que G est engendré par {a} ∪ Z(G) ; comme deux éléments de {a} ∪ Z(G) commutent toujours, il en résulte que G est commutatif.) Nous avons donc prouvé que si G est d'ordre p², il est commutatif (et notre hypothèse selon laquelle Z(G) est d'ordre p est donc fausse). D'après le théorème sur la structure des groupes finis commutatifs, qui sera démontré dans la suite du cours, il en résulte que G est isomorphe à

\mathbb {Z} /p^{2}\mathbb {Z}

ou à

\mathbb {Z} /p\mathbb {Z} \times \mathbb {Z} /p\mathbb {Z}

, mais on peut se passer ici de ce théorème. Si G n'admet pas d'élément d'ordre

p^{2}

, tout élément de G distinct de 1 est d'ordre p. On peut donc trouver dans G un élément x d'ordre p et un élément y d'ordre p qui n'appartient pas au sous-groupe <x> de G engendré par x. Alors le sous-groupe

<x>\cap <y>

de <y> a pour ordre un diviseur de p et n’est pas <y> tout entier, donc

<x>\cap <y>=1

, d'où on tire facilement que G est produit direct de <x> et de <y>.

En particulier, tout groupe d'ordre 4 est cyclique ou produit direct de deux groupes d'ordre 2. Un produit direct de deux groupes d'ordre 2 est appelé un groupe de Klein.

Premier théorème de Sylow

Définition

Soient p un nombre premier, G un groupe fini d'ordre n ; désignons par m la valuation p-adique de n, c'est-à-dire le plus grand nombre naturel m tel que p^m divise n. Un sous-groupe d'ordre p^m de G est appelé un p-sous-groupe de Sylow de G. Un sous-groupe P de G est appelé un sous-groupe de Sylow de G s'il existe un nombre premier p tel que P soit un p-sous-groupe de Sylow de G.

Remarque. On n'exclut pas le cas où p ne divise pas l’ordre de G. Dans ce cas, le seul p-sous-groupe de Sylow de G est 1. Si on s'interdisait de parler des p-sous-groupes de Sylow d'un groupe fini d'ordre non divisible par p, on alourdirait inutilement certains énoncés et certaines démonstrations.

Premier théorème de Sylow

Soient G un groupe fini et p un nombre premier. Il existe (au moins) un p-sous-groupe de Sylow de G.

Remarque préliminaire : Le groupe $\mathbb {Z} /p\mathbb {Z}$ muni de la multiplication est un corps de cardinal p.

On peut admettre que les corps finis sont classifiés selon leurs cardinaux : à isomorphisme près, il existe un unique corps de cardinal $r=p^{m}$ ( $m\geq 1$ ), noté $\mathbf {F} _{r}$ . Le groupe $G=\mathrm {GL} _{n}(\mathbf {F} _{p})$ est un groupe fini dont le cardinal est :

$(p^{n}-1)(p^{n}-p)\dotsm (p^{n}-p^{n-1})=p^{\frac {n(n-1)}{2}}\cdot (p^{n}-1)(p^{n-1}-1)\dotsm (p-1)=p^{\frac {n(n-1)}{2}}\cdot \prod _{k=1}^{n}(p^{n-k+1}-1).$

(On trouve ce résultat par dénombrement des systèmes libres de $n$ vecteurs de $\left(\mathbf {F} _{p}\right)^{n}$ correspondant aux $n$ colonnes d'un élément de $\mathrm {GL} _{n}(\mathbf {F} _{p})$ — voir par exemple Théorie des groupes/Simplicité des groupes linéaires spéciaux projectifs#Généralités sur les groupes linéaires énoncé 5.)

$p$ étant un nombre premier qui ne divise aucun des facteurs $p^{n}-1$ , $p^{n-1}-1$ , ..., $p-1$ , il ne divise pas leur produit et par conséquent est premier avec $(p^{n}-1)(p^{n-1}-1)\dotsm (p-1)$ . Il en résulte que la valuation p-adique de l'ordre du groupe $\mathrm {GL} _{n}(\mathbf {F} _{p})$ est ${\frac {n(n-1)}{2}}$ . Or il se trouve que l'ensemble des matrices triangulaires supérieures de taille n à coefficients dans $\mathbf {F} _{p}$ et avec des 1 sur la diagonale est un sous-groupe de G, d'ordre $p^{\frac {n(n-1)}{2}}$ . En effet, il y a $p^{n-1}$ valeurs possibles pour la première ligne d'une telle matrice, $p^{n-2}$ pour la deuxième, ..., $p$ pour l'avant-dernière et une seule pour la dernière. Le premier théorème de Sylow est donc confirmé dans cet exemple.

Lemme

Sous les notations du premier théorème de Sylow, si H est un sous-groupe de G, et si S est un p-Sylow de G, alors il existe un sous-groupe conjugué à S intersectant H en un p-Sylow de H.

Preuve du lemme

Écrivons l'équation aux classes pour l'action de H sur G/S par translation à gauche. Le stabilisateur d'une classe aS est $aSa^{-1}\cap H$ , qui est un p-groupe, comme sous-groupe de $aSa^{-1}$ . Notons $(x_{1}S,\dotsc ,x_{n}S)$ un système de représentants des orbites de l'action considérée, où $x_{1},\dotsc ,x_{n}$ sont des éléments de G représentant chacune des classes $x_{i}S$ . Notons également $X=\{x_{1},\dotsc ,x_{n}\}$ . L'équation aux classes donne :

\operatorname {Card} (G/S)=\sum _{x\in X}{\frac {\operatorname {Card} (H)}{\operatorname {Card} (xSx^{-1}\cap H)}}

Comme S est un p-Sylow de G, p ne divise pas le cardinal de G/S ; il existe donc au moins un représentant $x\in X$ pour lequel p ne divise pas $\operatorname {Card} (H)/\operatorname {Card} (xSx^{-1}\cap H)$ . Autrement dit, la valuation p-adique du cardinal de H est la valuation p-adique du cardinal de $xSx^{-1}\cap H$ . Comme $xSx^{-1}\cap H$ est p-sous-groupe de H, c'est un p-Sylow de H, d'où le résultat.

Démonstration

Démontrons maintenant le premier théorème de Sylow. Par le théorème de Cayley, l'action de G sur lui-même par translation à gauche définit un morphisme injectif $\varphi$ de G dans le groupe des permutations $S(G)$ . Si n désigne l'ordre de G, il existe aussi un morphisme injectif $\psi$ de $S(G)$ dans $\mathrm {GL} _{n}(\mathbf {F} _{p})$ . En effet, $S(G)$ est isomorphe à $S_{n}$ et on définit un morphisme injectif de $S_{n}$ dans $\mathrm {GL} _{n}(\mathbf {F} _{p})$ en associant à toute permutation $\sigma \in S_{n}$ la matrice de colonnes $C_{\sigma (1)},\dotsc ,C_{\sigma (n)}$ où $C_{1},\dotsc ,C_{n}$ représentent les colonnes de l'élément neutre de $\mathrm {GL} _{n}(\mathbf {F} _{p})$ . Par suite, le morphisme injectif $\psi \circ \varphi$ induit un isomorphisme de G sur un sous-groupe H de $\mathrm {GL} _{n}(\mathbf {F} _{p})$ .

Par ailleurs, la remarque préliminaire donne l’existence d'un p-Sylow S de $\mathrm {GL} _{n}(\mathbf {F} _{p})$ . D'après le lemme précédent, il existe donc un sous-groupe de $\mathrm {GL} _{n}(\mathbf {F} _{p})$ conjugué à S dont l'intersection avec H est un p-Sylow de H. On conclut en utilisant l'isomorphisme $\left(\psi \circ \varphi \right)^{-1}$ de H sur G.

Théorème de Cauchy

Wikipedia-logo-v2.svg

Wikipédia possède un article à propos de « Théorème de Cauchy ».

Soient G un groupe fini et p un diviseur premier de l’ordre de G. Il existe dans G au moins un élément d'ordre p.

Démonstration

D'après le premier théorème de Sylow, G contient un sous-groupe H d'ordre p^r, avec r > 0. Alors H n’est pas réduit à l'élément neutre, donc nous pouvons choisir dans H un élément x distinct de 1. L'élément x doit être d'ordre p^s, avec s > 0. En élevant x à la puissance p^s–1, nous obtenons un élément d'ordre p.

On verra une autre preuve dans la page d'exercices (Problème 1, question d).

Il résulte du théorème de Cauchy qu'un groupe fini G est un p-groupe fini si et seulement chaque élément de G a pour ordre une puissance de p. De façon générale,

Définition

On dit qu'un groupe G, fini ou non, est un p-groupe si et seulement chaque élément de G a pour ordre une puissance de p.

La remarque précédente montre que cette définition est cohérente avec celle d'un p-groupe fini donnée initialement.

Deuxième théorème de Sylow

Soient G un groupe fini et p un nombre premier.

Tout p-sous-groupe de G est contenu dans un p-sous-groupe de Sylow de G. Autrement dit, les sous-groupes de Sylow sont les p-sous-groupes maximaux de G.
Les p-sous-groupes de Sylow de G sont deux à deux conjugués et leur nombre est congru à 1 modulo p.

Démonstration

Maximalité : Si H est un sous-groupe de G et S un p-Sylow de G, le lemme précédent donne l’existence d'un élément g de G tel que $gSg^{-1}\cap H$ soit un p-Sylow de H. Mais si H est un p-groupe, H est l'unique p-Sylow de H. Donc, H est inclus dans $gSg^{-1}$ qui est un p-Sylow de G conjugué à S.
Tous les p-Sylow de G ont (par définition) le même cardinal. En particulier, si H est un p-Sylow, alors H est égal à $gSg^{-1}$ . Les p-Sylows de G sont deux à deux conjugués.
Donc, le groupe G opère transitivement sur l’ensemble X des p-Sylow de G. L'équation aux classes montre que le cardinal de X, le nombre de p-Sylows de G divise le cardinal de G.
Considérons l'action d'un p-Sylow sur X par conjugaison :
- Le cardinal d'une orbite est un diviseur du cardinal de S. Comme ce cardinal est une puissance du nombre premier p, le cardinal d'une orbite est une puissance de p. Si elle n’est pas réduite à un singleton, son cardinal est divisible par p.
- Soit T un p-Sylow de G, fixe par l'action de S sur X. Introduisons le sous-groupe H engendré par S et T. En particulier, S et T sont des p-Sylows de H (à justifier) ; de suite, S et T sont conjugués dans H. Mais le normalisateur de T dans H contient évidemment T et par hypothèses S, donc vaut H. Donc S et T sont égaux. S est l'unique p-Sylow fixé par l'action par conjugaison de S.
- L'équation aux classes pour l'action de S sur X montre que le cardinal de X est congru à 1 modulo p.

Remarques. 1) On trouvera dans les exercices une forme plus forte du théorème de congruence de Sylow, selon laquelle, sous certaines hypothèses, le nombre des p-sous-groupes de Sylow est congru à 1 modulo une plus grande puissance de p que la première. Cette forme forte n'est pas toujours mentionnée dans les exposés d'initiation, mais elle est d'un usage fréquent.
2) Le théorème de congruence de Sylow a aussi été renforcé dans une autre direction par L. Weisner : soit G un groupe fini, soit p un nombre premier, soit $G_{0}$ un p-sous-groupe de G, soit s un nombre naturel tel que l'ordre de $G_{0}$ divise $p^{s}$ et que $p^{s}$ divise l'ordre de G. Alors le nombre des sous-groupes d'ordre $p^{s}$ de G qui contiennent $G_{0}$ est congru à 1 modulo p^[1].

Corollaire

Soient G un groupe fini, p un nombre premier, N un p-sous-groupe normal de G. N est contenu dans tout p-sous-groupe de Sylow de G.

Démonstration

Soit P un p-sous-groupe de Sylow de G; il s'agit de prouver que N est contenu dans P. D'après le deuxième théorème de Sylow, il existe un p-sous-groupe de Sylow Q de G qui contient N. Toujours d'après le deuxième théorème de Sylow, il existe un élément g de G tel que gQg^-1 = P. Puisque N est contenu dans Q, gNg^-1 est contenu dans gQg^-1, c'est-à-dire dans P. Mais puisque N est normal dans G, gNg^-1 = N, donc notre résultat signifie que N est contenu dans P, ce qui prouve notre thèse.

Théorème

Soient G un groupe fini, P un sous-groupe de Sylow de G, H un sous-groupe de G contenant le normalisateur N_G(P) de P dans G. Le normalisateur de H dans G est H lui-même. En particulier, N_G(P) est son propre normalisateur dans G.

Démonstration

Soit p un nombre premier tel que P soit un p-sous-groupe de Sylow de G. Soit x un élément de G normalisant H, c'est-à-dire tel que xHx^-1 = H. Il s'agit de prouver que x appartient à H. Le sous-groupe xPx^-1 de G est équipotent à P et est donc un p-sous-groupe de Sylow de G. De plus, xPx^-1 est contenu dans H (puisque P est contenu dans H et que xHx^-1 = H). Donc xPx^-1 est un p-sous-groupe de Sylow de H. Comme P est lui aussi un p-sous-groupe de Sylow de H, xPx^-1 est donc conjugué de P dans H. Il existe donc un élément h de H tel que xPx^-1 = hPh^-1. Alors h^-1xPx^-1h = P, donc h^-1x appartient à N_G(P) et, a fortiori, à H. Puisque h appartient à H, il en résulte que x appartient à H, comme annoncé.

Remarque. Ce théorème servira dans l'étude des groupes nilpotents finis.

Notes et références

↑ L. Weisner, « Some properties of prime-power groups », Trans. Amer. Math. Soc. 38 (1935), 485–492. Voir une démonstration dans Keith Conrad, « Transitive Group Actions », théorème 7.9, p. 19, en ligne.

Théorie des groupes

Produit de groupes

Sous-groupes caractéristiques

[1] L. Weisner, « Some properties of prime-power groups », Trans. Amer. Math. Soc. 38 (1935), 485–492. Voir une démonstration dans Keith Conrad, « Transitive Group Actions », théorème 7.9, p. 19, en ligne.

[1]