2
Exercice 3.
Soit Gun groupe. On rappelle que le commutateur [g, h] de g, h ∈Gest d´efini
par la formule [g, h] := g−1h−1gh. On note
[G, G] := h[x, y]|x, y ∈Gi
le sous-groupe de Gengendr´e par les commutateurs de G.
(1) Montrer que [G, G] est normal dans G.
(2) Montrer que G/[G, G] est ab´elien.
(3) Soit π:G−→ G/[G, G] la surjection canonique. Montrer que si
f:G−→ Aest un homomorphisme de groupes avec Aab´elien, alors
il existe un unique homomorphisme de groupe g:G/[G, G]−→ Atel que
f=g◦π.
(4) Calculer [Z/nZ,Z/nZ] puis [D2n,D2n].
(5) Montrer que [Sn, Sn] est un sous-groupe de An.
Solution.
(1) Pour tous [g, h]∈[G, G] et x∈G, on a
x[g, h]x−1=xghg−1h−1x−1
= (xg−1x−1)(xh−1x−1)(xg−1x−1)(xh−1x−1)
= [xgx−1, xhx−1]∈[G, G].
Comme tout ´el´ement de [G, G] s’´ecrit comme un produit de commutateurs,
on en d´eduit que [G, G] est normal dans G.
(2) Notons qu’un groupe est ab´elien si et seulement si son sous-groupe des
commutateurs est trivial. Pour π:G→G/[G, G] la projection canonique
et g, h ∈G, notons que
[π(g), π(h)] = π([g, h]) = 1,
d’o`u [G/[G, G], G/[G, G]] = [π(G), π(G)] = {1}, c’est-`a-dire que G/[G, G]
est ab´elien.
(3) Sous les conditions de l’´enonc´e, remarquons que pour tous g, h ∈G, on a
f([g, h]) = [f(g), f(h)] = 0
puisque Aest ab´elien. Par la propri´et´e universelle du groupe quotient
vue en cours, il existe alors un unique homomorphisme de groupes g:
G/[G, G]−→ Atel que f=g◦π.