Fiche de TD n 1-SRIT 2-

Exercice 1
Examiner chacune des propositions suivantes et donner sa valeur de vérité.
Justi…er votre reponse.
i) Tout groupe d’ordre inférieur ou égal à 5 est abélien.
ii) Tout groupe …ni est cyclique.
iii) Tout groupe monogène est abélien.
iv) Tout sous groupe d’un groupe cyclique est cyclique.
v) G étant un groupe, tout sous groupe H de G; tel que [G : H] = 2; est
distingué.
vi) Si H C G et [G : H] = 2023; alors x2023 2 H:
vii) Les groupes (R ; ) et (C ; ) sont isomorphes.
viii) Les groupes Z et Q sont isomorphes.
ix) Les groupes (Q; +) et (Q+ ; ) sont isomorphes.
Solutions:
i) Vrai, en e¤et:
- si G = feg ; on a e2 = e:
- Tout groupe d’ordre p 2 f2; 3; 5g est cyclique car p est premier.
- si jGj = 4; alors ou bien pour tout x 2 G; x2 = e =) G est abélien.
ii) Faux, en e¤et (S3 ; ) n’est commutatif, (Dn ; ) n’est pas monogène.
iii) Vrai, voir cours.
iv) Vrai, voir cours (Tout ss gpe d’un groupe monogène est monogène et
tout sous ens. d’un ens. …ni, est …ni).
v) Si H est d’indice 2, Alors 8x 2 H:
- Si x 2 H; alors xH = H = Hx:
- Si x 2 G H; on a une partition (réunion disjointe) de G en deux classes
à gauche: G = H [ xH. De même on a une partition de G en deux classes à
droite: G = H [ Hx pour ce même x. On en déduit xH = Hx: Le sous-groupe
H est donc normal dans G:
vi) Vrai, en e¤et:
- H C G, donc G=H est un groupe d’ordre 2023; constitué des classes suivant
H. Ainsi
- Par le théorème de Lagrange, (xH)2023 = H; pour classe xH:
- Comme (xH)2023 = x2023 H = H =) x2023 2 H car gH = H () g 2 H:
vii) Faux, C contient des éléments d’ordre 2 : i et i:
a
viii) Faux: Z =< 1 > est cyclique, mais Q =< > ne l’est pas. si Q =<
b
a a
> était cyclique, alors chaque élément de Q serait de la forme n ; n 2 Z, ce
b b
1a
qui n’est pas le cas pour 2 Q.
2b
ix) Faux; il n’exixte pas d’isomorphe entre les groupes (Q; +) et (Q+ ; ):
En e¤et si
f : (Q; +) ! (Q+ ; )

1
est un morphisme de groupes, alors soit x 2 (Q; +) tel que f (x) = 2: Alors
x x x x x x p
2 = f (x) = f ( + ) = f ( ) f ( ) = (f ( ))2 =) f ( ) = 2 2 Q+ ; absurde.
2 2 2 2 2 2
Exercice 2 On ne demande pas de prouver le Théorème.

Theorem 1 (Théorème d’isomorphisme)

Tout morphisme de groupes f : G ! G0 induit un isomorphisme de groupes

G= ker f ' Im f:

1) Justi…er que les sous groupes An ; U = fz 2 C : jzj = 1g ; SLn (K); K un

corps sont distingués resp. dans Sn ; GLn (K) et C :
2: En utilisant Théorème 1; en déduit les isomorphismes correspondants.
Solution:
1) 2) On véri…era que les applications suivantes sont des morphismes de
groupes dont on déterminera les noyaux.
" : (Sn ; ) ! f 1; 1g N orm : (C ; ) ! R+ ; det : GLn (K) ! fR ; g
; ;
7 ! parité de z 7 ! jzj z 7 ! jzj
Exercice 3
a b
1) On considère SL2 (R) = : a; b; c; d 2 R; ad bc = 1 et H =
c d
1 a
: a 2 R; ad bc = 1 :
0 1
a) Montrer que SL2 (R) est un sous groupe de GL2 (R):
b) SL2 (R) est-il un sous groupe distingué dans GL2 (R)?
c) Justi…er que H est un sous groupe non distingué dans GL2 (R):
2) On considère les fonctions de R f0; 1g dans lui-même, véri…ant:
1 x 1 1
f1 (x) = x; f2 (x) = ; f3 (x) = ; f4 (x) = ; f5 (x) = 1 x; f6 (x) =
1 x x x
x
x 1
a) Montrer que G = ffi : 1 i 6g est un groupe.
b) Déterminer tous les sous groupe de G et leur ordre:
c) Sont-ils distingués?
d) Déterminer les classes suivant < f2 > :
e) Véri…er le Théorème de Lagrange.
Solution:
1) a) b) Le groupe SL2 (R)CGL2 (R); en e¤et 8M 2 GL2 (R); 8N 2 SL2 (R);
on a det(M N M 1 ) = det(M ) det(N ) det(M 1 ) = det N = 1; donc
M N M 1 2 SL2 (R) : cela prouve que M SL2 (R)M 1 SL2 (R):
1 a
c) On prouve que H = : a 2 R est un sous groupe de GL2 (R):
0 1
1 0
H est non distingué dans GL2 (R): En e¤et pour A = 2 GL2 (R),
1 1
1 0 1 a a+1 a
A 1= et A A 1= 2
= H:
1 1 0 1 a 1 a
2) a) Table de G

2
 y f1 f2 f3 f4 f5 f6
f1 f1 f2 f3 f4 f5 f6
f2 f2 f3 f1 f6 f4 f5
f3 f3 f1 f2 f5 f6 f4
f4 f4 f5 f6 f1 f2 f3
f5 f5 f6 f4 f3 f1 f2
f6 f6 f4 f5 f2 f3 f1
D’après la table de G; la loi est une loi de composition interne, associative,
admettant un élément neutre f1 et pour tout fi 2 G; il existe fj 2 G tel que
fi fj = f1 = fj fi : De plus, pour fi ; fj 2 G; on a fi fj = fj fi : Donc G est
un groupe abélien.
Groupe Ordre Cyclique Distingué Justi…cation
ff1 g 1 Oui Oui
< f4 >= ff1 ; f4 g 2 Oui Non f5 f4 f5 1 = f6 2<
= f4 >
< f5 >= ff1 ; f5 g 2 Oui Non f6 f5 f6 1 = f4 2<
= f5 >
< f6 >= ff1 ; f6 g 2 Oui Non f2 f6 f2 1 = f4 2<
= f6 >
< f2 >=< f3 >= ff1 ; f2 ; f3 g 3 Oui Oui
G 6 Non Oui
G= ff1 g G
G= < f4 > fff1 ; f4 g ; ff2 ; f6 g ; ff3 ; f5 gg
G= < f5 > fff1 ; f5 g ; ff2 ; f4 g ; ff3 ; f6 gg
G= < f6 > fff1 ; f6 g ; ff2 ; f5 g ; ff3 ; f4 gg
G= ff1 ; f2 ; f3 g fff1 ; f2 ; f3 g ; ff4 ; f5 ; f5 gg
G=G ff1 g
Exercice 4
1) Soit G un groupe …ni dont l’ordre n’est pas divisible par 3; véri…ant la
propriété suivante: Pour tout a; b 2 G; (ab)3 = a3 b3 :
Montrer que l’application

': G ! G
x 7 ! x3

est un automorphisme de G:
2) Soient G un groupe, a; b 2 G tels que ab soit d’ordre …ni n:
Montrer que ba est d’ordre n:
Solution:
1) a Montrons que ' est un endomorphisme
8x; y 2 G; on a '(xy) = (xy)3 = x3 y 3 = '(x)'(y) =) ' 2 End(G):
b Montrons que ' est injective
Soient x; y 2 G tels que '(x) = '(y):
3 3 3 3
'(x)
0 = '(y)1 =) x1 = y =) x y = (xy 1 )3 = e =) ord(xy 1 ) divise
ord(xy ) = 1
3 =) @ ou A:
1
ord(xy ) = 3

3
 Comme 3 ne divise pas jGj ; ord(xy 1 ) = 1 =) xy 1 = e =) x = y:
Ainsi 8x; y 2 G; ('(x) = '(y)) =) (x = y) =) ' est injective.
b Montrons que ' est bijective
G …ni
=) ' est bijective.
' : G ! G injective
' est un endomorphisme bijectif, donc ' 2 Aut(G):
2) Montrons que j< ba >j = n:
On a
j< ab >j = n =) (ab)n = (ab)(ab):::(ab) = e =) b(ab):::(ab)a = a 1 b 1
| {z } | {z }
n fois (n-1) fois
1 1
=) (ba):::(ba) = a b =) (ba)n 1
= (ba) 1
=) (ba)n = e =) j< ba >j
| {z }
(n-1) fois
divise n:
Montrons que n divise j< ba >j = p
On a
j< ba >j = p =) (ba)p = (ba)(ba):::(ba) = e =) a(ba):::(ba)b = b 1
a 1
| {z } | {z }
p fois (p-1) fois
1 1
=) (ab):::(ab) = b a =) (ab)p 1
= (ab) 1
=) (ba)p = e =) j< ab >j =
| {z }
(p-1) fois
n divise p:
Donc p = n:
Exercice 5
Z 4Z
Soient G = et H = :
16Z 16Z
1) a Justi…er que l’écriture a un sens
b Justi…er H est un sous groupe de (G; +): Donner l’ordre de H:
2) Soit x 2 G et soit x la classe de x dans G=H: Quels sont les éléments de
x?
Z
3) Montrer que (G=H; +) est isomorphe à ( ; +):
4Z
Z dZ
4) Soit G = ; n 2 N ; et d 2 N ; un diviseur de n: On pose H = :
nZ nZ
Etudier le groupe G=H (on pourra poser n = qd).
Solution:
1) a On a 16Z 4Z:
b H = 0; 4; 8; 12 =< 4 > d’ordre 4:
2) Les éléments de x
On a x 2 G et x 2 G=H
x 2 G=H =) x = x + H = x + 0; 4; 8; 12 = x; x + 4; x + 8; x + 12 =
x; x + 4; x + 8; x + 12 :
Z
3) Montrons que (G=H; +) est isomorphe à ( ; +)
n o 4Z
On a G=H = 0; 1; 2; 3 où 0 = H; 1 = 1; 5; 9; 13 ; 2 = 2; 6; 10; 14 ; 3 =
3; 7; 11; 15 :

4
 n o Z
G=H = 0; 1; 2; 3 est cyclique d’ordre 4 donc G=H ' ( ; +):
4Z
4) Etude du groupe G=H avec G = Z=nZ; H = dZ=nZ; d j n

On a d j n =) 9q 2 N : n = dq =) nZ dZ Z; donc le groupe dZ=nZ

est bien dé…ni, et

G= Z=nZ = 0; 1; :::; n 1
n o
H = dZ=nZ =< d >= 0; 1d; 2d; :::; (q 1)d
n o
dZ=nZ = 0; d; 2d; :::; (q 1)d ;

jdZ=nZj = q;
n o
8x 2 Z=nZ = 0; 1; :::; n 1 ; x = x+dZ=nZ = x+ 0; d; 2d; :::; (q 1)d :

Z
G n o
= nZ = 0; d; 2d; :::; (q 1)d groupe cyclique d’ordre d donc
H dZ
nZ
Z
Z
( nZ ; +) ' ( ; +):
dZ dZ
nZ
Exercice 6
Pour tout entier n 2, on appelle groupe diédral et on note Dn , le
groupe des isométries du plan qui préservent un polygône convexe à n sommets
(A0 ; A1 ; :::; An 1 ) inscrit dans le cercle unité de centre O. Pour s = S(OA0 ) et
2
r = R(O; ); on a le groupe
n
Dn =< r; s >= rk ; srk : s2 = rn = srsr = e; 0 k n 1 ;

d’ordre 2n:
1) a) Justi…er que Rn =< r > est normal dans Dn :
b) Justi…er que

f : Dn = < r > ! f 1; 1g
1 si x préserve l’orientation
x 7 !
1 sinon

est un isomorphisme.
2) Justi…er que H =< s >= f1; sg n’est pas normal.
Solution:
1) a) Justi…ons que Rn =< r > est normal dans Dn :
Les éléments h = rk 2< r > sont précisement ceux qui préservent l’orientation
et il en est de même pour ghg 1 ; g 2 Dn :

5
 2) Justi…ons que H =< s >= f1; sg n’est pas normal.
On a srsr = e =) rsr 1 = (r2 s) 1 2 H = f1; sg :
Exercice 6
Dans S12 ; on donne

s = ( 1; 2; 3; 4 )( 2; 4; 6; 8 )( 3; 6; 9; 12 )( 4; 6; 9; 12 )
t = ( 1; 3; 5 )( 3; 7; 11 )( 1; 5; 3 )( 3; 11; 7 )
u = ( 1; 2; 4; 8 )( 1; 3; 6; 9 )( 1; 4; 3; 2 ):

Etudier les permutations s; t; u; tu; ut; tut 1 ; utu 1 (Orbitres, Décomposition

canonique, Décomposition en produit de transpositions, ordre, signature).
Donner u2020 ; u2021 ; u2022 et u2023 :
Rappel

Theorem 2 Soient = (x1 ; x2 ; :::; xn ) 2 Sn et p 2 Sn : Alors

1
p p = (p(x1 ); p(x2 ); :::; p(xn )):

Solution:
1 2 3 4 5 6 7 8 9 10 11 12
s=
2 1 8 9 5 12 7 3 4 10 11 6
=) O1s = f1; 2g ; O3s = f3; 8g ; O4s = f4; 9g ; O1s = f1; 2g ; O5s = f5g ; O6s =
f6; 12g ; O7s = f7g ; O10
s
= f10g ; O11 s
= f11g :
s = (1; 2)(3; 8)(4; 9)(6; 12)
=) ord(s) = 2
=) "(s) = ( 1)4 = 1
1 2 3 4 5 6 7 8 9 10 11 12
t=
1 2 5 4 7 6 3 8 9 10 11 12
=) O1t = f1g ; O2t = f2g ; O3t = f3; 5; 7g ; O4t = f4g ; O6t = f6g ; O8t =
f8g ; O9t = f9g ; O10
t
= f10g ; O11 t
= f11g ; O12t
= f12g :
t = (3; 5; 7) = (3; 5)(5; 7)
=) ord(t) = 3
=) "(t) = ( 1)2 = 1
1 2 3 4 5 6 7 8 9 10 11 12
u=
8 3 4 6 5 9 7 1 2 10 11 12
=) O1u = f1; 8g ; O2u = f2; 3; 4; 6; 9g ; O5u = f5g ; O7u = f7g ; O10 u u
= f10g ; O11 =
u
f11g ; O12 = f12g :
u = (1; 8)(2; 3; 4; 6; 9) = (1; 8)(2; 3)(3; 4)(4; 6)(6; 9):
=) ord(u) = 10 = ppcm(2; 5)
=) "(u) = ( 1)5 = 1:
1 2 3 4 5 6 7 8 9 10 11 12
tu =
8 5 4 6 7 9 3 1 2 10 11 12
=) O1tu = f1; 8g ; O2tu = f2; 5; 7; 3; 4; 6; 9g ; O10 tu
= f10g ; O11tu tu
= f11g ; O12 =
f12g :
tu = (1; 8)(2; 5; 7; 3; 4; 6; 9) = (1; 8)(2; 5)(5; 7)(7; 3)(3; 4)(4; 6)(6; 9):
=) ord(tu) = 14 = ppcm(2; 7)

6
 =) "(tu) = ( 1)7 = 1:
1 2 3 4 5 6 7 8 9 10 11 12
ut =
8 3 5 6 7 9 4 1 2 10 11 12
=) O1ut = f1; 8g ; O2ut = f2; 3; 5; 7; 4; 6; 9g ; O10 ut
= f10g ; O11ut ut
= f11g ; O12 =
f12g :
ut = (1; 8)(2; 3; 5; 7; 4; 6; 9) = (1; 8)(2; 3)(3; 5)(5; 7)(7; 4)(4; 6)(6; 9):
=) ord(ut) = 14 = ppcm(2; 7)
=) "(ut) = ( 1)7 = 1:
tut 1 = t(1; 8)(2; 3; 4; 6; 9)t 1 = t(1; 8)t 1 t(2; 3; 4; 6; 9)t 1
= (t(1)t(8))(t(2); t(3); t(4); t(6); t(9))
= (1; 8)(2; 5; 4; 6; 9)
ord(tut 1 ) = 10 = ord(u):
utu 1 = u(3; 5; 7)u 1 = (u(3); u(5); u(7)) = (4; 5; 7):
ord(utu 1 ) = ord(t) = 3:
Calcu de un
u2020 = u10 202 = (u10 )202 = e =) u2021 = u; u2022 = u2 ; u2023 = u3 :