Théorie des groupes/Premiers résultats sur les groupes simples

**Premiers résultats sur les groupes simples**
Leçon : Théorie des groupes

Chapitre n^o 29
Chap. préc. :	Transfert, théorème du complément normal de Burnside
Chap. suiv. :	Groupes caractéristiquement simples, sous-groupes normaux minimaux
Exercices :	Premiers résultats sur les groupes simples

En raison de limitations techniques, la typographie souhaitable du titre, « Théorie des groupes : Premiers résultats sur les groupes simples
Théorie des groupes/Premiers résultats sur les groupes simples », n'a pu être restituée correctement ci-dessus.

Introduction[modifier | modifier le wikicode]

On va donner ici quelques théorèmes sur les groupes simples, qui nous permettront notamment de prouver dans les exercices que tout groupe simple non commutatif d'ordre < 168 est isomorphe à A₅.

Commençons par une remarque banale :

Théorème 0

Soit G un groupe simple non commutatif (autrement dit un groupe simple, fini ou infini, dont l’ordre n’est pas un nombre premier). Le centre de G est réduit à l'élément neutre et le dérivé de G est G tout entier.

Démonstration

Le centre Z(G) de G est un sous-groupe distingué de G. Puisque G est simple, Z(G) est donc égal à 1 ou à G tout entier. S'il était égal à G tout entier, G serait commutatif, ce qui est contraire aux hypothèses, donc Z(G) est réduit à l'élément neutre. Le dérivé D(G) de G est lui aussi un sous-groupe distingué de G, donc il est égal à 1 ou à G tout entier. S'il était égal à 1, G serait commutatif, ce qui est contraire aux hypothèses, donc D(G) est égal à G tout entier.

Utilisation des opérations d'un groupe sur certains ensembles[modifier | modifier le wikicode]

Théorème 1

Soit G un groupe opérant sur un ensemble fini X de cardinal n. Si K désigne le noyau de l'homomorphisme de G dans S_X correspondant à cette opération, le groupe quotient G/K est isomorphe à un sous-groupe de S_n.

Démonstration

Soit $\ \varphi$ l'homomorphisme de G dans S_X correspondant à l'opération en question. D'après le premier théorème d'isomorphisme, le groupe quotient G/K est isomorphe à l'image de $\ \varphi$ , image qui est un sous-groupe de S_X. Comme X est de cardinal n, S_X est isomorphe à S_n, d'où l'énoncé.

Théorème 2

Si un groupe simple G opère non trivialement sur un ensemble X, cette opération est fidèle.

Démonstration

Soit $\ \varphi$ l'homomorphisme de G dans S_X correspondant à l'action de G sur X. Puisque le noyau d'un homomorphisme de groupes est sous-groupe normal du groupe de départ, le noyau de $\ \varphi$ est sous-groupe normal de G. Puisque G est simple, ce noyau est donc égal à G ou réduit à l'élément neutre. Puisque l'action est supposée non triviale, le noyau de $\ \varphi$ n’est pas G tout entier, donc il est réduit à l'élément neutre, donc $\ \varphi$ est injectif, autrement dit l'action de G sur X est fidèle.

Théorème 3

Si un groupe simple G opère non trivialement sur un ensemble X de cardinal fini n, l'opération de G sur X est équivalente à l'opération naturelle d'un sous-groupe de S_n; en particulier, G est isomorphe à un sous-groupe de S_n (et G est donc fini). Si, de plus, l’ordre de G est au moins égal à 3, l'opération de G sur X est équivalente à l'opération naturelle d'un sous-groupe de A_n; en particulier, G est alors isomorphe à un sous-groupe de A_n.

Démonstration

D'après le théorème 2, l'opération de G sur X est fidèle. Donc, comme noté dans le chapitre Action de groupe, cette opération est équivalente à l'opération naturelle d'un sous-groupe H de S_X. Toujours d’après le chapitre Action de groupe, l'opération naturelle de H est équivalente à l'opération naturelle d'un sous-groupe K de S_n. En particulier, K est isomorphe à G et est donc simple. Si l’ordre de G est au moins égal à 3, K est un sous-groupe simple de S_n dont l’ordre est au moins égal à 3, donc, d’après un exercice de la série groupes alternés, K est contenu dans A_n.

Théorème 4

Soient G un groupe simple et H un sous-groupe de G, distinct de 1 et de G. On suppose que les conjugués de H sont en nombre fini n. Alors l'action de G par conjugaison sur l’ensemble des conjugués de H est équivalente à l'action naturelle d'un sous-groupe transitif de S_n; en particulier, G est isomorphe à un sous-groupe transitif de S_n. Si, de plus, l’ordre de G est au moins égal à 3, alors l'action de G par conjugaison sur l’ensemble des conjugués de H est équivalente à l'action naturelle d'un sous-groupe transitif de A_n; en particulier, G est isomorphe à un sous-groupe transitif de A_n.

Démonstration

Puisque G est simple et que H est distinct de 1 et de G, H n’est pas un sous-groupe distingué de G, donc il a plusieurs conjugués. Il est clair que G agit par conjugaison sur l’ensemble X des conjugués de H et que cette action est transitive. Puisque l’ensemble X des conjugués de H comprend plusieurs éléments, l'action de G sur X n'est donc pas triviale, donc l'énoncé résulte du théorème 3 et du fait (noté au chapitre Action de groupe) que si une opération de groupe est équivalente à une opération transitive, elle est transitive.

Théorème 5

Soit G un groupe simple fini d'ordre non premier, soit p un diviseur premier de l’ordre de G et n le nombre des p-sous-groupes de Sylow de G. Alors
a) n est au moins égal à p + 1 (et, a fortiori, est > 1);
b) 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 transitif de A_n. En particulier, G est isomorphe à un sous-groupe transitif de A_n (et l’ordre de G divise donc n!/2).

Démonstration

Puisque G est un groupe simple fini d'ordre non premier, son ordre n’est pas une puissance de nombre premier. (Si son ordre était une puissance de nombre premier, il serait nilpotent, donc résoluble, et on sait que les seuls groupes simples résolubles sont les groupes simples commutatifs, c'est-à-dire les groupes d'ordre premier.) Donc les p-sous-groupes de Sylow de G sont des sous-groupes propres de G. Comme ils sont évidemment > 1 et que G est simple, les p-sous-groupes de Sylow de G ne sont donc pas distingués dans G, donc n > 1. (Voir un problème de la série Théorèmes de Sylow.) D'après le théorème de congruence de Sylow, n est donc au moins égal à p + 1, ce qui démontre le point a). Puisque les p-sous-groupes de Sylow de G sont exactement les conjugués de l'un d'entre eux et que l’ordre de G est évidemment au moins égal à 3, le point b) résulte du théorème théorème 4. (L'ordre de A_n est n!/2 parce que, d'après le point a), n > 1.)

Remarque. La forme faible du théorème 5 (G est isomorphe à un sous-groupe transitif de A_n), et même une forme encore plus faible (G est isomorphe à un sous-groupe de A_n) suffit déjà dans bon nombre d'applications, mais la forme forte (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 transitif de A_n) peut rendre des services que la forme faible ne rend pas. Supposons par exemple que les p-sous-groupes de Sylow de G aient deux à deux des intersections triviales. On a vu dans les exercices de la série Théorèmes de Sylow qu'un élément de G dont l’ordre est une puissance de p normalise un p-sous-groupe de Sylow P de G si et seulement s'il appartient à P. Cela revient à dire que dans l'opération de G par conjugaison sur l’ensemble E de ses p-sous-groupes de Sylow, un élément x de G dont l’ordre est une puissance de p fixe un élément P de E si et seulement x appartient à P. Puisque nous supposons que les p-sous-groupes de Sylow de G ont deux à deux des intersections triviales, il en résulte que dans l'opération de G par conjugaison sur l’ensemble E de ses p-sous-groupes de Sylow, un élément non neutre de G dont l’ordre est une puissance de p fixe un et un seul élément de E. Il résulte donc de la forme forte du théorème que (si les p-sous-groupes de Sylow de G ont deux à deux des intersections triviales) G est isomorphe à un sous-groupe transitif H de A_n possédant la propriété suivante : tout élément non neutre de H dont l’ordre est une puissance de p fixe un et un seul élément de {1, 2, ..., n}. Ce fait peut être utilisé, par exemple, dans la démonstration du théorème^[1] selon lequel tout groupe simple d'ordre 360 est isomorphe à A₆.

Théorème 6

Soient G un groupe simple et H un sous-groupe propre de G, d'indice fini n. Alors G est isomorphe à un sous-groupe transitif 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 transitif de A_n.

Démonstration

On a vu au chapitre Action de groupe que G agit par translation à gauche sur l’ensemble des classes à gauche modulo H. Il est clair que cette action est transitive. Puisque H est un sous-groupe propre de G, l’ensemble des classes à gauche modulo H a plus d'un élément, donc l'action de G sur cet ensemble, étant transitive, n’est pas triviale. L'énoncé résulte donc du théorème 3.

Remarque. Ce théorème entraîne qu'un sous-groupe propre d'un groupe simple G ne peut pas être d'indice trop petit par rapport à l’ordre de G.

Théorème 7

Soient G un groupe et H un sous-groupe d'indice fini n de G. Si H₀ désigne le cœur de H dans G, c'est-à-dire l'intersection des conjugués de H dans G, H₀ est un sous-groupe normal de G contenu dans H et le groupe quotient G/H₀ est isomorphe à un sous-groupe de S_n. (En particulier, H₀ est lui aussi d'indice fini dans G.)

Démonstration

On a vu au chapitre Action de groupe que G opère par translation à gauche sur l’ensemble X des classes à gauche modulo H. Soit $\ \varphi$ l'homomorphisme de G dans S_X correspondant à cette opération. Montrons que le noyau K de $\ \varphi$ est H₀. Un élément g de G appartient à K si et seulement si pour tout élément x de G, gxH = xH. Cela revient à dire que, pour tout élément x de G, gx appartient à xH, autrement dit g appartient à xHx^-1. Ceci montre bien que K est égal à l'intersection H₀ des conjugués de H. Ainsi, H₀ est le noyau d'un homomorphisme de groupes partant de G, donc est un sous-groupe normal de G (ce qu'on pourrait évidemment prouver plus directement). Puisque l’ensemble X est de cardinal n, il résulte du théorème 1 que G/H₀ est isomorphe à un sous-groupe de S_n.

Théorème 8

Soient G un groupe fini d'ordre n > 1 et p le plus petit diviseur premier de n. Si un sous-groupe de G est d'indice p, ce sous-groupe est distingué^[2]. (Note : on a déjà démontré cet énoncé dans les exercices sur les actions de groupe.)

Démonstration

Soit H un sous-groupe d'indice p de G. Il s'agit de prouver que H est sous-groupe distingué de G. Il revient évidemment au même de prouver que l'intersection H₀ des conjugués de H est égale à H. D'après le théorème 7, H₀ est un sous-groupe distingué de G et G/H₀ est isomorphe à un sous-groupe de S_p. Donc l’ordre de G/H₀, autrement dit l'indice de H₀, divise p!. Comme cet indice divise également n, il divise le pgcd de p! et de n. Puisque p est le plus petit diviseur premier de n, le pgcd de p! et de n est égal à p, donc l'indice de H₀ divise p. Puisque H₀ est contenu dans H, H₀ n’est pas G tout entier, donc l'indice de H₀ est p. D'après la formule des indices, il en résulte que H₀ = H, ce qui, comme nous l'avons vu, prouve que H est un sous-groupe distingué de G.

Remarque. Si n est pair, p est égal à 2 et nous retrouvons un théorème déjà démontré (même pour un groupe G infini) : tout sous-groupe d'indice 2 est distingué.

Corollaire

Soit G un groupe fini d'ordre n > 1 et non premier, soit p le plus petit facteur premier de n. Si G admet un sous-groupe d'indice p, G n’est pas simple.

Démonstration

Conséquence immédiate du corollaire précédent, puisqu’un sous-groupe d'indice p de G est évidemment distinct de 1 et de G.

Utilisation des théorèmes de Sylow[modifier | modifier le wikicode]

On va donner un exemple de la façon dont, en raisonnant sur les sous-groupes de Sylow (autrement qu'on ne l'a fait dans la démonstration du théorème 5), on peut prouver, pour certains nombres naturels n, qu’il n'existe pas de groupe simple d'ordre n.

Théorème 9

Soit n un nombre naturel non nul. On suppose qu’il existe un facteur premier p de n tel que n = p^r m, où m est non divisible par p, où m > 1 et où le seul diviseur naturel d de m qui soit congru à 1 modulo p est 1. Aucun groupe d'ordre n n'est simple.

Démonstration

Soit G un groupe d'ordre n. D'après les théorèmes de Sylow, le nombre des p-sous-groupes de Sylow est un diviseur de m et est congru à 1 modulo p. D'après les hypothèses de l'énoncé, il en résulte que G n'a qu'un p-sous-groupe de Sylow, soit P. On sait que ceci entraîne que P est un sous-groupe distingué de G. Comme p divise n, P > 1. Comme m > 1, P <G. Ainsi, G admet un sous-groupe distingué P tel que 1 < P < G, donc G n’est pas simple.

Utilisation du théorème du complément normal de Burnside[modifier | modifier le wikicode]

Soit G un groupe fini dont l'ordre admet au moins deux facteurs premiers, soit p un facteur premier de l'ordre de G. Supposons qu'un p-sous-groupe de Sylow P de G soit central dans son normalisateur N_G(P). Alors, d'après le théorème du complément normal de Burnside, P admet un complément normal dans G et G n'est donc pas simple.

Comme on l'a vu dans le chapitre théorique Transfert, théorème du complément normal de Burnside et dans les exercices correspondants, cela permet de prouver que, sous certaines conditions ne dépendant que du nombre naturel n, il n'existe pas de groupe simple d'ordre n.

Notes et références[modifier | modifier le wikicode]

↑ Ce théorème a été démontré par F. N. Cole, « Simple groups as Far as Order 660 », American Journal of Mathematics, vol. 15, n° 4, octobe 1893, p. 303-315, spéc. 307-310, consultable sur le site JSTOR.
↑ Énoncé dans J. Calais, Éléments de théorie des groupes, Paris, 1984, p. 217, exerc. 11.

Théorie des groupes

Transfert, théorème du complément normal de Burnside

Groupes caractéristiquement simples, sous-groupes normaux minimaux

[1] Ce théorème a été démontré par F. N. Cole, « Simple groups as Far as Order 660 », American Journal of Mathematics, vol. 15, n° 4, octobe 1893, p. 303-315, spéc. 307-310, consultable sur le site JSTOR.

[2] Énoncé dans J. Calais, Éléments de théorie des groupes, Paris, 1984, p. 217, exerc. 11.

[1]

[2]

Théorie des groupes/Premiers résultats sur les groupes simples

Sommaire

Introduction[modifier | modifier le wikicode]

Utilisation des opérations d'un groupe sur certains ensembles[modifier | modifier le wikicode]

Utilisation des théorèmes de Sylow[modifier | modifier le wikicode]

Utilisation du théorème du complément normal de Burnside[modifier | modifier le wikicode]

Notes et références[modifier | modifier le wikicode]

Menu de navigation