5
Exercice 4. Soit H:= {Id,(1,2)(3,4),(1,3)(2,4),(1,4)(2,3)}le sous-ensemble
de G:= S4(groupe sym´etrique de l’ensemble {1,2,3,4}) compos´e par l’identit´e
et tous les produits de deux 2-cycles `a supports disjoints.
(1) Est-ce que Hest un sous-groupe de G?
(2) Est-il normal dans G?
(3) Quelle est la cardinalit´e du quotient G/H ?
(4) Prouver que G/H n’est pas un groupe ab´elien.
Solution.
(1) Comme (i, j)=(j, i), on constate que pour tous σ, τ ∈H\ {Id}, on
peut trouver i, j, k, l ∈ {1,2,3,4}deux `a deux distincts tels que σ=
(i, j)(k, l), τ = (i, k)(j, l). On d´eduit alors des formules
σ◦τ= (i, l)(j, k) ((i, j)(k, l))−1= (ij)(kl)
que Hest un sous-groupe de G.
(2) Les ´el´ements de Hdiff´erents de l’identit´e de Hsont pr´ecis´ement tous les
´el´ements de Gdont la d´ecomposition en cycles disjoints (unique `a ordre
pr`es) est compos´ee de deux transpositions. Pour σ∈G, la formule de
conjugaison des cycles implique que
σ◦(a, b)(c, d)◦σ−1=σ◦(a, b)◦σ−1◦σ◦(c, d)◦σ−1= (σ(a), σ(b))(σ(c), σ(d))
pour toutes transpositions disjointes (a, b)(c, d)∈G.
L’´el´ement σ◦(a, b)(c, d)◦σ−1appartient donc `a Hpuisque σ(a),σ(b),σ(c),
et σ(d) sont distincts. Ainsi, Hest normal dans G.
(3) On a #(gH) = #Hpour tout g∈G(c’est une cons´equence directe du
fait qui gh =gh0si et seulement si h=h0). Donc G/H est un groupe de
cardinal #G/#H= 4!/4 = 6.
(4) On a
(1,2)H◦(1,3)H= ((1,2)(1,3))H= (1,3,2)H
et
(1,3)H◦(1,2)H= ((1,3)(1,2))H= (1,2,3)H
mais (1,3,2)H6= (1,2,3)Hpuisque
(1,3,2)−1(1,2,3) = (1,2,3)2= (1,3,2),
qui n’appartient pas `a H.