Exercice 18 Sous-groupes distingués/ Groupes quotients
Pour les exemples suivants, vérifier que Hest distingué dans Get déterminer les quotients :
a) G= GLn(k),H= SLn(k)(pour kun corps)
b) G= On(R),H= SOn(R)
c) G=Z/2×Z/4,H=h(0,2)i(resp. H=h(1,2)i, resp. H=h(1,1)i)
d) G= H8(les quaternions) et H=h−1i(resp. H=hii)
Exercice 19 Normalisateur, exo 31 p. 88 D-F
Soient Gun groupe et Hun sous-groupe.
a) Montrer que Hest distingué dans NG(H).
b) Montrer que NG(H)est le plus grand sous-groupe de Gdans lequel Hest distingué.
Exercice 20 Sous-groupes distingués/ Groupes quotients/ Groupe diédral
On note D2nle n-ème groupe diédral. Soit Hun sous-groupe strict distingué de D2n.
a) Montrer que si nest impair alors Hest un sous-groupe du groupe des rotations. Dé-
terminer les Hpossibles.
b) Si nest pair, montrer que D2nadmet deux sous-groupes distingués isomorphes à D2n
2
et que ce sont les seuls Hpossibles qui contiennent une symétrie.
c) Déterminer les quotients de D2n.
Exercice 21 Groupe diédral, exo 7 p. 52 D-F
Soit n∈Zet n>3. Montrer que :
1. Z(D2n) = {1}, si nest impair
2. Z(D2n) = {1, rk}, si n= 2k.
Exercice 22 Abélianisé, exo 41 p. 89, Prop. 7 p. 169, Ex. (3) p. 171 D-F
Soit Gun groupe fini. On note le groupe dérivé D(G)le sous-groupe de Gengendré par les
commutateurs (c’est-à-dire les éléments de la forme ghg−1h−1,g, h ∈G).
a) Monter que D(G)est un sous-groupe distingué de G.
b) Montrer que le quotient G/D(G)est abélien.
c) Montrer que G/D(G)est le plus gros quotient abélien de Gau sens que si HCGet
G/H est abélien, alors D(G)6H.
d) Montrer que si D(G)6H, alors HCGet G/H est abélien.
e) Soit ϕ:G→Aun morphisme dans un groupe abélien A. Montrer que ϕse factorise
par la projection canonique G→G/D(G).
f) G/D(G)s’appelle l’abélianisé de Get se note parfois Gab. Calculer l’abélianisé du groupe
diédral D2n.
Exercice 23 Groupes quotients/ Ordre d’un élément/ Isomorphismes, exo 14 p. 86,
ex. 21 p. 96 D-F
On considère le groupe additif Q/Z.
a) Montrer que chaque classe à gauche de Zdans Qcontient exactement un représentatif
q∈Qavec 06q < 1.
b) Montrer que chaque élément de Q/Zest d’ordre fini mais qu’il existe des éléments
d’orde arbitrairement grand.
c) Montrer que Q/Zest le groupe de torsion de R/Z.
d) Montrer que Q/Zest isomorphe au groupe multiplicatif des racines d’unité de C∗.
e) Montrer que Q/Zn’a pas de sous-groupe propre d’indice fini.