(10) Une application du groupe quotient : Supposons que Gest fini et
que l’ordre de Nest premier avec son indice dans G. Montrer que Nest car-
act´eristique dans G, cad., ∀f∈Aut(G), f(N) = N(indication : montrer d’abord
que f(N)⊂N, en montrant que le morphisme compos´e qN◦f|Nest trivial). Cet
exercice g´en´eralise le VI.(10b) de la fiche 6 .
II. Propri´et´e universelle d’un groupe quotient.
(1) Soient Gun groupe, Aun groupe commutatif. Montrer que tout morphisme
de Gdans Ase factorise, de mani`ere unique, `a travers le groupe quotient G/G 0.
(2) Dans cet exercice, on ´etudiera les endomorphismes et automorphismes du
groupe ZZ/nZZ .
(a) Montrer que l’application φ: (End(ZZ/nZZ),◦)→(ZZ/nZZ, ·), φ(f) = f(¯
1),
est un morphisme de mono¨ıdes.
(b) Montrer que φest bijectif (pour la surjectivit´e, utiliser la PU de ZZ/nZZ ).
(c) En d´eduire que le groupe Aut(ZZ/nZZ) des automorphismes de ZZ/nZZ est
isomorphe au groupe (ZZ/nZZ)×des ´el´ements inversibles du mono¨ıde multiplicatif
ZZ/nZZ . On a vu en TD (fiche 1) que (ZZ/nZZ)×={¯
k|k∈[1, n −1] et kest
premier `a n}. En d´eduire que Aut(ZZ/10ZZ) est d’ordre 4, et exhiber ses ´el´ements
explicitement.
(3) Soient Get Hdes groupes, NG.
(a) Montrer que l’application
q∗
N: Hom(G/N , H)→ {f∈Hom(G, H)|N⊂Ker(f)}, q∗
N(g) = g◦qN,
est bien d´efinie et bijective. D´ecrire son application inverse.
(b) Montrer que si Hest commutatif, q∗
G0: Hom(G/G 0, H)→Hom(G, H) est
un isomorphisme de groupes (cf. l’exercice VIII.(1) de la fiche 4).
(c) Montrer que Hom(G/N , H) = {¯
f|f∈Hom(G, H) et N⊂Ker(f)}.
(d) Montrer que Hom(ZZ/nZZ , H) = {fx|x∈Het xn= 1H}, o`u pour x∈H
et k∈ZZ ,fx(¯
k) = xk(utiliser le calcul des morphismes de ZZ dans Heffectu´e
dans l’exercice VIII.(3) de la fiche 4).
III. Applications du premier th´eor`eme d’isomorphismes.
(1) Montrer que Sn/An∼
={−1,1}et que ZZ2/h(0,1)i∼
=ZZ .
(2) Soient Get Hdeux groupes. Montrer que G× {1H}est un sous-groupe
normal de G×H, et que G×H/G × {1H}∼
=H.
(3) Soient G1, G2deux groupes et NiGi,i= 1,2. Montrer que (G1/N1)×
(G2/N2)∼
=(G1×G2).(N1×N2).
(5) Soient f:G→Hun morphisme de groupes et π:G→Qun morphisme
de groupes surjectif. Montrer que fse factorise `a travers Q(cad., il existe un
morphisme ˆ
f:Q→Htel que ˆ
f◦π=f) si et seulement si Ker(π)⊂Ker(f) .