Début de la boite de navigation du chapitre
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, «
Théorie des groupes : Commutateurs, groupe dérivé
Théorie des groupes/Commutateurs, groupe dérivé », n'a pu être restituée correctement ci-dessus.
Définition
Soient
G un groupe,
x et
y deux éléments de
G. L'élément

de
G est appelé le commutateur de
x et
y et nous le noterons (
x,
y) ou, de préférence, [
x,
y].
Remarque. Cette définition est celle qu'adopte Bourbaki[1]. D'autres auteurs[2] désignent comme le commutateur de x et y l'élément
. Il est clair que le commutateur de x et de y selon une de ces définitions est le commutateur de x-1 et y-1 selon l'autre définition, ce qui permet de traduire facilement un énoncé relatif à une définition en un énoncé relatif à l'autre définition.
Il est clair que [y, x] = [x, y]-1. D'autre part, [x, y] = (yx)-1xy, donc [x, y] = 1 si et seulement si x et y commutent.
Définition
Soient
G un groupe,
A et
B deux sous-groupes de
G. On note (A, B) ou, de préférence, [A, B] le sous-groupe de
G engendré par les éléments de la forme [a, b], avec

.
Remarques
- Nous avons vu que, si x et y sont deux éléments de G, la relation [x, y] = 1 a lieu si et seulement si x et y commutent. Il en résulte que [A, B] = 1 si et seulement tout élément de A commute avec tout élément de B.
- Il est clair que si A1 et B1 sont des sous-groupes de G contenus dans A et dans B respectivement, [A1, B1] est contenu dans [A, B] (puisqu’il y a une partie génératrice de [A1, B1] qui est contenue dans [A, B]).
- Soit X l’ensemble des commutateurs
avec
et
, soit Y l’ensemble des commutateurs
avec
et
. Par définition, [A, B] est le sous-groupe de G engendré par X et [B, A] est le sous-groupe de G engendré par Y. Il est clair que
, donc X et Y engendrent le même sous-groupe, donc [A, B] = [B, A].
Début d’un théorème
Proposition
Soient G un groupe, A et B des sous-groupes de G. La relation [A, B] ⊆ B a lieu si et seulement si A normalise B.
Fin du théorème
Début d'une démonstration
Démonstration
Supposons [A, B] ⊆ B et prouvons que A normalise B. Puisque l’ensemble des commutateurs a-1b-1ab, avec a dans A et b dans B, est contenu dans [A, B], nous avons a-1b-1ab ∈ B pour tout a ∈ A et tout b ∈ B. Cela entraîne a-1b-1a ∈ B pour tout a ∈ A et tout b ∈ B, donc A normalise B. Réciproquement, supposons que A normalise B. Alors a-1b-1a ∈ B pour tout a ∈ A et tout b ∈ B, donc a-1b-1ab ∈ B pour tout a ∈ A et tout b ∈ B, donc tout commutateur [a, b], avec a dans A et b dans B, appartient à B. Puisque [A, B] est le sous-groupe de G engendré par ces commutateurs et que B est un sous-groupe de G, [A, B] est donc contenu dans B.
Fin de la démonstration
Début d’un théorème
Proposition
Soient G1 et G2 deux groupes, A et B deux sous-groupes de G1, f un homomorphisme de G1 dans G2. L'image de [A, B] par f est [f(A), f(B)].
Fin du théorème
Début d'une démonstration
Démonstration
Désignons par X l’ensemble des commutateurs [a, b] avec a dans A et b dans B. Il est clair que f(X) est l’ensemble Y des commutateurs [a', b'] avec a' dans f(A) et b' dans f(B). En passant aux sous-groupes engendrés, nous trouvons <f(X)> = <Y>, ce qui peut s'écrire f(<X>) = <Y>. Par définition de [A, B], <X> est égal à [A, B] et, de même, <Y> est égal à [f(A), f(B)], d'où l'énoncé.
Fin de la démonstration
On en déduit facilement le corollaire suivant :
Début d’un théorème
Corollaire
Soient G un groupe, A et B deux sous-groupes de G. Si A et B sont normaux dans G (resp. caractéristiques dans G, resp. stables par tout endomorphisme de G, resp. stables par tout endomorphisme surjectif de G), [A, B] l'est aussi.
Fin du théorème
(Pour ce qui est des sous-groupes normaux, on se rappellera qu'un sous-groupe de G est normal dans G si et seulement s'il est stable par tout automorphisme intérieur de G.)
Définition
Soit G un groupe. On appelle groupe dérivé de G et on note D(G) ou G' le sous-groupe [G, G] de G, autrement dit le sous-groupe de G engendré par les commutateurs d'éléments de G.
Remarques
- Le groupe dérivé de G n’est pas forcément réduit à l’ensemble des commutateurs d'éléments de G[3].
- Le groupe dérivé de G est parfois appelé groupe des commutateurs de G, ce qui est un abus de langage, vu la remarque précédente.
- Nous avons vu que, si A et B sont deux sous-groupes de G, [A, B] = 1 si et seulement tout élément de A commute avec tout élément de B. En faisant A = B = G, nous trouvons que D(G) = 1 si et seulement G est commutatif.
- Si nous désignons par C l'ensemble des commutateurs de G, alors
(puisque [b,a] est l'inverse de [a,b]), donc D(G), qui est le sous-groupe de G engendré par C, est aussi le sous-monoïde de G engendré par C, autrement dit D(G) est l'ensemble des produits de commutateurs d'éléments de G.
Début d’un théorème
Théorème
Soit f un homomorphisme d'un groupe G1 dans un groupe G2. Alors f(D(G1)) est contenu dans D(G2). Si f est surjectif, on a l'égalité.
Fin du théorème
Début d'une démonstration
Démonstration
Nous avons vu que si A et B sont deux sous-groupes de G1, l'image de [A, B] par f est [f(A), f(B)]. En faisant A = B = G1, nous trouvons que l'image de D(G1) par f est [f(G1), f(G1)]. Comme [f(G1), f(G1)] est contenu dans [G2, G2] = D(G2) et lui est égal si f est surjectif, l'énoncé en résulte.
Fin de la démonstration
Début d’un théorème
Théorème
Le groupe dérivé d'un groupe G est un sous-groupe caractéristique (et donc distingué) de G.
Fin du théorème
Début d'une démonstration
Démonstration
En faisant G1 = G2 = G dans le théorème précédent, nous trouvons que D(G) est stable par tout endomorphisme de G. A fortiori, c’est un sous-groupe caractéristique de G.
Fin de la démonstration
Début d’un théorème
Théorème
Soit f un homomorphisme d'un groupe G dans un groupe
abélien A. Le groupe dérivé de G est contenu dans le noyau de f. Si

désigne l'homomorphisme canonique de G sur G/D(G), tout homomorphisme de G dans un groupe abélien A s'écrit de façon unique

, où

est un homomorphisme de G/D(G) dans A.
Autre formulation : soient G un groupe et A un groupe abélien, soit

l'homomorphisme canonique de G sur G/D(G); alors

définit une bijection de Hom(G/D(G), A) sur Hom(G, A).
Fin du théorème
Début d'une démonstration
Démonstration
D'après un théorème précédent, f(D(G)) est contenu dans D(A). Puisque A est abélien, D(A) = 1, donc f(D(G)) = 1, ce qui prouve la première assertion de l'énoncé. La seconde en résulte, compte tenu des théorèmes sur la décomposition d'un homomorphisme (chapitre sur les sous-groupes distingués et les groupes quotients).
Fin de la démonstration
Début d’un théorème
Théorème
Soit G un groupe. Le groupe quotient G/D(G) est commutatif.
Fin du théorème
Début d'une démonstration
Démonstration
Soit

l'homomorphisme canonique de G sur G/D(G). Puisque

est surjectif, nous avons, d’après un précédent théorème,

=

, autrement dit

= D(G/D(G)). Le premier membre est égal à D(G)/D(G) et est donc réduit à l'élément neutre. Le second membre D(G/D(G)) est donc réduit à l'élément neutre. Nous avons vu que le dérivé d'un groupe est réduit à l'élément neutre si et seulement si ce groupe est commutatif, donc G/D(G) est commutatif. (On peut évidemment donner une démonstration plus directe.)
Fin de la démonstration
Définition
G étant un groupe, le groupe (commutatif) G/D(G) est appelé l'abélianisé de G. On le note parfois Gab.
Début d’un théorème
Théorème
Soit G un groupe. Tout sous-groupe de G contenant D(G) est distingué dans G.
Fin du théorème
Début d'une démonstration
Démonstration
Nous avons vu (chapitre Sous-groupes distingués et groupes quotients, section Sous-groupes d'un groupe quotient) que si G est un groupe et H un sous-groupe distingué de G, alors un sous-groupe K de G contenant H est distingué dans G si et seulement si K/H est distingué dans G/H. Dans le cas où H = D(G), le quotient G/H = G/D(G) est commutatif, donc tous ses sous-groupes sont distingués. Il en résulte que tout sous-groupe K de G contenant D(G) est distingué dans G.
Fin de la démonstration
Remarque. On trouvera une autre démonstration dans les exercices.
Début d’un théorème
Théorème
Soient G un groupe et H un sous-groupe distingué de G. Pour que le quotient G/H soit commutatif, il faut et il suffit que H contienne D(G).
Fin du théorème
Début d'une démonstration
Démonstration
Si le quotient G/H est commutatif, alors, d’après un des théorèmes ci-dessus, D(G) est contenu dans le noyau de l'homomorphisme canonique de G sur G/H, c'est-à-dire est contenu dans H. Réciproquement, soit H un sous-groupe distingué de G contenant D(G). Alors, d’après le troisième théorème d'isomorphisme, G/H est isomorphe au quotient de G/D(G) par H/D(G). Comme G/D(G) est commutatif et que tout quotient d'un groupe commutatif est commutatif, G/H est commutatif.
Fin de la démonstration
Le sous-groupe dérivé d'un groupe G est donc le plus petit sous-groupe normal H de G tel que G/H soit abélien.
Début d’un théorème
Théorème
Soient G un groupe et X une partie génératrice de G. Le dérivé de G est le sous-groupe normal de G engendré par les commutateurs [x, y], où x et y parcourent X.
Fin du théorème
Début d'une démonstration
Démonstration
Désignons par H le sous-groupe normal de G engendré par les commutateurs
[x, y], où
x et
y parcourent X. Puisque D(G) est lui-même un sous-groupe normal de G qui comprend les commutateurs en question, nous avons, par minimalité du sous-groupe normal engendré,

. Il reste à prouver que D(G) est contenu dans H. Désignons par

l'homomorphisme canonique de G sur G/H. Puisque X est une partie génératrice de G et que

est surjectif, il résulte d'un théorème démontré au chapitre
Groupes, premières notions que

est une partie génératrice de G/H. Puisque H comprend tous les commutateurs
[x, y] avec
x et
y dans X, tous les éléments de

commutent entre eux (en effet, si
x et
y sont des éléments de X, le commutateur
[x, y] appartient à H, donc
![{\displaystyle \varphi ([x,y])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/301ea0254c7483ef47931b161e2395b7257b5a79)
est l'élément neutre de G/H, or

étant un homomorphisme,
![{\displaystyle \varphi ([x,y])=[\varphi (x),\varphi (y)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72f5be4e2eb28b0b12942ee4f51073552c827b7a)
, d'où
![{\displaystyle [\varphi (x),\varphi (y)]=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e23592018218b44caf591129a61e0e79b5a228e)
, ce qui prouve que

et

commutent). Ainsi, G/H admet une partie génératrice dont tous les éléments commutent entre eux. D'après un théorème démontré au chapitre
Conjugaison, centralisateur, normalisateur, il en résulte que le groupe G/H est commutatif. D'après un théorème ci-dessus, H contient donc D(G), ce qui achève la démonstration.
Fin de la démonstration
Remarque. Dans le théorème précédent, X ne contient pas nécessairement l'inverse de chacun de ses éléments ; on peut donc légitimement se demander si le théorème n'est valable qu'avec la définition des commutateurs adoptée dans ce cours, c'est-à-dire [x, y] = x-1y-1xy (et non [x, y] = xyx-1y-1) pour tous x et y dans G. En examinant la démonstration ci-dessus, on peut constater qu'elle ne repose que sur des résultats indépendants de la définition choisie pour le commutateur de deux éléments d'un groupe. Le théorème est donc valable tel quel indépendamment de la définition choisie.
Une autre façon de voir cela consiste à montrer que le sous-groupe normal de G engendré par Com1(X) est égal au sous-groupe normal de G engendré par Com2(X), où Com1(X) (resp. Com2(X)) est l'ensemble des éléments de la forme x-1y-1xy (resp. xyx-1y-1) avec x et y dans X. Pour ce faire, remarquons tout d'abord que tout élément de Com1(X) est conjugué d'un élément de Com2(X) : en effet, si a et b sont deux éléments d'un groupe, ab est toujours conjugué de ba, puisque ab = a(ba)a-1 ; on obtient donc l'argument en posant a = x-1y-1 et b = xy. De même, tout élément de Com2(X) est conjugué d'un élément de Com1(X). Il en résulte que les conjugués des éléments de Com1(X) sont exactement les conjugués des éléments de Com2(X), car la relation d'équivalence sur G « être conjugué à » est transitive. Or nous avons vu dans un exercice de la série Conjugaison, centralisateur, normalisateur que dans un groupe quelconque G0, le sous-groupe normal engendré par une partie Y de G0 est le sous-groupe de G0 engendré par les conjugués des éléments de Y. Le sous-groupe normal de G engendré par Com1(X) (resp. Com2(X)) est donc le sous-groupe de G engendré par les conjugués des éléments de Com1(X) (resp. Com2(X)). On en déduit que le sous-groupe normal de G engendré par Com1(X) est égal au sous-groupe normal de G engendré par Com2(X), comme annoncé.
Début d’un théorème
Théorème
Le dérivé du groupe symétrique Sn est le groupe alterné An.
Fin du théorème
Début d'une démonstration
Démonstration
Désignons par

l'homomorphisme de S
n dans {1, - 1} qui applique

sur sa signature. Puisque le groupe d'arrivée de cet homomorphisme est commutatif, il résulte d'un théorème ci-dessus que D(S
n) est contenu dans le noyau de

, autrement dit est contenu dans A
n. Prouvons que réciproquement, A
n est contenu dans D(S
n). Puisque
An est engendré par les cycles d'ordre 3, il suffit de prouver que tout cycle d'ordre 3 est un commutateur d'éléments de S
n. Soit (a b c) un cycle d'ordre 3. Puisqu’il est d'ordre 3, il est le carré de son inverse (c b a) :
.
Puisque (c b a) et (a b c) ont la même structure cyclique, ils sont conjugués l'un de l'autre. Nous pouvons d'ailleurs préciser que
. En remplaçant par cette valeur le second facteur (c b a) du second membre de (1), nous trouvons
,
ce qui prouve bien que

est un commutateur, comme annoncé.
Fin de la démonstration
Remarques
- Pour prouver que (a b c) est un commutateur, on aurait aussi pu noter que (a b c) = (a b) (a c) (a b)-1 (a c)-1.
- Comme déjà dit, le groupe dérivé d'un groupe G n’est pas forcément réduit aux commutateurs d'éléments de G. On verra cependant dans les exercices que tout élément de An est un commutateur d'éléments de Sn.
On va donner dans cette section quelques résultats qui ne figurent pas dans tous les livres d’introduction à la théorie des groupes.
Soient x, y, z des éléments d'un groupe G. On écrit xy pour y-1xy, notation qu’il ne faut évidemment pas confondre avec la notation xn, où n est un entier relatif. On a toujours xyz = (xy)z (composition des automorphismes intérieurs).
Début d’un théorème
Théorème
Soient x, y, z des éléments d'un groupe G. On a les identités suivantes :
1° [x, y]-1 = [y, x]
2° xy = x [x, y]
3° xy = [y, x-1] x
4° [x, y]z = [xz, yz]
5° [x, yz] = [x, z] [x, y]z
6°
7° [xy, z] = [x, z]y [y, z]
8°
9°
10° [x, y-1] = [ [y-1, x], y] [y, x]
11° Identité de Hall-Witt :
![{\displaystyle \ [\ [x,y^{-1}],z]^{y}\ \ [\ [y,z^{-1}],x]^{z}\ \ [\ [z,x^{-1}],y]^{x}=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7059bd78d815e28a2b6f62ebeccda52d3a8be866)
Fin du théorème
Démonstration. La relation 1° a déjà été notée. La relation 4° s'obtient en appliquant l'égalité f([x, y]) = [f(x), f(y)] , vraie pour tout homomorphisme de groupes f, au cas où f est l'automorphisme intérieur
. La relation 2° s'obtient par un calcul immédiat. Il en est de même de 3°, qu'on peut aussi tirer de 2° en passant aux inverses et en remplaçant x par x-1. La relation 5° se vérifie par calcul. On peut obtenir 6° à partir de 5° en remplaçant dans 5° [x, y]z par une valeur tirée de 3°. On peut tirer 7° de 5° en passant aux inverses et en faisant un changement de variables. On peut tirer 8° de 7° à l'aide de 2° comme on a tiré 6° de 5° à l'aide de 3° ; on peut aussi tirer 8° de 6° en passant aux inverses et en faisant un changement de variables. On obtient 9° en faisant z = y-1 dans 5°. On obtient 10° en faisant y = z-1 dans 6° et en opérant un changement de variable. Pour prouver 11° (l'identité de Hall-Wittt), on peut abréger les calculs en notant que le premier facteur de l'identité peut s'écrire
![{\displaystyle \ [\ [x,y^{-1}],z]^{y}\ =T(x,z,y)^{-1}T(y,x,z),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/852620142673a0b3fde649ff53a42869df7a3b78)
où on pose:

Des expressions analogues des deux autres facteurs de l'identité de Hall-Witt s'obtiennent à partir de celle-ci par une permuation circulaire des variables et quand on multiplie les trois résultats membre à membre, chaque facteur T() est détruit par le facteur T()-1 qui suit.
Début d’un théorème
Théorème
Soient G un groupe et A, B deux sous-groupes de G ; alors A et B normalisent [A, B], autrement dit [A, B] est sous-groupe normal du sous-groupe <A, B> de G engendré par A et B.
Fin du théorème
Démonstration. Soient a et a' deux éléments de A, soit b un élément de B. D'après la septième des identités énumérées plus haut,
![{\displaystyle \ [aa',b]=[a,b]^{a'}[a',b].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfd4c79fd447a9b04b2ae4b22454960d8a086e2d)
Ceci donne
![{\displaystyle \ [a,b]^{a'}=[aa',b][a',b]^{-1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8f33ee34f9ee7f0a34eb34dcc2637fd7ab98e13)
Les deux facteurs du second membre appartiennent à [A, B], donc
appartient à [A, B]. Puisque les [a, b], avec a dans A et b dans B, engendrent [A, B], il en résulte que A normalise [A, B]. De même, B normalise [B, A] = [A, B].
Début d’un théorème
Théorème des trois sous-groupes (ou lemme des trois sous-groupes)
Soient G un groupe, N un sous-groupe normal de G et H, K, L trois sous-groupes de G. Si deux des sous-groupes [ [H, K], L], [ [K, L], H] et [ [L, H], K] sont contenus dans N, le troisième l'est aussi.
Fin du théorème
Démonstration. Il suffit de prouver que
si [ [K, L], H] et [ [L, H], K] sont contenus dans N, [ [H, K], L] l'est aussi.
(Les autres cas s'en déduisent par une permutation circulaire des variables.)
Commençons par le prouver dans le cas particulier où N = 1.
Dans ce cas, [ [K, L], H] = [ [L, H], K] = 1 et il s'agit de prouver que [ [H, K], L] = 1.
Cette thèse revient à dire que tout élément de L commute avec tout élément de [H, K] ; puique [H, K] est engendré par les éléments [h, k] avec h dans H et k dans K, la thèse revient à dire que pour tout h dans H, pour tout k dans K et pour tout l dans L, [ [h, k], l] = 1.
D'après l'identité de Hall-Witt,
![{\displaystyle \ (2)\qquad [\ [h,k],l]^{k^{-1}}\ \ [\ [k^{-1},l^{-1}],h]^{l}\ \ [\ [l,h^{-1}],k^{-1}]^{h}=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4890fe2a0aa1d37fe8af1194e141538d8932f6d4)
D'après les hypothèses [ [K, L], H] = [ [L, H], K] = 1, nous avons
d'où
donc (2) donne
donc [ [h, k], l] = 1. Comme nous l'avons vu, cela prouve la thèse (1) dans le cas particulier où N = 1.
Passons au cas général. Désignons par p l'homomorphisme canonique de G sur G/N. Alors
- [ [p(K), p(L)], p(H)] = p([ [K, L], H]).
Puisque [ [K, L], H] est supposé contenu dans N, le second membre est égal à {N}, autrement dit au sous-groupe de G/N réduit à l'élément neutre. Donc [ [p(K), p(L)], p(H)] est le sous-groupe de G/N réduit à l'élément neutre. De même, [ [p(L), p(H)], p(K)] est le sous-groupe de G/N réduit à l'élément neutre. D'après la première partie de la démonstration, [ [p(H), p(K)], p(L)] est le sous-groupe de G/N réduit à l'élément neutre. Autrement dit, [ [p(H), p(K)], p(L)] = {N}, ce qui revient à dire que [ [H, K], L] est contenu dans N. Le théorème est donc démontré.
Début d’un théorème
Corollaire du théorème des trois sous-groupes
Soient G un groupe et H, K, L trois sous-groupes normaux de G. Alors
- [ [H, K], L] est contenu dans [ [K, L], H] [ [L, H], K].
Fin du théorème
Démonstration. Puisque H, K et L sont supposés normaux dans G, [ [K, L], H] et [ [L, H], K] le sont aussi, donc [ [K, L], H] [ [L, H], K] est un sous-groupe normal de G. Comme il contient [ [K, L], H] et [ [L, H], K], il résulte du théorème des trois sous-groupes qu’il contient [ [H, K], L].
Ce corollaire du théorème des trois sous-groupes permet de démontrer certaines propriétés de la suite centrale descendante d'un groupe.
Remarque. Si H, K et L sont des sous-groupes d'un groupe G, [ [H, K], L] n’est pas forcément égal au sous-groupe de G engendré par les éléments [ [h, k], l] avec h dans H, k dans K et l dans L. (Voir les exercices.)
- ↑ N. Bourbaki, Algèbre, ch. I, § 6, no 2; Paris, 1970, p. 65.
- ↑ Par exemple P. Tauvel, Algèbre, 2e éd., Paris, 2005, p. 42.
- ↑ N. Bourbaki, Algèbre, ch. I, § 6, exerc. 16, Paris, 1970, p. 137, en donne un exemple qui repose sur la théorie des espaces vectoriels. Voir aussi J. J. Rotman, An introduction to the theory of groups, 4e éd., tirage 1999, pp. 34-35.