TD Groupes PDF

[http://mp.cpgedupuydelome.
fr] dit le 9 mai 2017 Enoncs 1
Groupes Sous-groupes
Exercice 7 [ 00113 ] [Correction]
Morphismes de groupes Un sous-groupe d'un groupe produit est-il ncessairement produit de deux
sous-groupes ?
Soient n N et f : R R dnie par f (x) = xn .
Montrer que f est un morphisme du groupe (R , ) dans lui-mme. Exercice 8 [ 00114 ] [Correction]
En dterminer image et noyau. Soient H et K deux sous-groupes d'un groupe (G, ).
quelle condition l'ensemble H K est-il un sous-groupe de (G, ) ?
Justier que exp : C C est un morphisme du groupe (C, +) vers (C , ). Exercice 9 [ 03432 ] [Correction]
En dterminer image et noyau. Un sous-groupe H de (G, .) est dit distingu si
x H, a G, axa1 H
Soit (G, ), (G0 , >) deux groupes et f : G G0 un morphisme de groupes. (a) Montrer que le noyau d'un morphisme de groupes au dpart de (G, .) est
(a) Montrer que pour tout sous-groupe H de G, f (H) est un sous-groupe de distingu.
(G0 , >). (b) Soient H, K deux sous-groupes de (G, .).
(b) Montrer que pour tout sous-groupe H 0 de G0 , f 1 (H 0 ) est un sous-groupe de On suppose le sous-groupe H distingu, montrer que l'ensemble
(G, ).
HK = xy x H, y K
est un sous-groupe de (G, .).

On note Aut(G) l'ensemble des isomorphismes d'un groupe (G, ) dans lui-mme.
Montrer que Aut(G) est un sous-groupe du groupe des permutations (SG , ). Exercice 10 [ 02366 ] [Correction]
Montrer que n o
Exercice 5 [ 02223 ] [Correction] x + y 3 | x N, y Z, x2 3y 2 = 1
Soit (G, ) un groupe et a G. est un sous-groupe de (R+ , ).
On dnit 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}. Exercice 11 [ 02648 ] [Correction]
Montrer que K est un sous groupe de (G, >). Soit G un groupe, H un sous-groupe de G, A une partie non vide de G. On pose
(c) Montrer que f : x 7 x sym(a) est un isomorphisme de (G, ) vers (G, >). AH = {ah | a A, h H}. Montrer que AH = H si, et seulement si, A H .
Exercice 6 [ 00119 ] [Correction] Exercice 12 [ 02948 ] [Correction]

Soit n N tel que n 2. Dterminer les morphismes du groupe (Sn , ) vers (a) Montrer que tout sous-groupe additif de R qui n'est pas monogne est dense
(C , ). dans R.
Diusion autorise titre entirement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] dit le 9 mai 2017 Enoncs 2
(b) Soit x R \ Q. Montrer qu'il existe une innit de (p, q) Z N tels que Exercice 17 [ 04053 ] [Correction]
Soit (G, .) un groupe ablien ni de neutre e.
p 1
(a) Soient x et y deux lments de G d'ordres nis p et q premiers entre eux.

x <
q q2
Montrer que l'lment z = xy est d'ordre pq .

(c) Montrer la divergence de la suite de terme gnral (b) On note m le ppcm des ordres des lments de (G, .) et l'on introduit sa
dcomposition en facteurs premiers
1
un =
n sin n m = p N
1 . . . pN
1
lments d'ordre ni Montrer que pour chaque i J1 ; N K, il existe un lment xi dans G d'ordre
i .
p i
Exercice 13 [ 03453 ] [Correction] (c) tablir l'existence dans G d'un lment d'ordre m exactement.
Soit (G, .) un groupe de cardinal 2n.
(a) Justier que l'on dnit une relation d'quivalence R sur G en posant
xRy x = y ou x = y 1 Dans tout ce sujet n dsigne un naturel non nul.
On note (n) l'indicatrice d'Euler de n, Un l'ensemble des racines n-ime de
(b) En dduire l'existence dans G d'un lment d'ordre 2. l'unit et Un l'ensemble des racines de l'unit d'ordre exactement n. Enn, pour
d N , on pose
Y
d = (X z)
Exercice 14 [ 00116 ] [Correction] zUd
Soient (G, ) un groupe ni commutatif d'ordre n et a G.
(a) Justier que l'application x 7 a x est une permutation de G. (a) crire en Python la fonction liste(n) qui renvoie
(b) En considrant le produit des lments de G, tablir que an = e.

k J1 ; nK k n = 1
crire la fonction phi(n) qui renvoie (n) puis sumphi(n) qui renvoie
Quel est le plus petit entier n tel qu'il existe un groupe non commutatif de
X
(d)
cardinal n ? d|n
(b) Montrer
Y
Xn 1 = d
Soient a et b deux lments d'ordre respectifs p et q d'un groupe ablien (G, ). d|n
(a) On suppose que p et q sont premiers entre eux.
Montrer que l'lment ab est d'ordre pq . (c) Justier
X
(b) On ne suppose plus p et q premiers entre eux. (d) = n
L'lment ab est-il ncessairement d'ordre ppcm(p, q) ? d|n
(d) Montrer que n est un polynme coecients entiers.

On pose Qn = X n 1 et on choisit p, q, r des nombres premiers vriant (a) Montrer que (t2 , t3 , . . . , tn ) engendre Sn .
(b) Interprter gomtriquement us lorsque s est une transposition.
p<q <r <p+q
(c) Soit s = (1 2 . . . n 1 n). On suppose que s est la compose de p
On pose transpositions. Montrer que p n 1.
Qp Qq Qr
n = pqr et R = (d) Quel est le cardinal minimal d'une famille de transpositions gnratrice de
X 1 Sn ?
(e) Montrer
Qn R
n =
Qpq Qqr Qrp Groupes cycliques
(f) Montrer qu'il existe un polynme S tel que
n R = X S pq Soit x est un lment d'un groupe cyclique de cardinal n. Calculer xn .
(g) En dduire que le coecient de X r dans n est gal 2.

Soient H et K deux groupes nots multiplicativement.
Exercice 19 [ 02649 ] [Correction] (a) Montrer que si h est un lment d'ordre p de H et k un lment d'ordre q de
Soit (G, .) un groupe ni tel que K alors (h, k) est un lment d'ordre ppcm(p, q) de H K .
g G, g 2 = e (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.
o e est le neutre de G. On suppose G non rduit {e}.
Montrer qu'il existe n N tel que G est isomorphe ((Z/2Z)n , +).
Parties gnratrices (Groupe quasi-cyclique de Prfer)Soit p un nombre premier. On pose

n k
o
Gp = z C | k N, z p = 1
Dans (Sn , ) on considre les permutations
(a) Montrer que Gp est un sous-groupe de (C , ).
2 et = 1 (b) Montrer que les sous-groupes propres de Gp sont cycliques et qu'aucun d'eux

= 1 2 ... n
n'est maximal pour l'inclusion.
(a) Calculer k k pour 0 k n 2.
(c) Montrer que Gp n'est pas engendr par un systme ni d'lments.
(b) En dduire que tout lment de Sn peut s'crire comme un produit de et de
.
Soit n un entier 3.
Soit n un entier naturel non nul, (e1 , . . . , en ) la base canonique de E = Rn . (a) Montrer que pour tout entier impair a, on a
Soit Sn l'ensemble des permutations de {1, 2, . . . , n}. Soit ti = (1, i). n2
Pour s Sn , on dnit us (ei ) = es(i) . a2 1 [2n ]

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

Exercice 26 [ 02505 ] [Correction] On note V l'ensemble des matrices coecients entiers du type
Soit

a b c d

0 1 (0) d a b c
.. ..
. . c d a b

M = Mn (C)
.. b c d a
.

(0) 1
1 (0) 0 et G l'ensemble des M V inversibles dans M4 (R) et dont l'inverse est dans V .
(a) Calculer le polynme caractristique de M . La matrice M est-elle (a) Quelle est la structure de G ?
diagonalisable ? est-elle inversible ? (b) Soit M V . Montrer que M G si, et seulement si, det M = 1.
(b) Soit G = M k | k Z . Montrer que G est une groupe cyclique et prciser
(c) Donner un groupe standard isomorphe G muni du produit.
son cardinal.

Les groupes (Q, +) et (Q , ) sont-ils isomorphes ?
Soit (G, ) un groupe cyclique n lment engendr par a.
Pour r N , on introduit l'application f : G G dnie par Groupe ni
x G, f (x) = xr Exercice 32 [ 04200 ] [Correction]
Soit H et K deux sous-groupes d'un groupe ni G not multiplicativement. On
(a) Vrier que f est un endomorphisme de (G, ). note HK = {hk | h H et k K}. Montrer
(b) Dterminer le noyau f .
Card(HK) Card(H K) = Card H Card K .
(c) Montrer que l'image de f est le sous-groupe engendr par ad avec
d = pgcd(n, r).
(d) Pour y G, combien l'quation xr = y possde-t-elle de solutions ?

Montrer que les sous-groupes nis du groupe (SO(2), ) des rotations du plan
sont cycliques.

Soit un entier n 2. Combien le groupe (Z/nZ, +) admet-il de sous-groupes ?

[http://mp.cpgedupuydelome.fr] dit le 9 mai 2017 Corrections 5
Corrections Exercice 4 : [nonc]

Aut(G) SG et IdG Aut(G).
Exercice 1 : [nonc] Pour tout f, g Aut(G), on a f g Aut(G) et f 1 Aut(G) par les proprits
Pour x R , on a bien f (x) R . Pour x, y R sur les automorphismes.
Ainsi Aut(G) est un sous-groupe de (SG , ).
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 Im f = {xn | x R }. Exercice 5 : [nonc]
Si n est pair alors (a) Soit x, y, z G,
Ker f = {1, 1} et Im f = R+
Si n est impair alors (x>y)>z = (x a y) a z = x a (y a z) = x>(y>z)
Ker f = {1} et Im f = R
L'lment sym(a) est neutre pour la loi >. En eet, pour x G, on a
Exercice 2 : [nonc] x>sym(a) = x = sym(a)>x

On sait
x, y C, exp(x + y) = exp(x) exp(y) Soit x G. Posons y = sym(a) sym(x) sym(a) G. On a
donc exp : C C est un morphisme de groupes. x>y = y>x = sym(a)
exp(x) = 1 k Z, x = 2ik
(b) K G, sym(a) = sym(a) e donc sym(a) K .
donc Soit sym(a) x, sym(a) y K . On a
Ker exp = {2ik | k Z}
La fonction exponentielle complexe prend toutes les valeurs de C donc (sym(a)x)>(sym(a)y)>(1) = sym(a)xasym(a)sym(y)asym(a) = sym(a)(x
Im exp = C (c) Pour x, y G,
f (x y) = x y sym(a) = (x sym(a))>(y sym(a)) = f (x)>f (y)

Exercice 3 : [nonc]
(a) f (H) G0 , e0 = f (e) f (H) car e H . f est un morphisme de groupe et il est bijectif d'application rciproque
Soit y, y 0 f (H), on peut crire y = f (x) et y 0 = f (x0 ) avec x, x0 H . g : x 7 x a.
y>y 01 = f (x)>f (x0 )1 = f (x)>f (x01 ) = f (x x01 )

avec x x01 H donc y>y 01 f (H). Exercice 6 : [nonc]
Ainsi f (H) est un sous-groupe de (G0 , >). Soient un tel morphisme et la transposition qui change 1 et 2. On a 2 = Id
donc ( ) = 1 d'o ( ) = 1 ou 1. Soit = i j une transposition
0
2

(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 . quelconque de Sn . Il existe une permutation Sn telle que 0 = 1 et
alors ( 0 ) = ( ). Sachant enn que tout lment de Sn est produit de
f (x x01 ) = f (x)>f (x01 ) = f (x)>f (x0 )1 H 0 transpositions on peut conclure :
Si ( ) = 1 alors : 7 1. Si ( ) = 1 alors = (morphisme signature).
donc x x01 f 1 (H 0 ).
Ainsi f 1 (H 0 ) est un sous-groupe de (G, ).

Exercice 7 : [nonc] Exercice 10 : [nonc]

Non, {(x, x) | x Z} est un sous-groupe de (Z2 , +) mais n'est pas produit de deux Notons n o
sous-groupes de (Z, +) ! 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
Exercice 8 : [nonc] x = 1 + 3y 2 > 3 |y| puis a > 0. Ainsi H R+ .

Si H K ou K H alors H K = K (resp. H ) et donc H K est un 1 H car on peut crire 1 = 1 + 0 3 avec 12 3.02 = 1.
sous-groupe de (G, ) Pour a H , on a avec des notations immdiates,
Inversement, supposons que H K est un sous groupe et que H 6 K . Il existe 1
alors h H tel que h / K. =xy 3
a
Pour tout k K , on a k h H K car H K est stable.
Si k h K alors h = k1 (k h) K ce qui est exclu. avec x N, y Z et x2 3(y)2 = 1. Ainsi 1/a H .
Il reste k h H qui donne k = (k h) h1 H . Ainsi K H . Pour a, b H et avec des notations immdiates,
Ainsi si H K est un sous-groupe alors H K ou K H .
ab = xx0 + 3yy 0 + (xy 0 + x0 y) 3
Exercice 9 : [nonc] avec xx0 + 3yy 0 Z, xy 0 + xy 0 Z

et (xx
0
+ 3yy 0 )2 3(xy 0 + x0 y)2 = 1.
Enn puisque x > 3 |y| et x > 3 |y |, on a xx0 + 3yy 0 0 et nalement ab H .
0 0
(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 Exercice 11 : [nonc]
Supposons AH = H .
(axa1 ) = (a)(x)(a)1 = (a)eG0 (a)1 = eG0
a A, a = ae AH = H
donc axa1 H . donc A H .
(b) HK G et e = e.e HK . Supposons A H . Pour x AH , x = ah avec a A, h H . Or a, h H donc
Soient a, b HK . On peut crire x = ah H .
Ainsi AH H .
a = xy et b = x0 y 0 avec x, x0 H et y, y 0 K 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 =.
On a alors
ab = xyx0 y 0
Puisque z = yx0 y 1 H , on a encore Exercice 12 : [nonc]
(a) Soit H un tel groupe. Ncessairement H 6= {0} ce qui permet d'introduire
ab = (xz)(yy 0 ) HK
a = inf {h > 0 | h H}
Aussi
a1 = y 1 x1 = zy 1 HK 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
avec z = y 1 x1 y H .
tout > 0, il existe H ]0 ; ]. On a alors Z H et donc pour tout
Ainsi HK est bien un sous-groupe de (G, .).
x R, il existe h Z H vriant |x h| . Ainsi H est dense dans
R.

(b) Soit x R \ Q. Pour N N , considrons l'application Exercice 13 : [nonc]

(a) La relation est immdiatement rexive et symtrique.
f : {0, . . . , N } [0 ; 1[
En discutant selon les cas d'galit, on montre aussi qu'elle est transitive.
dnie par f (k) = kx bkxc. Puisque les N + 1 valeurs prises par f sont (b) S'il n'existe pas dans (G, .) d'lment d'ordre 2, les classes d'quivalence de la
dans les N intervalles [i/N ; (i + 1)/N [ (avec i {0, . . . , N 1}), il existe au relation R comportent toutes deux lments sauf celle de e qui ne comporte
moins deux valeurs prises dans le mme intervalle. Ainsi, il existe qu'un lment. Les classes d'quivalence tant disjointes de runion G, le
k < k 0 {0, . . . , N } tel que cardinal de G est alors impair ce qui est contraire aux hypothses.
1
|f (k 0 ) f (k)| <
N Exercice 14 : [nonc]
. En posant p = bk0 xc bkxc Z et q = k0 k {1, . . . , N }, on a (a) Puisque a est inversible, a est rgulier ce qui fournit l'injectivit de
|qx p| < 1/N et donc l'application x 7 a x.
Un argument de cardinalit nie donne la bijectivit de l'application.

x p 1 1
< < 2
q Nq q (b) Par permutation Y Y Y
En faisant varier N , on peut construire des couples (p, q) distincts et donc x= (a x) = an x
armer qu'il existe une innit de couple (p, q) Z N vriant xG xG xG
donc an = e.

x p 1
<
q q2
Exercice 15 : [nonc]
(c) Puisque est irrationnel, il existe une suite de rationnels pn /qn vriant 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 d'un groupe n lments vrient xn = e.

p n < 1

qn qn2 Puisque n est premier, un lment autre que e de ce groupe est un lment
d'ordre n et le groupe est donc cyclique donc commutatif.
avec qn +. Pour n = 4, s'il y a un lment d'ordre 4 dans le groupe, celui-ci est cyclique.
On a alors Sinon, tous les lments du groupe vrient x2 = e. Il est alors classique de
justier que le groupe est commutatif.

1 1 1
1 qn 1
|upn | = =
pn sin pn pn sin (pn qn ) |pn | |pn qn | pn
Ainsi la suite (un ) ne tend pas vers 0. Exercice 16 : [nonc]

(a) On a videmment
{|sin n| | n N} = {|sin(n + 2k)| | n Z, k Z} = |sin (Z + 2Z)| (ab)pq = (ap )q (bq )p = e
Puisque le sous-groupe H = Z + 2Z, n'est pas monogne (car irrationnel), Inversement, supposons (ab)r = e. On a alors
H est dense dans R et par l'application |sin(.)| qui est une surjection continue
aqr = (ar )q = (br )q = (bq )r = e
de R sur [0 ; 1], on peut armer que {|sin n| | n N} est dense dans [0 ; 1].
En particulier, il existe une innit de n tel que |sin n| 1/2 et pour ceux-ci et donc p divise qr. Or p et q sont premiers entre eux donc p divise r.
|un | 2/n. Mutatis mutandis, on obtient que q divise r et donc pq divise r car p et q sont
Ainsi, il existe une suite extraite de (un ) convergeant vers 0. premiers entre eux.
Au nal, la suite (un ) diverge. Finalement ab est un lment d'ordre pq exactement.

(b) Dans (C , ), a = 1 est d'ordre 2 et b = j est d'ordre 6 tandis que ab = j (c) Le polynme n est de degr (n) car les racines de l'unit d'ordre n sont les
est d'ordre 3.
Plus simplement encore, si x est d'ordre n alors x x1 est d'ordre 1. e2ik/n avec k J1 ; nK, k n = 1
L'identit prcdente donne la relation voulue en passant celle-ci au degr.

Exercice 17 : [nonc] (d) Par rcurrence forte sur l'entier n 1.
(a) Puisque G est ablien La proprit est immdiate quand n = 1. Supposons la proprit vrie
q p
jusqu'au rang n 1.
z pq = xpq y pq = (xp ) (y q ) = e On a Y
De plus, pour k N, si z k = e alors z kp = e donc y kp = e ce qui entrane que Xn 1 = d n
q divise kp. Or p et q sont premiers entre eux donc q divise k . De mme, on d|n,d6=n
obtient que p divise k. nouveau puisque p et q sont premiers entre eux, on Le polynme X n 1 est coecients entiers et d|n,d6=n l'est aussi. De plus,
Q
conclut que pq divise k. L'ordre de z est donc exactement pq . le coecient dominant de ce dernier vaut 1. On ralisant une division
(b) Puisque pi i est facteur du ppcm des ordres des lments de (G, .), il existe un euclidienne, le calcul de n dtermine un polynme coecients entiers.
lment x dans G d'ordre pi i d pour un certain d N . L'lment xi = xd est (e) Les diviseurs de n sont 1, p, q, r, pq, qr, rp et n donc
alors d'ordre exactement pi i .
(c) Une petite rcurrence et l'lment y = x1 . . . xm fait l'aaire. Qn = (X 1)p q r pq qr rp n
De mme
Exercice 18 : [nonc] Qpq = (X 1)p q pq , etc
(a) On commence par dnir une fonction calculant le pgcd de deux entiers La relation demande s'en dduit.
def gcd(a,b): (f) Par ce qui prcde, on peut crire
if a % b == 0: return b
else: return gcd(b, a % b) (n R)Qpq Qqr Qrp = R(Qn Qpq Qqr Qrp )
def liste(n):
0 n'est pas racine de Qpq Qqr Qrp , ni de R, mais
L = []
for k in range(1,n): Qn Qpq Qqr Qrp = X pq +
if gcd(n,k) == 1: L.append(k)
return L On en dduit que 0 est racine de multiplicit pq de n R.
def phi(n): (g) Puisque r < pq , le coecient de X r dans n est celui de X r dans P . Or
return len(liste(n))
def sumphi(n): P = (X p 1)(X q 1)(1 + X + + X r1 )
return sum(liste(n))
= (1 X p X q + X p+q )(1 + X + + X r1 )
(b) Un est un groupe n. Les lments de ce groupe ont un ordre divisant n et
pour tout d divisant n, les lments du groupe Un d'ordre d sont exactement Le coecient de X r dans ce polynme est 2 car p + q > r.
ceux de Ud . On en dduit que Un est la runion disjointe des Ud pour d
parcourant les diviseurs de n. On en dduit
Y Y Exercice 19 : [nonc]
Xn 1 = (X z) = d Le groupe (G, .) est ablien. En eet, pour tout x G, on a x1 = x donc, pour
zUd d|n x, y G, (xy)1 = xy . Or (xy)1 = y 1 x1 = yx donc xy = yx.

Pour 0, 1 Z/2Z et x G, posons Exercice 22 : [nonc]

Soit a un gnrateur du groupe cyclique (G, ) introduit dans l'nonc.
0.x = e et 1.x = x On sait
G = e, a, a2 , . . . , an1 avec an = e

On vrie qu'on dnit alors un produit extrieur sur G munissant le groupe
ablien (G, .) d'une structure de Z/2Z-espace vectoriel. En eet, pour (x, y) G2 Puisque x est lment de G, il existe k J0 ; n 1K tel que x = ak et alors
et (, ) (Z/2Z)2 on a xn = akn = e
( + ).x = .x + .x, .(x + y) = .x + .y, .(.x) = ().x et 1.x = x

De plus, cet espace est de dimension nie car Card G < +, il est donc (a) (h, k)n = 1HK p | n et q | n donc (h, k) est un lment d'ordre
isomorphe l'espace ((Z/2Z)n , +, .) pour un certain n N . ppcm(p, q).
En particulier, le groupe (G, .) est isomorphe ((Z/2Z)n , +).
(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 d'ordre
Exercice 20 : [nonc] ppcm(p, q) = pq de H K .
(a) 1 = 2 3 , 2 2 = 3 4 ,..., k k = k + 1 k + 2 .
Or Card H K = pq donc H K est cyclique.
Inversement, supposons H K cyclique.
(b) Il est connu que toute permutation de Sn peut s'crire comme produit de Si (h, k) est gnrateur de H K alors h et k sont respectivement
transpositions de la forme k k + 1 . Ces dernires peuvent s'crire comme gnrateurs de H et K .
produit de , de , et de 1 . Or n = Id et donc 1 = n1 et par On en dduit que h est un lment d'ordre p, k d'ordre q et puisque (h, k) est
consquent, 1 peut s'crire comme produit de . d'ordre ppcm(p, q) et pq , on conclut que p et q sont premiers entre eux.
Exercice 21 : [nonc] Exercice 24 : [nonc]

(a) Gp C , 1 Gp , pour z Gp , il existe k N tel que z p = 1 et alors
k
(a) Pour i 6= j {2, . . . , n},

(1/z)p = 1 donc 1/z Gp .
k
k0
(i, j) = (1, i) (1, j) (1, i) Si de plus z 0 Gp , il existe k0 N vriant z 0p et alors
0 pk 0 k0
pk
Toute transposition appartient ht2 , t3 , . . . , tn i et puisque celles-ci 0 pk+k
(zz ) = z pk
z 0p = 1 donc zz 0 Gp .
engendrent Sn , (b) Notons
Sn = ht2 , t3 , . . . , tn i
n k
o
Upk = z C | z p = 1
(b) Si s = (i, j), us est la rexion par rapport l'hyperplan de vecteur normal Soit H un sous-groupe de Gp dirent de Gp .
ei ej . S'il existe une innit de k N vriant Upk H alors H = Gp car Gp est la
(c) Si s est le produit de p transpositions alors Ker(us IdE ) contient runion croissante de Upk .
l'intersection de p hyperplans (ceux correspondant aux transpositions comme Ceci tant exclu, on peut introduire le plus grand k N vriant Upk H .
dcrit ci-dessus). Or, ici Ker(us IdE ) = Vect(e1 + + en ) et donc p n 1. Pour ` > k, tous les lments de Up` \ Upk engendrent au moins Upk+1 , or
(d) n 1 en consquence de ce qui prcde. Upk+1 6 H donc H Upk puis H = Upk
H est donc un sous-groupe cyclique et ne peut tre maximal pour l'inclusion
car inclus dans le sous-groupe propre Upk+1 .

(c) Si Gp pouvait tre engendr par un systme ni d'lments, il existerait (a) Le groupe (G, ) est ncessairement commutatif car cyclique. Pour tout
k N tel que ses lments sont tous racines pk -ime de l'unit et alors x, y G, on a
Gp Upk ce qui est absurde.
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

(a) Par la factorisation a2 b2 = (a b)(a + b) f (x) = e akr = e
a2
n2 n3
1 = (a2 + 1)(a2
n3
1)
Puisque a est d'ordre n
f (x) = e n | kr
et en rptant l'opration En introduisant d = pgcd(n, r), on peut crire n = dn0 et r = dr0 avec
n2 n3 n4 0 0
n0 r0 = 1 et alors le thorme de Gauss donne
a2 1 = (a2 + 1)(a2 + 1) . . . (a2 + 1)(a2 1)
n | kr n0 | k
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 gure Par consquent
un multiple de 4.
D 0E
Ker f = an
On en dduit que 2n divise a2 1 et donc a2 1 [2n ].
n2 n2
(b) Par l'absurde supposons (Z/2n Z) cyclique. (c) Par l'galit de Bzout, on peut crire nu + rv = d et alors
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 ad = anu arv = arv = f (av ) Im f
(Z/2n Z) alors a est un entier impair et a est un lment d'ordre 2n1 . Or le
Puisque Im f est un sous-groupe, on a dj ad Im f .

rsultat prcdent donne a2 = 1 et donc l'ordre de a est infrieur
n2
Inversement, soit y Im f . On peut crire y = xr avec x de la forme ak o

2n2 < 2n1 . C'est absurde. k Z. On a donc
y = akr
Or d | r et donc y a . Ainsi Im f ad puis l'galit.

d

(d) Si y / Im f , l'quation n'a pas de solution. Sinon, il existe x0 G tel que
(a) On obtient M (X) = (1)n (X n 1). xr0 = y et alors
Les racines de M sont les racines de l'unit, il y en a n ce qui est la taille de xr = y (x x1 r
0 ) =e
la matrice et donc M est diagonalisable.
Puisque 0 n'est pas racine de M , la matrice M est inversible. Ceci permettre de mettre en correspondance bijective les solutions de
l'quation xr = y avec les lments du noyau de f . Dans ce cas, il y a
(b) Par Cayley-Hamilton, nous savons M n = In et donc M est un lment
exactement n/n0 = d solutions l'quation.
d'ordre ni du groupe (GLn (C), ). Par calcul ou par considration de
polynme minimal, on peut armer que n est le plus petit exposant p > 0 tel
que M p = In et donc M est un lment d'ordre exactement n. On en dduit
que G est un groupe cyclique de cardinal n. Exercice 28 : [nonc]
Commenons par rappeler que les lments de SO(2) sont les matrices

cos sin
Exercice 27 : [nonc] R() =
sin cos

Soit G un sous-groupe ni de (SO(2), ). Finalement

L'ensemble T = { > 0 | R() G} est une partie non vide (car 2 en est H =< a >
lment) et minore de R. On peut donc introduire
De plus, en appliquant le raisonnement prcdent avec k = n (ce qui est possible
0 = inf T R+ car n = 0 H ), on obtient que a est un diviseur de n.
Inversement, considrons un diviseur a de n. On peut crire
Commenons par tablir que 0 est lment de T .
On peut construire une suite (n )n1 d'lments de T convergeant vers 0 . n = aq avec q N
Puisque l'ensemble G est ni, l'ensemble des R(n ) est lui aussi ni. Il existe donc
et on peut alors dcrire les lments du groupe engendr par a, ce sont
une innit d'indicesn pour lesquels les n sont gaux modulo 2 une valeur .
Puisque n 0 , il y a une innit de n gaux 0 et donc 0 T . 0, a, 2.a, . . . , (q 1)a
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 On constate alors que les diviseurs de n dterminent des sous-groupes deux
crire = q0 + 0 avec q Z et 0 [0 ; 2[. On a alors deux distincts de (Z/nZ, +).
On peut conclure qu'il y a autant de sous-groupe de (Z/nZ, +) que de diviseurs
R(0 ) = R()R(0 )q G positifs de n.
Si 0 > 0 alors 0 T ce qui contredit la dnition de 0 = inf T car 0 < 0 .
Ncessairement 0 = 0 et donc = q0 ce qui donne R = R(0 )q hR(0 )i.
Finalement Exercice 30 : [nonc]
G = hR(0 )i (a) G GL4 (R), G est non vide, stable par passage l'inverse et par produit car
V l'est. 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
Exercice 29 : [nonc] det M = 1.
On note x la classe d'un entier x dans Z/nZ. Inversement si det M = 1 alors M 1 = t Com M V donc M G.
Soit H un sous-groupe de Z/nZ.
On peut introduire (c)
det M = ((a + c)2 (b + d)2 )((a c)2 + (b d)2 )
a = min k > 0, k H
car toute partie non vide de N possde un plus petit lment. donc 2 2
(a + c) (b + d) = 1
Considrons alors hai le groupe engendr par la classe de a. On peut dcrire ce det M = 1 2 2
(a c) + (b d) = 1
groupe
hai = {q.a | q Z} La rsolution de ce systme coecients entiers donne l'ordre prs :
a, b, c, d = 1, 0, 0, 0.
C'est le plus petit sous-groupe contenant l'lment a car il est inclus dans tout
Posons J la matrice obtenue pour a = c = d = 0 et b = 1. On vrie J 4 = I4 .
sous-groupe contenant cet lment. Par consquent hai est inclus dans H .
L'application : U2 Z/4Z G dnie par (, n) = J n est bien dnie,
Montrons qu'il y a en fait galit.
c'est un morphisme de groupe, injectif et surjectif. Ainsi G est isomorphe
Soit k H . Par division euclidienne de k par a, on crit
U2 Z/4Z ou plus lgamment Z/2Z Z/4Z.
k = aq + r avec r {0, . . . , a 1}
On a alors k = q.a + r et donc, par oprations dans le groupe H , on obtient Exercice 31 : [nonc]
r = k q.a H . On ne peut alors avoir r > 0 car cela contredirait la dnition de Non, l'quation x2 = 1 admet deux solutions dans (Q , ) alors que l'quation
a. Il reste donc r = 0 et par consquent k = q.a hai analogue dans (Q, +), savoir 2x = 0, n'admet qu'une solution.

Introduisons l'application f : H K G dnie par f (h, k) = hk. L'ensemble
HK est exactement l'ensemble des valeurs prises par f .
On tudie l'ensemble des antcdents de chaque valeur prise par f .
Soit y une valeur prise par f sur un certain couple (h, k) H K . Dterminons
les autres couples (h0 , k0 ) H K envoys sur y . Si (h0 , k0 ) est un tel couple, on a
h0 k 0 = hk et donc h1 h0 = kk 01 . Notons a cette valeur. Par oprations, l'lment
a est commun aux sous-groupes H et K et permet d'crire h0 = ha et k 0 = a1 k .
Inversement, si h0 = ha et k0 = a1 k avec a H K , h0 et k0 sont des lments de
H et K de produit y . L'ensemble des antcdents de y est donc
f 1 {y} = (ha, a1 k) a H K .

chaque valeur de a correspond un couple (ha, a1 k) distinct, l'ensemble

f 1 {y} a donc le cardinal de H K .
Rsumons, les valeurs de l'application f sont les lments de H K et chacun est
une valeur prise Card(H K) fois. On a donc
Card(HK) Card(H K) = Card(H K) = Card H Card K .

TD Groupes PDF

Transféré par

Informations du document

Titre original

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

TD Groupes PDF

Transféré par

Droits d'auteur :

Formats disponibles

[http://mp.cpgedupuydelome.

fr] dit le 9 mai 2017 Enoncs 1

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

Exercice 6 [ 00119 ] [Correction] Exercice 12 [ 02948 ] [Correction]

Diusion autorise titre entirement gratuit uniquement - dD

(d) Montrer que n est un polynme coecients entiers.

Diusion autorise titre entirement gratuit uniquement - dD

(g) En dduire que le coecient de X r dans n est gal 2.

Parties gnratrices (Groupe quasi-cyclique de Prfer)Soit p un nombre premier. On pose

Diusion autorise titre entirement gratuit uniquement - dD

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

Exercice 31 [ 00122 ] [Correction]

Exercice 28 [ 03845 ] [Correction]

Exercice 29 [ 02364 ] [Correction]

Diusion autorise titre entirement gratuit uniquement - dD

Corrections Exercice 4 : [nonc]

Exercice 2 : [nonc] x>sym(a) = x = sym(a)>x

Im exp = C (c) Pour x, y G,

f (x y) = x y sym(a) = (x sym(a))>(y sym(a)) = f (x)>f (y)

y>y 01 = f (x)>f (x0 )1 = f (x)>f (x01 ) = f (x x01 )

Diusion autorise titre entirement gratuit uniquement - dD

Exercice 7 : [nonc] Exercice 10 : [nonc]

Exercice 9 : [nonc] avec xx0 + 3yy 0 Z, xy 0 + xy 0 Z

Diusion autorise titre entirement gratuit uniquement - dD

(b) Soit x R \ Q. Pour N N , considrons l'application Exercice 13 : [nonc]

Ainsi la suite (un ) ne tend pas vers 0. Exercice 16 : [nonc]

Diusion autorise titre entirement gratuit uniquement - dD

L'identit prcdente donne la relation voulue en passant celle-ci au degr.

Diusion autorise titre entirement gratuit uniquement - dD

Pour 0, 1 Z/2Z et x G, posons Exercice 22 : [nonc]

( + ).x = .x + .x, .(x + y) = .x + .y, .(.x) = ().x et 1.x = x

Exercice 21 : [nonc] Exercice 24 : [nonc]

(a) Pour i 6= j {2, . . . , n},

Diusion autorise titre entirement gratuit uniquement - dD

(b) Pour x G, on peut crire x = ak avec k Z et alors

Inversement, soit y Im f . On peut crire y = xr avec x de la forme ak o

Diusion autorise titre entirement gratuit uniquement - dD

Soit G un sous-groupe ni de (SO(2), ). Finalement

Diusion autorise titre entirement gratuit uniquement - dD

chaque valeur de a correspond un couple (ha, a1 k) distinct, l'ensemble

Diusion autorise titre entirement gratuit uniquement - dD

Vous aimerez peut-être aussi

Diusion autorise titre entirement gratuit uniquement - dD

(d) Montrer que n est un polynme coecients entiers.

Diusion autorise titre entirement gratuit uniquement - dD

(g) En dduire que le coecient de X r dans n est gal 2.

Diusion autorise titre entirement gratuit uniquement - dD

Diusion autorise titre entirement gratuit uniquement - dD

Diusion autorise titre entirement gratuit uniquement - dD

Diusion autorise titre entirement gratuit uniquement - dD

Diusion autorise titre entirement gratuit uniquement - dD

Diusion autorise titre entirement gratuit uniquement - dD

Diusion autorise titre entirement gratuit uniquement - dD

Diusion autorise titre entirement gratuit uniquement - dD

Soit G un sous-groupe ni de (SO(2), ). Finalement

Diusion autorise titre entirement gratuit uniquement - dD

Diusion autorise titre entirement gratuit uniquement - dD