UNIVERSITE FHB DE COCODY ANNEE 2023-2024

L3 SM

CORRIGE BAREME DU DEVOIR DE TGA

Exercice 1 (5pts)
1 a) On a 6Z $ 2Z $ Z alors 6Z n’est pas maximal 1,5pt ( ou 6 n’est
pas premier alors 6Z n’est pas maximal 1pt)
b) on a 5Z nZ () n divise 5 () (n = 1 ou n = 5) () (nZ = Z
ou nZ = 5Z): Donc Z est le seul sous groupe contenant strictement 5Z; alors
5Z est maximal 1,5pt (ou 5 est premier alors 5Z est maximal 1pt)
2 a) H = 0; 4 0,5pt; K = 0; 2; 4; 6 0,5pt
b) Si K est contenu dans un sous groupe L de G; alors d’après le
théorème de Lagrange, on aura card (K) divise card (L) divise 8 c.à.d L = K
ou L = G: Donc G st le seul sous groupe contenant strictement K; alors K
est maximal 1pt
On a H $ K $ G; alors H n’est pas maximal 1pt

Exercice 2 (6pts)
1 Si on désigne par np le nombre de p-Sylows de G; alors on a np = kp+1
et np divise q: pour k 1; kp + 1 > q donc il ne divise pas q: Donc k = 0;
d’où np = 1 1pt
Comme np = 1; alors l’unique p-Sylow de G est distingué dans G; et en
plus il est d’ordre p: On peut donc prendre pour K l’unique p-Sylow de G
Z
1pt. Comme K est d’ordre p avec p premier alors on a K = 0,5pt
pZ
2 q étant un nombre premier divisant l’ordre de G; alors en vertu du
lemme de Cauchy, G possède un sous groupe H d’ordre q: Et toujours parce
Z
que q est premier , alors on a H l 1pt
qZ
3 En somme on a KCG; H < G et K\H = feG g car p gcd (cardK; cardH) =
pgcq (q; p) = 1: Alors d’après le théorème du produit semi direct interne, on
Z Z
a KH l K H l : En particulier on a card (KH) = pq = cardG;
pZ qZ
Z Z
d’où KH = G et s’ensuit que G l 1,5pt
pZ qZ
Exercice 3 (8pts)
1 Montrons que A est un anneau commutatif
Comme A est contenu dans M2 (Z) ; il s’agit de montrer que A est un
sous anneau commutatif de M2 (Z)

1
 1 0
- On a I2 = = M (1; 0) 2 A
0 1
- 8U = M (a; b) 2 A; 8V = M (c; d) 2 A; on a:
a b c d a c b d
U V = = = M (a c; b d) 2
b a d c b d a c
A
a b c d ac + bd ad + bc
UV = = = M (ac + bd; ad + bc) 2
b a d c bc + ad bd + ac
A
Alors A est un sous anneau de M2 (Z) ; c’est donc un anneau.
c d a b ca + db cb + da
En outre on a V U = = = UV
d c b a da + cb db + ca
0,5pt
En somme A est un anneau commutatif
2 Montrons que Ip est un idéal de A:
0 0
- On a 0M2 (Z) = = M (0; 0) et on a 0 + 0 = 0; alors 0M2 (Z) 2 Ip
0 0
- 8U = M (a; b) 2 Ip ; 8V = M (c; d) 2 Ip ; on a: a + b = 0 et c + d = 0 et
il vient:
a b c d a c b d
U V = = = M (a c; b d)
b a d c b d a c
et on a
(a c) + (b d) = (a + b) (c + d) = a + b c + d = 0 0 = 0; alors
U V 2 Ip :
- 8U = M (a; b) 2 Ip ; 8V = M (c; d) 2 A; on a a + b = 0 et il vient:
ac + bd ad + bc
UV = = M (ac + bd; ad + bc) et on a
bc + ad bd + ac
(ac + bd) + (ad + bc) = (a + b) (c + d) = a + b c + d = 0 c + d = 0;
donc U V 2 Ip :
En somme, Ip est un idéal de A: 1,5pt
3 a) Montrons que g est un morphisme surjectif d’anneaux
- on a g (I2 ) = g (M (1; 0)) = 1 + 0 = 1 = 1 Z :
pZ
8U = M (a; b) 2 A; 8V = M (c; d) 2 A; on a:
g (U + V ) = g (M (a + c; b + d)) = (a + c) + (b + d) = (a + b) + (c + d) =
a + b + c + d = g (U ) + g (V )
g (U V ) = g (M (ac + bd; ad + bc)) = ac + bd + ad + bc = (a + b) (c + d) =
a + b c + d = g (U ) g (V )
En somme, g est un morphisme d’anneaux 1,5pt
g est surjectif car 8n 2 Z; g (M (n; 0)) = n 0,5pt. En dé…nitif, g est un
morphisme surjectif d’anneaux
b) Déterminons ker (g)

2
 ker (g) = M (a; b) 2 A; g (M (a; b)) = 0 = M (a; b) 2 A; a + b = 0 =
Ip 1pt
A Z
Montrons que l
Ip pZ
A
D’après le 1er théorème d’isomorphisme, on a l Im g et le résultat
ker g
Z
s’ensuit du fait que ker g = Ip et Im g = par la surjectivité de g: 0,5pt
pZ
c) Déduisons en que Ip est un idéal maximal.
Il est clair que Ip est un idéal propre car la matrice unité I2 n’appartient
A Z Z
pas à Ip ; et en plus d’après b) on a l : Comme p est premier, alors
Ip pZ pZ
A
est un corps. Il s’ensuit que est un corps d’où Ip est un idéal maximal
Ip
1pt