Universit´e Lille 1 Alg`ebre
2010/11 M51.MIMP
Fiche n◦2: Morphisme, sous-groupe distingu´e, quotient
Exercice 1 Soient G,G0deux groupes et fun homomorphisme de Gdans G0. Montrer que
si A⊂G, alors f(hAi) = hf(A)i. Montrer par contre qu’il est faux que si A0⊂G0, alors
f−1(hA0i) = hf−1(A0)i.
Exercice 2 Soit Gun groupe tel que l’application x→x−1soit un morphisme. Montrer que
Gest commutatif.
Exercice 3 D´eterminer tous les homomorphismes de groupes de Z/3Zdans Z/7Z, de Z/3Z
dans Z/12Z, de Z/12Zdans Z/3Z.
Exercice 4 Soient Gun groupe et n>1 un entier tels que l’application x→xnsoit un
automorphisme de G. Montrer que pour tout ´el´ement xde G,xn−1appartient au centre de G.
Exercice 5 Montrer que le groupe des automorphismes du groupe Z/2Z×Z/2Zest isomorphe
au groupe sym´etrique S3.
Exercice 6 Montrer qu’un sous-groupe d’indice 2 dans un groupe Gest distingu´e dans G.
Exercice 7 Soit Gun groupe et Hun sous-groupe. On suppose que le produit de deux classes
`a gauche modulo Hest une classe `a gauche modulo H. Montrer que Hest distingu´e dans G.
Exercice 8 Soit Gun groupe et 'une relation d’´equivalence sur G. On suppose que cette
relation est compatible avec la loi de groupe, c’est `a dire que
∀x, y ∈G∀x0, y0∈G x 'x0et y'y0alors xy 'x0y0
Montrer que la classe Hde l’´el´ement neutre 1 est un sous-groupe distingu´e de Get que
∀x, x0∈G x 'x0est ´equivalent `a x0x−1∈H
Exercice 9 Soit Gun groupe et K⊂H⊂Gdeux sous-groupes. On suppose que Hest
distingu´e dans Get que Kest caract´eristique dans H(i.e. stable par tout automorphisme de
H). Montrer qu’alors Kest distingu´e dans G.
Donner un exemple de groupe Get de deux sous-groupes K⊂H⊂G,H´etant distingu´e dans
Get K´etant distingu´e dans H, mais Kn’´etant pas distingu´e dans G.
Exercice 10 (a) Montrer que pour tous entiers m, n > 0 premiers entre eux, les deux groupes
(Z/mnZ)×et (Z/mZ)××(Z/nZ)×sont isomorphes. En d´eduire que ϕ(mn) = ϕ(m)ϕ(n), o`u
ϕest la fonction indicatrice d’Euler.
(b) Le groupe multiplicatif (Z/15Z)×est-il cyclique ? Montrer que (Z/8Z)×'Z/2Z×Z/2Z,
que (Z/16Z)×'Z/4Z×Z/2Z. Etudier le groupe multiplicatif (Z/24Z)×.
1