Groupes

[http://mp.cpgedupuydelome.
fr] dit le 10 aot 2015
Enoncs
Groupes
Morphismes de groupes
Exercice 1 [ 02218 ] [Correction]
Soient n N? et f : R? R dfinie par f (x) = xn .
Montrer que f est un morphisme du groupe (R? , ) dans lui-mme.
En dterminer image et noyau.

Justifier que exp : C C? est un morphisme du groupe (C, +) vers (C? , ).
En dterminer image et noyau.

Soit (G, ? ), (G0 , > ) deux groupes et f : G G0 un morphisme de groupes.
a) Montrer que pour tout sous-groupe H de G, f (H) est un sous-groupe de
(G0 , > ).
b) Montrer que pour tout sous-groupe H 0 de G0 , f 1 (H 0 ) est un sous-groupe de
(G, ? ).

Soit G un groupe not multiplicativement.
Pour a G, on note a lapplication de G vers G dfinie par a (x) = axa1 .
a) Montrer que a est un morphisme du groupe (G, ) dans lui-mme.
b) Vrifier que
a, b G, a b = ab
c) Montrer que a est bijective et dterminer son application rciproque.
d) En dduire que T = {a | a G} muni du produit de composition est un
groupe.

On note Aut(G) lensemble des isomorphismes dun groupe (G, ? ) dans lui-mme.
Montrer que Aut(G) est un sous-groupe du groupe des permutations (SG , ).

Soit (G, ? ) un groupe et a G.
On dfinit une loi de composition interne > sur G par x > y = x ? a ? y.
a) Montrer que (G, > ) est un groupe.
b) Soit H un sous groupe de (G, ? ) et K = sym(a) ? H = {sym(a) ? x/x H}.
Montrer que K est un sous groupe de (G, > ).
c) Montrer que f : x 7 x ? sym(a) est un isomorphisme de (G, ? ) vers (G, > ).

Soit n N tel que n > 2. Dterminer les morphismes du groupe (Sn , ) vers
(C? , ).

Soit un morphisme dun groupe fini (G, ?) vers (C? , ).
On suppose que nest pas une application constante. Calculer
X
(x)
xG
Sous-groupes
Un sous-groupe dun groupe produit est-il ncessairement produit de deux
sous-groupes ?

Soient H et K deux sous-groupes dun groupe (G, ?).
A quelle condition lensemble H K est-il un sous-groupe de (G, ?) ?

Un sous-groupe H de (G, .) est dit distingu si
x H, a G, axa1 H
a) Montrer que le noyau dun morphisme de groupes au dpart de (G, .) est
distingu.
b) Soient H, K deux sous-groupes de (G, .).
Diffusion autorise titre entirement gratuit uniquement - dD
[http://mp.cpgedupuydelome.fr] dit le 10 aot 2015
Enoncs
On suppose le sous-groupe H distingu, montrer que lensemble
Elments dordre fini
HK = {xy/x H, y K}
Soit (G, .) un groupe de cardinal 2n.
a) Justifier que lon dfinit une relation dquivalence R sur G en posant
est un sous-groupe de (G, .).

Montrer que le sous-ensemble form des lments dordre fini dun groupe ablien
en est un sous-groupe.
[Thorme de Lagrange]
Soit H un sous-groupe dun groupe (G, .) fini.
a) Montrer que les ensembles aH = {ax/x H} avec a G ont tous le cardinal
de H.
b) Montrer que les ensembles aH avec a G sont deux deux confondus ou
disjoints.
c) En dduire que le cardinal de H divise celui de G.
d) Application : Montrer que tout lment de G est dordre fini et que cet ordre
divise le cardinal de G.
Exercice 14
Montrer que
[ 02366 ]
[Correction]
o
n
x + y 3/x N, y Z, x2 3y 2 = 1
est un sous-groupe de (R?+ , ).

Soit G un groupe, H un sous-groupe de G, A une partie non vide de G. On pose
AH = {ah/a A, h H}. Montrer que AH = H si, et seulement si, A H.
a) Montrer que tout sous-groupe additif de R qui nest pas monogne est dense
dans R.
b) Soit x R\Q. Montrer quil existe une infinit de (p, q) Z N? tels que

x p < 1

q q2
c) Montrer la divergence de la suite de terme gnral
un =
1
n sin n
xRy x = y ou x = y 1
b) En dduire lexistence dans G dun lment dordre 2.
Soient (G, ? ) un groupe fini commutatif dordre n et a G.
a) Justifier que lapplication x 7 a ? x est une permutation de G.
b) En considrant le produit des lments de G, tablir que an = e.
Quel est le plus petit entier n tel quil existe un groupe non commutatif de
cardinal n ?
Soient a et b deux lments dordre respectifs p et q dun groupe ablien (G, ?).
a) On suppose que p et q sont premiers entre eux.
Montrer que llment ab est dordre pq.
b) On ne suppose plus p et q premiers entre eux.
Llment ab est-il ncessairement dordre ppcm(p, q) ?
Soient a et b deux lments dordre respectifs p et q dun groupe ablien (G, ?).
a) On suppose dans cette question seulement que p et q sont premiers entre eux.
Montrer que llment ab est dordre pq.
b) Soit d un diviseur de p. Montrer quil existe un lment dordre d dans (G, ?).
c) Existe-t-il dans G un lment dordre m = ppcm(p, q) ?
Parties gnratrices
Dans (Sn , ) on considre les permutations

= 1 2 et =
2 ...
Enoncs
a) Calculer k k pour 0 6 k 6 n 2.
b) En dduire que tout lment de Sn peut scrire comme un produit de et de
.

1 2 et le n-cycle
Soit n N tel que n >
3. On considre la transposition =
= 1 2 ... n .
a) Justifier que lensemble {, } forme une partie gnratrice de (Sn , ).
b) Existe-t-il une partie gnratrice de (Sn , ) forme dun seul lment ?

Soit n un entier naturel non nul, (e1 , . . . , en ) la base canonique de E = Rn .
Soit Sn lensemble des permutations de {1, 2, . . . , n}. Soit ti = (1, i).
Pour s Sn , on dfinit us (ei ) = es(i) .
a) Montrer que (t2 , t3 , . . . , tn ) engendre Sn .
b) Interprter gomtriquement us lorsque s est une transposition.
c) Soit s = (1 2 . . . n 1 n). On suppose que s est la compose de p
transpositions. Montrer que p > n 1.
d) Quelle est le cardinal minimal dune famille de transpositions gnratrice de
Sn ?

Soit H un sous-groupe strict dun groupe (G, ?). Dterminer le groupe engendr
par le complmentaire de H dans G.

Soit G un groupe cyclique de cardinal n.
Montrer, que pour tout diviseur d N? de n, G possde un et un seul sous-groupe
de cardinal d.

Soient H et K deux groupes nots multiplicativement.
a) Montrer que si h est un lment dordre p de H et k un lment dordre q de K
alors (h, k) est un lment dordre ppcm(p, q) de H K.
b) On suppose H et K cycliques. Montrer que le groupe produit H K est
cyclique si, et seulement si, les ordres de H et K sont premiers entre eux.

[Groupe quasi-cyclique de Prfer]
Soit p un nombre premier. On pose
n
o
k
Gp = z C; k N, z p = 1
a) Montrer que Gp est un sous-groupe de (C? , ).
b) Montrer que les sous-groupes propres de Gp sont cycliques et quaucun deux
nest maximal pour linclusion.
c) Montrer que Gp nest pas engendr par un systme fini dlments.

Soit n un entier > 3.
a) Montrer que pour tout entier impair a, on a
Groupes cycliques
Soit x est un lment dun groupe cyclique de cardinal n. Calculer xn .

On dsire tablir que tout sous-groupe dun groupe cyclique est lui-mme cyclique.
On introduit (G, ? ) un groupe cyclique de gnrateur a et H un sous-groupe de
(G, ? ).
a) Justifier lexistence dun plus petit entier naturel non nul tel que an H.
b) Etablir qualors H est le groupe engendr par an .
a2
n2
[2n ]
b) Le groupe ((Z/2n Z)? , ) est-il cyclique ?
Exercice 32
Soit
[Correction]
M =
(0)
1
[ 02505 ]
1
..
.
(0)
(0)
..
..
1
0
Mn (C)
Enoncs
a) Calculer le polynme caractristique de M . La matrice M est-elle

diagonalisable
?
? est-elle inversible

b) Soit G = M k /k Z . Montrer que G est une groupe cyclique et prciser son
cardinal.

Soit (G, ?) un groupe cyclique n lment engendr par a.
Pour r N? , on introduit lapplication f : G G dfinie par
x G, f (x) = xr
a) Vrifier que f est un endomorphisme de (G, ?).
b) Dterminer le noyau f .
c) Montrer que limage de f est le sous-groupe engendr par ad avec
d = pgcd(n, r).
d) Pour y G, combien lquation xr = y possde-t-elle de solutions ?

Montrer que les sous-groupes finis du groupe (SO(2), ) des rotations du plan
sont cycliques.
Groupes isomorphes
On note V lensemble des matrices
a
d
c
b
coefficients entiers du type
b c d
a b c
d a b
c d a
et G lensemble des M V inversibles dans M4 (R) et dont linverse est dans V .

a) Quelle est la structure de G ?
b) Soit M V . Montrer que M G si, et seulement si, det M = 1.
c) Donner un groupe standard isomorphe G muni du produit.

Les groupes (Q, +) et (Q? , ) sont-ils isomorphes ?
Corrections
Corrections
Exercice 4 : [nonc]
a) Soient x, y G. On a
Exercice 1 : [nonc]
Pour x R? , on a bien f (x) R? . Pour x, y R?
a (xy) = axya1 = axa1 aya1 = a (x)a (y)

a est donc un endomorphisme du groupe (G, ).
b) Pour tout x G,
f (xy) = (xy)n = xn y n = f (x)f (y)

donc f est un morphisme de (R? , ) vers lui-mme.
ker f = f 1 ({1}) et Imf = {xn /x R? }.
Si n est pair alors
ker f = {1, 1} et Imf = R+?
(a b )(x) = a (bxb1 ) = abxb1 a1 = (ab)x(ab)1 = ab (x)

donc
a b = ab
Si n est impair alors
c) (a a1 ) = 1 = IdG et (a1 a ) = 1 = IdG donc a est bijective et

(a )1 = a1 .
d) Montrons que T est un sous-groupe du groupe des permutations (SG , ).
T SG et IdG T car IdG = 1 .
Soit f, g T , on peut crire f = a et g = b avec a, b G. On a alors
ker f = {1} et Imf = R?

Exercice 2 : [nonc]
On sait
x, y C, exp(x + y) = exp(x) exp(y)
f g 1 = a (b )1 = a b1 = ab1 T
donc exp : C C? est un morphisme de groupes.
car ab1 G.
Ainsi T est un sous-groupe de (SG , ) et donc (T , ) est un groupe.
exp(x) = 1 k Z, x = 2ik
donc
ker exp = {2ik/k Z}
La fonction exponentielle complexe prend toutes les valeurs de C? donc
Im exp = C?
Exercice 3 : [nonc]
a) f (H) G0 , e0 = f (e) f (H) car e H.
Soit y, y 0 f (H), on peut crire y = f (x) et y 0 = f (x0 ) avec x, x0 H.
y>y
01
0 1
= f (x) > f (x )
= f (x) > f (x
01
01
) = f (x ? x
avec x ? x01 H donc y > y 01 f (H).

Ainsi f (H) est un sous-groupe de (G0 , > ).
b) f 1 (H 0 ) G et e f 1 (H 0 ) car f (e) = e0 H 0 .
Soit x, x0 f 1 (H 0 ). On a f (x), f (x0 ) H 0 .
Exercice 5 : [nonc]
Aut(G) SG et IdG Aut(G).
Pour tout f, g Aut(G), on a f g Aut(G) et f 1 Aut(G) par les proprits
sur les automorphismes.
Ainsi Aut(G) est un sous-groupe de (SG , ).
Exercice 6 : [nonc]
a) Soit x, y, z G,
(x > y) > z = (x ? a ? y) ? a ? z = x ? a ? (y ? a ? z) = x > (y > z)
Llment sym(a) est neutre pour la loi >. En effet, pour x G, on a
x > sym(a) = x = sym(a) > x
f (x ? x01 ) = f (x) > f (x01 ) = f (x) > f (x0 )1 H 0

donc x ? x01 f 1 (H 0 ).
Ainsi f 1 (H 0 ) est un sous-groupe de (G, ? ).
Soit x G. Posons y = sym(a) ? sym(x) ? sym(a) G. On a

x > y = y > x = sym(a)
Corrections
b) K G, sym(a) = sym(a) ? e donc sym(a) K.

Soit sym(a) ? x, sym(a) ? y K. On a
(sym(a) ? x) > (sym(a) ? y) > (1)
Exercice 9 : [nonc]
Non. {(x, x)/x Z} est un sous-groupe de (Z2 , +) nest pas produit de deux
sous-groupes.
= sym(a) ? x ? a ? sym(a) ? sym(y) ? a ? sym(a) = sym(a) ? (x ? sym(y)) K
c) Pour x, y G,
f (x ? y) = x ? y ? sym(a) = (x ? sym(a)) > (y ? sym(a)) = f (x) > f (y)
f est un morphisme de groupe et il est bijectif dapplication rciproque
g:x
7 x ? a.
Exercice 7 : [nonc]
Soient un tel morphisme et la transposition qui change
1 et 2. On a 2 = Id

2
0
donc ( ) = 1 do ( ) = 1 ou 1. Soit = i j une transposition
quelconque de Sn . Il existe une permutation Sn telle que 0 = 1 et
alors ( 0 ) = ( ). Sachant enfin que tout lment de Sn est produit de
transpositions on peut conclure :
Si ( ) = 1 alors : 7 1. Si ( ) = 1 alors = (morphisme signature).
Exercice 8 : [nonc]
Si lapplication tait constante, elle serait constante gale 1 car cest un
morphisme. Puisque nest pas constante, il existe a G tel que (a) 6= 1.
On vrifie que lapplication x 7 a ? x est une permutation de G car
Exercice 10 : [nonc]
Si H K ou K H alors H K = K (resp. H) et donc H K est un
sous-groupe de (G, ? )
Inversement, supposons que H K est un sous groupe et que H 6 K. Il existe
alors h H tel que h
/ K.
Pour tout k K, on a k ? h H K car H K est stable.
Si k ? h K alors h = k 1 ? (k ? h) K ce qui est exclu.
Il reste k ? h H qui donne k = (k ? h) ? h1 H. Ainsi K H.
Ainsi si H K est un sous-groupe alors H K ou K H.
a) Soit : G G0 un tel morphisme et H = {x G/(x) = eG0 } son noyau.
On sait dj que H est un sous-groupe de (G, .).
Soient x H et a G. On a
(axa1 ) = (a)(x)(a)1 = (a)eG0 (a)1 = eG0
donc axa1 H.
b) HK G et e = e.e HK.
Soient a, b HK. On peut crire
y G, !x G, y = a ? x
On en dduit
X
(a ? x) =
xG
On a alors
(x)
ab = xyx0 y 0
xG
car les deux sommes comportent les mmes termes. Or (a ? x) = (a)(x) donc
X
a = xy et b = x0 y 0 avec x, x0 H et y, y 0 K
(a ? x) = (a)
xG
X
xG
Puisque z = yx0 y 1 H, on a encore

ab = (xz)(yy 0 ) HK
(x)
Aussi
a1 = y 1 x1 = zy 1 HK
Puisque (a) 6= 1, on conclut

X
xG
(x) = 0
avec z = y 1 x1 y H.
Ainsi HK est bien un sous-groupe de (G, .).
Corrections
Notons T lensemble des lments dordre fini dun groupe ablien (G, ? ) de
neutre e.
On a videmment T G et e T .
Si x, y T avec xn = y m = e alors
(x ? y 1 )mn = xmn ? y mn = e
donc x ? y 1 T .
a) Lapplication f : H aH dfinie par f (x) = ax est bijective.
b) Si aH bH 6= alors b1 a H et alors puisque ax = bb1 ax on a aH bH.
Par symtrie aH = bH.
c) Notons k le nombre densembles aH deux deux distincts. La runion de
ceux-ci est gale G donc par cardinalit CardG = kCardH do CardH | CardG.
d) < x > est un sous-groupe de (G, .) de cardinal gal lordre de llment x.
Notons
n
o
H = x + y 3/x N, y Z, x2 3y 2 = 1
Pourpa H, a =
x + y 3 avec x N, y Z et x2 3y 2 = 1. On a donc
x = 1 + 3y 2 > 3 |y| puis a > 0. Ainsi H R?+ .
1 H car on peut crire 1 = 1 + 0 3 avec 12 3.02 = 1.

Pour a H, on a avec des notations immdiates,
1
=xy 3
a
avec x N, y Z et x2 3(y)2 = 1. Ainsi 1/a H.
Pour a, b H et avec des notations immdiates,
ab = xx0 + 3yy 0 + (xy 0 + x0 y) 3

0
0
0
avec xx0 + 3yy 0 Z,
+ 3yy 0 )2 3(xy 0 + x0 y)2 = 1.
xy + xy0 Z
et (xx
0
Enfin puisque x > 3 |y| et x > 3 |y |, on a xx0 + 3yy 0 > 0 et finalement ab H.
Supposons AH = H.
a A, a = ae AH = H
donc A H.
Supposons A H. Pour x AH, x = ah avec a A, h H. Or a, h H donc
x = ah H.
Ainsi AH H.
Inversement, pour a A (il en existe car A 6= ) et pour tout h H, h = a(a1 h)
avec a1 h H donc h AH. Ainsi H AH puis =.
a) Soit H un tel groupe. Ncessairement H 6= {0} ce qui permet dintroduire
a = inf {h > 0/h H}
Si a 6= 0, on montre que a H puis par division euclidienne que tout x H est
multiple de a . Ainsi H = aZ ce qui est exclu. Il reste a = 0 et alors pour tout
> 0, il existe H ]0, ]. On a alors Z H et donc pour tout x R, il
existe h Z H vrifiant |x h| 6 6 . Ainsi H est dense dans R.
b) Soit x R\Q. Pour N N? , considrons lapplication f : {0, . . . , N } [0, 1[
dfinie par f (k) = kx bkxc. Puisque les N + 1 valeurs prises par f sont dans les
N intervalles [i/N, (i + 1)/N [ (avec i {0, . . . , N 1}), il existe au moins deux
valeurs prises dans le mme intervalle. Ainsi, il existe k < k 0 {0, . . . , N } tel que
|f (k 0 ) f (k)| < 1/N . En posant p = bk 0 xc bkxc Z et q = k 0 k {1, . . . , N },
on a |qx p| < 1/N et donc

x p < 1 < 1

q Nq
q2
En faisant varier N , on peut construire des couples (p, q) distincts et donc affirmer
quil existe une infinit de couple (p, q) Z N? vrifiant

x p < 1

q q2
c) Puisque est irrationnel, il existe une suite de rationnels pn /qn vrifiant

p n < 1

qn qn2
avec qn +.
Corrections
On a alors

1
1
qn
1
1
=
> 1
>
|upn | =

pn sin pn
pn sin (pn qn ) |pn | |pn qn |
pn
Pour n = 4, sil y a un lment dordre 4 dans le groupe, celui-ci est cyclique.

Sinon, tous les lments du groupe vrifient x2 = e. Il est alors classique de
justifier que le groupe est commutatif.
Ainsi la suite (un ) ne tend pas vers 0.

{|sin n| /n N} = {|sin(n + 2k)| /n Z, k Z} = |sin (Z + 2Z)|
Puisque le sous-groupe H = Z + 2Z, nest pas monogne (car irrationnel), H
est dense dans R et par lapplication |sin(.)| qui est une surjection continue de R
sur [0, 1], on peut affirmer que {|sin n| /n N} est dense dans [0, 1].
En particulier, il existe une infinit de n tel que |sin n| > 1/2 et pour ceux-ci
|un | 6 2/n.
Ainsi, il existe une suite extraite de (un ) convergeant vers 0.
Au final, la suite (un ) diverge.
a) La relation est immdiatement rflexive et symtrique.
En discutant selon les cas dgalit, on montre aussi quelle est transitive.
b) Sil nexiste pas dans (G, .) dlment dordre 2, les classes dquivalence de la
relation R comportent toutes deux lments sauf celle de e qui ne comporte quun
lment. Les classes dquivalence tant disjointes de runion G, le cardinal de G
est alors impair ce qui est contraire aux hypothses.
a) On a videmment
(ab)pq = (ap )q (bq )p = e
Inversement, supposons (ab)r = e. On a alors
aqr = (ar )q = (br )q = (bq )r = e
et donc p divise qr. Or p et q sont premiers entre eux donc p divise r.
Mutatis mutandis, on obtient que q divise r et donc pq divise r car p et q sont
premiers entre eux.
Finalement ab est un lment dordre pq exactement.
b) Dans (C? , ), a = 1 est dordre et b = j est dordre 6 tandis que ab = j est
dordre 3.
Plus simplement encore, si x est dordre n alors x x1 est dordre 1.
a) On a videmment
(ab)pq = (ap )q (bq )p = e
a) Puisque a est inversible, a est rgulier ce qui fournit linjectivit de
lapplication x 7 a ? x.
Un argument de cardinalit finie donne la bijectivit de lapplication.
b) Par permutation
Y
Y
Y
x=
(a ? x) = an ?
x
xG
xG
xG
donc a = e.
Notons, pour n = 6 que (S3 , ) est un groupe non commutatif 6 lments.
Un groupe n = 1 lment est videmment commutatif.
Pour n = 2, 3 ou 5, les lments dun groupe n lments vrifient xn = e.
Puisque n est premier, un lment autre que e de ce groupe est un lment
dordre n et le groupe est donc cyclique donc commutatif.
Inversement, supposons (ab)r = e. On a alors

aqr = (ar )q = (br )q = (bq )r = e
et donc p divise qr. Or p et q sont premiers entre eux donc p divise r.
Mutatis mutandis, on obtient que q divise r et donc pq divise r car p et q sont
premiers entre eux.
Finalement ab est un lment dordre pq exactement.
0
b) On peut crire p = dp0 . Considrons alors x = ap .
On a
0
xk = e akp = e p | kp0 d | k
et donc x est un lment dordre k.
c) Ecrivons les dcompositions en facteurs premiers de p et q (avec des facteurs
premiers communs quitte autoriser les exposants tre nuls)
1
N
N
1
p = p
1 . . . pN et q = p1 . . . pN
Corrections
On sait qualors
m=
max(1 ,1 )
p1
max(N ,N )
. . . pN
max( , )
i i
Par la question b), il est possible de dterminer ai lment dordre pi
et
puisque les a1 , . . . , aN sont deux deux premiers entre eux, x = a1 . . . aN est un
lment dordre m comme le montre un raisonnement par rcurrence bas sur le
rsultat de la question a).

a) 1 = 2 3 , 2 2 = 3 4 ,...,
k k = k + 1 k + 2 .
b) Il est connu que toute permutation
de Sn peut scrire comme produit de

transpositions de la forme k k + 1 . Ces dernires peuvent scrire comme
produit de , de , et de 1 . Or n = Id et donc 1 = n1 et par consquent,
1 peut scrire comme produit de .

a) 1 = 2 3 , 2 2 = 3 4 , etc.
Les transpositions de la forme i i + 1 appartiennent au sous-groupe
engendr par et . Or pour 1 6 i < j 6 n, on observe

i j = i i + 1 ... j 1 j ... i i + 1
donc toutes les transpositions appartiennent au sous-groupe engendr par et .
Sachant que toute permutation est produit de transposition, on peut conclure que
{, } engendre le groupe (Sn , ).
b) Le groupe (Sn , ) ntant pas commutatif (n > 3), il nest pas monogne.
a) Pour i 6= j {2, . . . , n},
Notons K le complmentaire de H dans G et montrons hKi = G.
On a videmment hKi G.
Inversement, on a K hKi et il suffit dtablir H hKi pour conclure.
Puisque H est un sous-groupe strict de G, son complmentaire K est non vide et
donc il existe a K.
Pour x H, llment a ? x ne peut appartenir H car sinon a = (a ? x) ? x1
serait lment du sous-groupe H. On en dduit que a ? x K et donc
x = a1 ? (a ? x) hKi
Ainsi
G = H K hKi
et on peut conclure hKi = G.
Soit a un gnrateur du groupe cyclique (G, ?) introduit dans lnonc.
On sait

G = e, a, a2 , . . . , an1 avec an = e
Puisque x est lment de G, il existe k [[0, n 1]] tel que x = ak et alors
xn = akn = e
a) Lensemble des n N? est une partie non vide (car aCardG = e H) de N, elle
possde donc un plus petit lment.
b) Posons b = an . Puisque b appartient au sous-groupe H, < b > H.
Considrons ensuite x H. Il existe p Z tel que x = ap . Soit r le reste de la
division euclidienne de p par n
(i, j) = (1, i) (1, j) (1, i)
p = nq + r avec 0 6 r < n
Toute transposition appartient ht2 , t3 , . . . , tn i et puisque celles-ci engendrent Sn ,
Comme ar = apnq = xbq , on a ar H et par dfinition de n, on obtient r = 0.

Par suite x = anq = bq et donc x < b >. Ainsi H =< b > est cyclique.
Sn = ht2 , t3 , . . . , tn i
b) Si s = (i, j), us est la rflexion par rapport lhyperplan de vecteur normal
ei ej .
c) Si s est le produit de p transpositions alors ker us contient lintersection de p
hyperplans. Ici ker us = {0} donc p > n 1.
d) n 1.
Par isomorphisme, on peut supposer que G = Z/nZ ce qui rend les choses plus
concrtes.
Soient d N? un diviseur de n et d0 son complment n : d0 = n/d.
Corrections

H =< d0 >= 0, d0 , 2d0 , . . . , (d 1)d0 est un sous-groupe de Z/nZ d lments.
Inversement, considrons un sous-groupe H d lments.
Pour tout x
de H, on a d
x=
0 car lordre dun
lment divise celui du groupe.
Par suite n | dx puis d0 | x ce qui donne x
0, d0 , 2d0 , . . . , (d 1)d0 .

Ainsi H 0, d0 , 2d0 , . . . , (d 1)d0 puis lgalit par cardinalit.
10
a) Par la factorisation a2 b2 = (a b)(a + b)
a2
k
a) Gp C? , 1 Gp , pour z Gp , il existe k N tel que z p = 1 et alors
k
(1/z)p = 1 donc 1/z Gp .
k0
Si de plus z 0 Gp , il existe k 0 N vrifiant z 0p et alors

k pk 0 k 0 pk
0
0 pk+k
(zz )
= zp
z 0p
= 1 donc zz 0 Gp .
b) Notons
n
o
k
Upk = z C/z p = 1
Soit H un sous-groupe de Gp diffrent de Gp .
Sil existe une infinit de k N vrifiant Upk H alors H = Gp car Gp est la
runion croissante de Upk .
Ceci tant exclu, on peut introduire le plus grand k N vrifiant Upk H.
Pour ` > k, tous les lments de Up` \Upk engendrent au moins Upk+1 , or
Upk+1 6 H donc H Upk puis H = Upk
H est donc un sous-groupe cyclique et ne peut tre maximal pour linclusion car
inclus dans le sous-groupe propre Upk+1 .
c) Si Gp pouvait tre engendr par un systme fini dlments, il existerait k N
tel que ses lments sont tous racines pk -ime de lunit et alors Gp Upk ce qui
est absurde.
1 = (a2
n3
+ 1)(a2
n3
1)
et en rptant lopration
a2
a) (h, k)n = 1HK p | n et q | n donc (h, k) est un lment dordre ppcm(p, q).
b) Posons p et q les ordres de H et K.
Supposons p et q premiers entre eux.
Si h et k sont gnrateurs de H et K alors (h, k) est un lment dordre
ppcm(p, q) = pq de H K.
Or CardH K = pq donc H K est cyclique.
Inversement, supposons H K cyclique.
Si (h, k) est gnrateur de H K alors h et k sont respectivement gnrateurs de
H et K.
On en dduit que h est un lment dordre p, k dordre q et puisque (h, k) est
dordre ppcm(p, q) et pq, on conclut que p et q sont premiers entre eux.
n2
n2
1 = (a2
n3
+ 1)(a2
n4
+ 1) . . . (a2 + 1)(a2 1)
Il y a n 1 facteurs dans ce produit et ceux-ci sont tous pairs car a est impair.
De plus, les deux derniers facteurs sont a + 1 et a 1 et parmi ces deux figure un
multiple de 4.
n2
n2
On en dduit que 2n divise a2
1 et donc a2
1 [2n ].
n
?
b) Par labsurde supposons (Z/2 Z) cyclique.
Les lments de ce groupe sont les k avec 2 k = 1, ce sont donc les classes des
entiers impairs. Il y en a exactement 2n1 . Si a
est un gnrateur de (Z/2n Z)?
alors a est un entier impair et a
est un lment dordre 2n1 . Or le rsultat
2n2
prcdent donne a
= 1 et donc lordre de a est infrieur 2n2 < 2n1 . Cest

absurde.
a) On obtient M (X) = (1)n (X n 1).
Les racines de M sont les racines de lunit, il y en a n ce qui est la taille de la
matrice et donc M est diagonalisable.
Puisque 0 nest pas racine de M , la matrice M est inversible.
b) Par Cayley-Hamilton, nous savons M n = In et donc M est un lment dordre
fini du groupe (GLn (C), ). Par calcul ou par considration de polynme
minimal, on peut affirmer que n est le plus petit exposant p > 0 tel que M p = In
et donc M est un lment dordre exactement n. On en dduit que G est un
groupe cyclique de cardinal n.
a) Le groupe (G, ?) est ncessairement commutatif car cyclique. Pour tout
x, y G, on a
f (x ? y) = (x ? y)r = xr ? y r = f (x) ? f (y)
b) Pour x G, on peut crire x = ak avec k Z et alors
f (x) = e akr = e
Puisque a est dordre n
f (x) = e n | kr
Corrections
En introduisant d = pgcd(n, r), on peut crire n = dn0 et r = dr0 avec n0 r0 = 1

et alors le thorme de Gauss donne
n | kr n0 | k
11
Puisque R(0 ) G, on a hR(0 )i G.

Inversement, soit R un lment de G. Il existe R tel que R = R(). On peut
crire = q0 + 0 avec q Z et 0 [0, 2[. On a alors
R(0 ) = R()R(0 )q G
Par consquent
D 0E
ker f = an
c) Par lgalit de Bzout, on peut crire nu + rv = d et alors
ad = anu ? arv = arv = f (av ) Imf

Puisque Imf est un sous-groupe, on a dj ad Imf .
Inversement, soit y Imf . On peut crire y = xr avec x de la forme ak o k Z.
On a donc
y = akr

Or d | r et donc y ad . Ainsi Imf ad puis lgalit.
d) Si y
/ Imf , lquation na pas de solution. Sinon, il existe x0 G tel que
xr0 = y et alors
r
xr = y (x ? x1
0 ) =e
Ceci permettre de mettre en correspondance bijective les solutions de lquation
xr = y avec les lments du noyau de f . Dans ce cas, il y a exactement n/n0 = d
solutions lquation.
Commenons par rappeler que les lments de SO(2) sont les matrices

cos sin
R() =
sin
cos
Soit G un sous-groupe fini de (SO(2), ).
Lensemble T = { > 0/R() G} est une partie non vide (car 2 en est lment)
et minore de R. On peut donc introduire
0 = inf T R+
Si 0 > 0 alors 0 T ce qui contredit la dfinition de 0 = inf T car 0 < 0 .

Ncessairement 0 = 0 et donc = q0 ce qui donne R = R(0 )q hR(0 )i.
Finalement
G = hR(0 )i
a) G GL4 (R), G est non vide, stable par passage linverse et par produit car
V lest. Ainsi G est un sous-groupe de GL4 (R) donc un groupe.
b) Si M G alors det M, det M 1 Z et det M det M 1 = det I4 = 1 donc
det M = 1.
Inversement si det M = 1 alors M 1 = t comM V donc M G.
c)
det M = ((a + c)2 (b + d)2 )((a c)2 + (b d)2 )
donc
(
det M = 1
(a + c) (b + d) = 1
(a c) + (b d) = 1
La rsolution de ce systme coefficients entiers donne lordre prs :

a, b, c, d = 1, 0, 0, 0.
Posons J la matrice obtenue pour a = c = d = 0 et b = 1. On vrifie J 4 = I4 .
Lapplication : U2 Z/4Z G dfinie par (, n) = J n est bien dfinie, cest
un morphisme de groupe, injectif et surjectif. Ainsi G est isomorphe U2 Z/4Z
ou plus lgamment Z/2Z Z/4Z.
Non, lquation x2 = 1 admet deux solutions dans (Q? , ) alors que lquation
analogue dans (Q, +), savoir 2x = 0, nadmet quune solution.
Commenons par tablir que 0 est lment de T .

On peut construire une suite (n )n>1 dlments de T convergeant vers 0 .
Puisque lensemble G est fini, lensemble des R(n ) est lui aussi fini. Il existe donc
une infinit dindicesn pour lesquels les n sont gaux modulo 2 une valeur .
Puisque n 0 , il y a une infinit de n gaux 0 et donc 0 T .

Groupes

Transféré par

Droits d'auteur :

Formats disponibles

Groupes

Transféré par

Informations du document

Description originale:

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Groupes

Transféré par

Droits d'auteur :

Formats disponibles

[http://mp.cpgedupuydelome.

fr] dit le 10 aot 2015

Exercice 2 [ 02219 ] [Correction]

Exercice 3 [ 02221 ] [Correction]

Exercice 4 [ 02220 ] [Correction]

Exercice 5 [ 02222 ] [Correction]

Exercice 6 [ 02223 ] [Correction]

Exercice 7 [ 00119 ] [Correction]

Exercice 8 [ 03368 ] [Correction]

Exercice 10 [ 00114 ] [Correction]

Exercice 11 [ 03432 ] [Correction]

[http://mp.cpgedupuydelome.fr] dit le 10 aot 2015

On suppose le sous-groupe H distingu, montrer que lensemble

Elments dordre fini

est un sous-groupe de (G, .).

est un sous-groupe de (R?+ , ).

Diffusion autorise titre entirement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] dit le 10 aot 2015

Exercice 23 [ 00120 ] [Correction]

Exercice 24 [ 02368 ] [Correction]

Exercice 25 [ 03256 ] [Correction]

Exercice 28 [ 00124 ] [Correction]

Exercice 29 [ 00125 ] [Correction]

Exercice 30 [ 02365 ] [Correction]

Exercice 31 [ 03444 ] [Correction]

Exercice 27 [ 00123 ] [Correction]

b) Le groupe ((Z/2n Z)? , ) est-il cyclique ?

Diffusion autorise titre entirement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] dit le 10 aot 2015

a) Calculer le polynme caractristique de M . La matrice M est-elle

Exercice 33 [ 03715 ] [Correction]

Exercice 34 [ 03845 ] [Correction]

coefficients entiers du type

et G lensemble des M V inversibles dans M4 (R) et dont linverse est dans V .

Exercice 36 [ 00122 ] [Correction]

Diffusion autorise titre entirement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] dit le 10 aot 2015

a (xy) = axya1 = axa1 aya1 = a (x)a (y)

f (xy) = (xy)n = xn y n = f (x)f (y)

(a b )(x) = a (bxb1 ) = abxb1 a1 = (ab)x(ab)1 = ab (x)

Si n est impair alors

c) (a a1 ) = 1 = IdG et (a1 a ) = 1 = IdG donc a est bijective et

ker f = {1} et Imf = R?

donc exp : C C? est un morphisme de groupes.

avec x ? x01 H donc y > y 01 f (H).

f (x ? x01 ) = f (x) > f (x01 ) = f (x) > f (x0 )1 H 0

Soit x G. Posons y = sym(a) ? sym(x) ? sym(a) G. On a

[http://mp.cpgedupuydelome.fr] dit le 10 aot 2015

b) K G, sym(a) = sym(a) ? e donc sym(a) K.

Puisque z = yx0 y 1 H, on a encore

Puisque (a) 6= 1, on conclut

Diffusion autorise titre entirement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] dit le 10 aot 2015

1 H car on peut crire 1 = 1 + 0 3 avec 12 3.02 = 1.

ab = xx0 + 3yy 0 + (xy 0 + x0 y) 3

[http://mp.cpgedupuydelome.fr] dit le 10 aot 2015

Pour n = 4, sil y a un lment dordre 4 dans le groupe, celui-ci est cyclique.

Ainsi la suite (un ) ne tend pas vers 0.

Inversement, supposons (ab)r = e. On a alors