ISITCOM Hammam Sousse 1 DNI
Structures alg`ebriques
Correction 2 1. Oui.
2. Non. Le seul ´el´ement qui peut ˆetre l’´el´ement neutre est 1 qui n’appartient pas `a l’ensemble.
3. Non. 0 n’a pas d’inverse.
4. Oui.
Correction 4 Le premier ensemble n’est pas un groupe car, par exemple, la matrice 2 0
0 2
ne peut avoir pour inverse que 1
20
01
2qui n’appartient pas `a l’ensemble.
Notons G={M∈ M2(Z) : det M= 1}et montrons que Gest un sous-groupe de Gl(2,R).
– la matrice identit´e appartient `a G.
– si A, B ∈Galors AB ∈ M2(Z) et det AB = det A×det B= 1 ×1 = 1, et donc AB ∈G.
– Si A=a b
c d(a, b, c, d ∈Z) alors 1
det Ad−b
−c a =d−b
−c a appartient `a Get est
l’inverse de A.
Correction 8 Notons Gl’ensemble des ´el´ements d’ordre fini de H. Montrons que Gest un
sous-groupe de H.
–G⊂Het 0 ∈G.
– Si x∈Galors (−x)+(−x) + · · · + (−x) = −(x+x+· · · +x) = 0. Donc −x∈G.
– Si x, y ∈Galors (x+y) + · · · + (x+y) = (x+· · · +x) + (y+· · · +y) = 0 + 0 = 0. Donc
x+y∈G.
Nous venons de montrer que Gest un sous-groupe de H. De plus comme Hest commutatif
alors Gl’est aussi !
Correction 9 1. La matrice 0 1
1 0est d’ordre 2. La matrice 1 0
0 2n’est pas d’ordre
fini puisque, pour tout n∈N:1 0
0 2n
=1 0
0 2n6=1 0
0 1.
2. Notons eGet eHles ´el´ements neutres respectifs de Get de H. Soit gun ´el´ement de G
d’ordre n.
- Alors ϕ(g)n=ϕ(gn) = ϕ(eG) = eH. Donc ϕ(g) est d’ordre inf´erieur ou ´egal `a n, ordre
de g.
- Supposons ϕinjectif et ϕ(g) d’ordre strictement inf´erieur `a n, c’est `a dire qu’il existe
p<ntel que : ϕ(g)p=eH. Alors ϕ(gp) = eHdonc, puisque ϕest injectif et ϕ(eG) = eH,
on a aussi : gp=eG, ce qui est impossible puisque l’ordre de gest n.
3. Raisonnons par l’absurde : Soit Gun groupe fini. Supposons qu’il existe dans Gun ´el´ement
gn’´etant pas d’ordre fini. Comme Gest un groupe, on peut consid´erer X={gkk∈N}.
Or, pour i6=j:gi6=gj. En effet, supposons i<j. Si gi=gjalors gj−i=eGet gest
d’ordre inf´erieur ou ´egal `a j−i, donc fini, ce qui est impossible. Xest donc un ensemble
infini. Gcontient un ensemble infini donc est infini, ce qui est absurde, donc gne peut
ˆetre que d’ordre fini.
1