Enoncs : Michel Emsalem,

Corrections : Pierre Dbes

Exo7

Morphisme, sous-groupe distingu, quotient

Exercice 1
Soit G un groupe tel que lapplication x x1 soit un morphisme. Montrer que G est commutatif.
Indication H

[002136]

Exercice 2
Soient G un groupe et n > 1 un entier tels que lapplication x xn soit un automorphisme de G. Montrer que
pour tout lment x de G, xn1 appartient au centre de G.
Correction H

[002137]

Exercice 3
Montrer que le groupe des automorphismes du groupe Z/2Z Z/2Z est isomorphe au groupe symtrique S3 .
Correction H

[002138]

Exercice 4
Montrer quun sous-groupe dindice 2 dans un groupe G est distingu dans G.
Correction H

[002139]

Exercice 5
Soit G un groupe et H un sous-groupe. On suppose que le produit de deux classes gauche modulo H est une
classe gauche modulo H. Montrer que H est distingu dans G.
Correction H

[002140]

Exercice 6
Soit G un groupe et ' une relation dquivalence sur G. On suppose que cette relation est compatible avec la
loi de groupe, cest--dire que
x, y G x0 , y0 G

x ' x0

et y ' y0

alors xy ' x0 y0

Montrer que la classe H de llment neutre 1 est un sous-groupe distingu de G et que

x, x0 G

x ' x0

est

quivalent

Correction H

x0 x1 H

[002141]

Exercice 7
Soit G un groupe et K H G deux sous-groupes. On suppose que H est distingu dans G et que K est
caractristique dans H (i.e. stable par tout automorphisme de H). Montrer qualors K est distingu dans G.
Donner un exemple de groupe G et de deux sous-groupes K H G, H tant distingu dans G et K tant
distingu dans H, mais K ntant pas distingu dans G.
Correction H

[002142]

Exercice 8
(a) Montrer que pour tous entiers premiers entre eux m, n > 0, les deux groupes (Z/mnZ) et (Z/mZ)
(Z/nZ) sont isomorphes. En dduire que (mn) = (m)(n), o est la fonction indicatrice dEuler.
(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) .
Indication H

[002143]

Exercice 9
(a) Montrer que si m et n sont des entiers premiers entre eux et quun lment z dun groupe G vrifie zm = zn = e
o e dsigne llment neutre de G, alors z = e.
(b) Montrer que si m et n sont deux entiers premiers entre eux, lapplication
: m n mn
qui au couple (s,t) fait correspondre le produit st est un isomorphisme de groupes
Indication H

[002144]

Exercice 10
Montrer que les groupes 4 et 2 2 ne sont pas isomorphes. De faon gnrale montrer que si m et n sont
des entiers qui ne sont pas premiers entre eux, les groupes mn et m n ne sont pas isomorphes.
Correction H

[002145]

Exercice 11
Soit n et d deux entiers tels que d divise n. On dfinit une application f : n d qui s associe sn/d . Montrer
que f est un morphisme surjectif de groupes dont le noyau est n/d .
Indication H

[002146]

Exercice 12
Soit f : G H un morphisme de groupes finis. Soit G0 un sous-groupe de G. Montrer que lordre de f (G0 )
divise les ordres de G0 et de H.
Indication H

[002147]

Exercice 13
Soit f : G H un morphisme de groupes finis. Soit G0 un sous-groupe de G dordre premier lordre de H.
Montrer que G0 ker( f ).
Indication H

[002148]

Exercice 14
Soit G un groupe fini et H et K deux sous-groupes de G. On suppose que H est distingu dans G, que |H| et
|G/H| sont premiers entre eux et |H| = |K|. Montrer que H = K.
Correction H

[002149]

Exercice 15

Soit f un morphisme de groupes f : Q Q

>0 , Q tant muni de laddition et Q>0 muni de la multiplication.
Calculer f (n) en fonction de f (1) pour tout entier n > 0. Montrer que les deux groupes prcdents ne sont pas
isomorphes.
Correction H

[002150]

Exercice 16
Trouver tous les morphismes du groupe additif Q dans lui mme.
Mme question de Q dans Z.
2

Mme question de Z/mZ dans Z.

Indication H

[002151]

Exercice 17
Etant donns deux entiers m, n > 0, dterminer tous les morphismes de groupe de Z/mZ dans Z/nZ, puis tous
les automorphismes de Z/nZ.
Indication H

[002152]

Exercice 18
Soit G un groupe et H un sous groupe distingu de G dindice n. Montrer que pour tout a G, an H. Donner
un exemple de sous-groupe H non distingu de G pour lequel la conclusion prcdente est fausse.
Correction H

[002153]

Exercice 19
Soit G un groupe fini et H un sous-groupe distingu dordre n et dindice m. On suppose que m et n sont
premiers entre eux. Montrer que H est lunique sous-groupe de G dordre n.
Correction H

[002154]

Exercice 20
Montrer que SLn (R) est un sous-groupe distingu du groupe GLn (R) et que le groupe quotient est isomorphe
R .
Indication H

[002155]

Exercice 21
On considre les groupes suivants :
T = {z C | |z| = 1}

n = {z C | zn = 1}

= {z C | n

zn = 1}

(a) Montrer les isomorphismes suivants :

R/Z ' T

C /R
>0 ' T

C /R ' T

T /n ' T

C /n ' C

(b) Montrer que ' Q/Z. Quels sont les sous-groupes finis de ?
(c) Montrer quun sous-groupe de type fini de Q contenant Z est de la forme q1 Z. En dduire la forme des
sous-groupes de type fini de Q/Z et de .
(d) Soit p un nombre premier. Montrer que p = {z C | n N
de type fini ?

z p = 1} est un sous-groupe de . Est-il

Correction H

[002156]

Exercice 22
Soit G un sous-groupe dindice fini du groupe multiplicatif C . Montrer que G = C .
Correction H

[002157]

Exercice 23
Soit G un groupe et H un sous-groupe contenu dans le centre Z(G) de G. Montrer que H est distingu dans G
et que, si le groupe quotient G/H est cyclique, G = Z(G).
Indication H

[002158]

Exercice 24
Montrer quun groupe dordre p2 o p est un nombre premier est ablien. (On utilisera que le centre dun pgroupe est non trivial, ce qui est une consquence classique de la formule des classes (voir chapitre suivant)).
3

Indication H

[002159]

Exercice 25
(a) Soit p un nombre premier. Montrer que tout morphisme de groupes entre Fnp et Fmp est une application F p
-linaire.
(b) Montrer que le groupe des automorphismes de Z/pZ est isomorphe au groupe multiplicatif Fp .
(c) Dterminer le nombre dautomorphismes de Fnp .
Correction H

[002160]

Exercice 26
Dterminer le centre du groupe GLn (F p ) des automorphismes de (F p )n .
Indication H

[002161]

Exercice 27
Soit p un nombre premier. Montrer quun groupe ablien fini, dont tous les lments diffrents de llment
neutre sont dordre p, est isomorphe (Z/pZ)n .
Correction H

[002162]

Exercice 28
(a) Soit G un groupe et H un sous-groupe distingu de G. On note la surjection canonique : G G/H.
Montrer que lordre dun lment x de G est un multiple de lordre de (x).
(b) Pour tout x G on pose x lapplication de G dans G dfinie par x (y) = xyx1 . Montrer que x est un
automorphisme de G et que lapplication
x x
est un morphisme de groupes de G dans Aut(G). Quel est le noyau de ce morphisme ?
(c) On suppose que G est fini et que H est un sous-groupe distingu dont lordre est le plus petit nombre premier
p divisant lordre de G. Montrer que pour tout x G lordre de la restriction H de x est un diviseur de p 1
et de lordre de G. En dduire que x restreint H est lidentit pour tout x et donc que H est contenu dans le
centre de G.
Indication H

[002163]

Exercice 29
Soit G un groupe. On appelle groupe des commutateurs de G et lon note D(G) le sous-groupe de G engendr
par les lments de la forme xyx1 y1 . Montrer que D(G) est distingu dans G et que le quotient G/D(G)
est ablien. Montrer que D(G) est le plus petit sous-groupe distingu de G tel que le quotient de G par ce
sous-groupe soit ablien.
Indication H

[002164]

Exercice 30
Soit G un groupe dordre p3 o p est un nombre premier. Montrer que si G nest pas commutatif, Z(G) = D(G)
et que ce sous-groupe est dordre p.
Correction H

[002165]

Retrouver cette fiche et dautres

exercices de maths sur
exo7.emath.fr
4

Indication pour lexercice 1 N

(xy)1 = x1 y1 xy = yx.
Indication pour lexercice 8 N
(a) est standard. En utilisant (a), on obtient (Z/15Z) ' Z/2Z Z/4Z, lequel nest pas cyclique puisque tous
les lments sont dordre 1, 2 ou 4. Le reste ne pose pas de grandes difficults.
Indication pour lexercice 9 N
(a) Bzout. (b) est injectif et ensembles de dpart et darrive ont mme cardinal.
Indication pour lexercice 11 N

n/d
e2ik/d = e2ik/n
(k Z).
Indication pour lexercice 12 N
f (G0 ) est un sous-groupe de H isomorphe G0 /(ker( f ) G0 ).
Indication pour lexercice 13 N
Rsulte de lexercice 12.
Indication pour lexercice 16 N
Les morphismes du groupe (Q, +) dans lui-mme sont de la forme x ax avec a Q. Les morphismes du
groupe (Q, +) dans (Z, +) sont, parmi les prcdents, ceux dont limage est dans Z ; il ny a que le morphisme
nul. Les morphismes du groupe (Z/mZ, +) dans (Z, +) sont dtermins par lentier f (1) qui doit vrifier
m f (1) = 0 ; il ny a que le morphisme nul, si m 6= 0.
Indication pour lexercice 17 N
Lensemble Hom(Z/mZ, Z/nZ) des morphismes de groupe de Z/mZ dans Z/nZ est un groupe ablien pour
laddition naturelle des morphismes. On note le pgcd de m et n et m0 et n0 les entiers m/ et n/ . Si p : Z
Z/mZ dsigne la surjection canonique, la correspondance associant tout f Hom(Z/mZ, Z/nZ) llment
f p(1) induit un isomorphisme de groupe entre Hom(Z/mZ, Z/nZ) et le sous-groupe n0 Z/nZ du groupe
additif Z/nZ, lequel est isomorphe Z/ Z.
Lensemble Aut(Z/nZ) des automorphismes de Z/nZ est un groupe pour la composition. La correspondance
prcdente induit un isomorphisme entre Aut(Z/nZ) et le groupe (Z/nZ) des inversibles de Z/nZ.
Indication pour lexercice 20 N
Le morphisme dterminant de GLn (R) dans R est surjectif et de noyau SLn (R).
Indication pour lexercice 23 N
Si est un lment de G dont la classe modulo H engendre G/H, alors tout lment de G peut scrire h m
avec h H et m Z.
Indication pour lexercice 24 N
Appliquer lexercice 23 avec H = Z(G).
Indication pour lexercice 26 N
Exercice classique dalgbre linaire : Z(GLn (F p )) = F
p Idn (o Idn dsigne la matrice identit dordre n).
5

Indication pour lexercice 28 N

Les questions (a) et (b) ne prsentent aucune difficult.
Pour la question (c), noter que, pour tout x G, on a (x )|G| = 1, et que la restriction de x H appartient
Aut(H) ' Aut(Z/pZ) (et utiliser lexercice 25).
Indication pour lexercice 29 N
Aucune difficult. Observer que tout conjugu dun commutateur est un commutateur et quun quotient G/H
est ablien si et seulement si pour tous u, v G, on a uvu1 v1 H.

Correction de lexercice 2 N
Soient x, y G quelconques. De (xy)n = xn yn , on dduit (yx)n1 = xn1 yn1 puis (yx)n = yxn yn1 et donc
yn xn = yxn yn1 , ce qui donne yn1 xn = xn yn1 . Ainsi, pour tout y G, yn1 commute tous les lments de la
forme xn avec x G, et est donc dans le centre de G, puisque lapplication x xn est suppose surjective.
Correction de lexercice 3 N
Tout automorphisme du groupe G = Z/2Z Z/2Z permute les trois lments dordre 2, cest--dire lensemble G des trois lments non triviaux. La correspondance qui Aut(Z/2Z Z/2Z) associe sa restriction G induit un morphisme : Aut(Z/2Z Z/2Z) S3 . Tout morphisme Aut(Z/2Z Z/2Z) tant
dtermin par sa restriction G , ce morphisme est injectif. De plus, tout automorphisme linaire (pour la
structure de Z/2Z-espace vectoriel de Z/2Z Z/2Z) est un automorphisme de groupes. Il y a 6 tels automorphismes (autant quil y a de bases). Limage de contient donc au moins 6 lments. Comme cest un
sous-groupe de S3 , cest S3 lui-mme et est un isomorphisme.
Correction de lexercice 4 N
Le sous-groupe H est la fois la classe gauche et la classe droite modulo H de llment neutre. Si [G :
H] = 2, son complmentaire H c dans G est donc lautre classe, droite et gauche. Classes droite et classes
gauche coincident donc, soit gH = Hg et donc gHg1 = Hgg1 = H pour tout g G.
Correction de lexercice 5 N
Daprs lhypothse, pour tout x G, il existe z G tel que xH x1 H = zH. On en dduit xHx1 zH. Cela
entraine que 1 zH et donc que z H. Do finalement xHx1 H.
Correction de lexercice 6 N
Etant donns y, z H, on a y ' 1 et z ' 1. La compatibilit de la loi donne dune part yz ' 1, soit yz H, et
dautre part yy1 ' y1 soit y1 H. Cela montre que H est un sous-groupe de G. Pour tout x G, on a aussi
xyx1 ' x1x1 = 1 et donc xyx1 H. Le sous-groupe H est donc distingu.
De plus, pour x, x0 G, si x ' x0 , alors par compatibilit de la loi, on a x0 x1 ' xx1 = 1, cest--dire x0 x1 H.
Rciproquement, si x0 x1 H, alors x0 x1 ' 1, et donc, par compatibilit de la loi, x ' x0 .
Correction de lexercice 7 N
Pour tout g G, la conjugaison cg : G G par g induit un automorphisme de H si H est distingu dans G. Si
de plus K est caractristique dans H, alors K est stable par cg . Do K est alors distingu dans G.
Le sous-ensemble V4 du groupe symtrique S4 consistant en lidentit et les trois produits de transpositions
disjointes : (1 2)(3 4), (1 3)(2 4) et (1 4)(2 3) est un sous-groupe (vrification immdiate) qui est distingu :
cela rsulte de la formule g(i j)(k l)g1 = (g(i) g( j))(g(k) g(l)) pour i, j, k, l {1, 2, 3, 4} distincts. Le sousgroupe K (dordre 2) engendr par (1 2)(3 4) est distingu dans V4 (car V4 est ablien). Mais K nest pas
distingu dans S4 (comme le montre encore la formule prcdente).
Correction de lexercice 10 N
Le groupe mn a un lment dordre mn. En revanche tout lment x m n vrifie x = 1 avec =
ppcm(m, n) et est donc dordre un diviseur de , lequel est < mn si m et n ne sont pas premiers entre eux. Les
groupes mn et m n ne peuvent donc pas tre isomorphes.
Correction de lexercice 14 N
Considrons la surjection canonique s : G G/H. Daprs lexercice 12, |s(K)| divise pgcd(|K|, |G/H|) qui
est gal pgcd(|H|, |G/H|) (puisque |H| = |K|) et vaut donc 1. Conclusion : s(K) = {1}, cest--dire K H.
Do K = H puisquils ont mme ordre.

Correction de lexercice 15 N
On a f (n) = f (1)n pour tout entier n > 0. Mais on a aussi f (1/n)n = f (1) pour tout n > 0. Cela nest pas
possible car un nombre rationnel positif 6= 0, 1 ne peut tre une puissance n-ime dans Q pour tout n > 0. (Pour
ce dernier point, noter par exemple qutre une puissance n-ime dans Q entrane que tous les exposants de la
dcomposition en facteurs premiers sont des multiples de n). Les deux groupes (Q, +) et (Q
+ , ) ne sont donc
pas isomorphes.
Correction de lexercice 18 N
On a n = |G/H|. Pour toute classe aH G/H, on a donc (aH)n = H cest--dire, an H = H ou encore an
H. Cela devient faux si H nest pas distingu dans G. Par exemple le sous-groupe H de S3 engendr par la
transposition (1 2) est dindice 3 dans S3 et, pour a = (2 3), on a a3 = a
/ H.
Correction de lexercice 19 N
Soit H 0 un sous-groupe de G dordre n et dindice m. Pour tout h H 0 , on a hn = 1 et hm H (voir lexercice
18). Puisque n et m sont premiers en eux, on peut trouver u, v Z tels que um + vn = 1. On obtient alors
h = (hm )u (hn )v H. Do H 0 H et donc H = H 0 puisque |H| = |H 0 |.
Correction de lexercice 21 N
(a) La correspondance x e2ix induit un morphisme R T , surjectif et de noyau Z. Do R/Z ' T . La cor2
2
respondance z z/|z| induit lisomorphisme C /R
+ ' T . Similairement z z /|z| fournit lisomorphisme
C /R ' T . Les isomorphismes T /n ' T et C /n ' C sobtiennent partir de la correspondance z zn .
(b) La correspondance x e2ix induit un morphisme Q , surjectif et de noyau Z. Do Q/Z ' . Si G
est un sous-groupe fini de , alors il existe m N tel que G m . Les sous-groupes du groupe cyclique m
sont les n o n|m.
(c) Soit G un sous-groupe de Q de type fini, cest--dire engendr par un nombre fini de rationnels p1 /q1 , . . . , pr /qr .
On a alors q1 qr G Z. Soit q le plus petit entier > 0 tel que qG Z. Le sous-groupe qG est de la forme aZ
avec a N premier avec q (car lexistence dun facteur commun contredirait la minimalit de q). On obtient
G = (a/q)Z. Si de plus Z G alors 1 G et scrit donc 1 = ka/q avec k Z, ce qui donne ka = q. Comme
pgcd(a, q) = 1, on a ncessairement a = 1 et donc G = (1/q)Z.
Soit s : Q Q/Z la surjection canonique. Si G est un sous-groupe de type fini de Q/Z, alors G = s1 (G) est
un sous-groupe de Q, contenant Z et de type fini (si p1 /q1 , . . . , pr /qr sont des antcdents par s de gnrateurs
de G, alors 1, p1 /q1 , . . . , pr /qr engendrent G). Daprs ce qui prcde, on a G = q1 Z et donc G = q1 Z/Z, qui est
isomorphe Z/qZ.
Via lisomorphisme de la question (b), on dduit les sous-groupes de Q/Z de type fini : ce sont les sous-groupes
{e2ik/q | k Z} = q avec q dcrivant N .
(d) On vrifie sans difficult que pour tout nombre premier p, p est un sous-groupe de . Il nest pas de
type fini : en effet le sous-groupe de Q/Z qui lui correspond par lisomorphisme de la question (b) est engendr
par les classes de rationnels 1/pn modulo Z, n dcrivant N. Un tel sous-groupe G na pas de dnominateur
commun, cest--dire, il nexiste pas dentier q Z tel que qG G. En consquence il ne peut pas tre de type
fini.
Correction de lexercice 22 N
Soit z C quelconque et C une racine n-ime de z. Le sous-groupe G est distingu dans C (puisque C est
commutatif). Si n est lindice de G dans C, on a donc n = z G (voir lexercice 18). Do C G. Linclusion
inverse est triviale.
Correction de lexercice 25 N
(a) Soit : Fnp Fmp un morphisme de groupes. Pour tout n Z, on note n Z/pZ = F p sa classe modulo
p. Tout lment x Fnp peut scrire x = (x1 , . . . , xn ) avec x = (x1 , . . . , xn ) Zn . On a alors (n x) = (nx) =
8

(nx) = n(x) = n (x). Le morphisme est donc compatible avec les lois externes de Fnp et Fmp . Comme il
est aussi additif, cest une application F p -linaire.
(b) Considrons lapplication V : Aut(Z/pZ) Z/pZ qui tout automorphisme associe (1). Cette application est valeurs dans Z/pZ \ {0} (si Aut(Z/pZ), alors ker() = {0}). Cest un morphisme de Aut(Z/pZ)
0
muni de la composition vers le groupe multiplicatif Z/pZ \ {0} = F
p : en effet si , Aut(Z/pZ) et si on
0
0
pose (1) = c (classe de c Z modulo p), alors ( )(1) = (c) = c(1) = c (1) = 0 (1) (1) =
(1) 0 (1). Ce morphisme V est de plus injectif puisque tout automorphisme de Z/pZ est dtermin par
(1). Enfin, pour tout a Z/pZ non nul, la correspondance n a n induit un automorphisme de Z/pZ tel
que (1) = a. Limage du morphisme V est donc tout F
p . Ce qui tablit lisomorphisme demand.
(c) Daprs la question (a), il sagit de compter le nombre dautomorphismes linaires du F p -espace vectoriel
Fnp , qui est gal au nombre de bases de Fnp , cest--dire (pn 1)(pn p) (pn pn1 ).
Correction de lexercice 27 N
Soit G un groupe ablien fini tel que pG = {0}. Pour tout entier n Z et pour tout g G, llment ng ne dpend
que de la classe de n modulo p ; on peut le noter n g. La correspondance (n, g) n g dfinit une loi externe sur
le groupe additif (Z/pZ)n et lui confre ainsi une structure de F p -espace vectoriel. Cet espace vectoriel, tant
fini, est de dimension finie. Il est donc isomorphe comme espace vectoriel, et en particulier comme groupe
(Z/pZ)n pour un certain entier n > 0.
Correction de lexercice 30 N
Le centre Z(G) est ni trivial (car G est un p-groupe) ni gal G (car G non ablien). En utilisant lexercice
23, on voit quil nest pas non plus dordre p2 . Il est donc dordre p. Mais alors G/Z(G) est dordre p2 et est
donc ablien (exercice 24). Daprs lexercice 29, on a alors D(G) Z(G). Comme D(G) 6= {1} (sinon G serait
ablien), on a D(G) = Z(G).