Université Paris Sud Année 2019–2020
L3/S6 M305 Algèbre II
TD n ◦ I
Groupes abéliens
Exercice A : (Torsion dans un groupe abélien)
Soit A un groupe abélien noté additivement. Pour tout entier n ≥ 1, on note A[n] := {x ∈ A ; nx = 0} et Tor(A) := [
n≥1
A[n] .
1) Montrer que les
A[n] ,
n∈Net Tor(A) sont des sous-groupes de A.
2) Soit f : A → B un homomorphisme de groupes. Montrer que pour tout n ≥ 1, f (A[n]) ⊂ B[n] puis que f (Tor(A)) ⊂ f (Tor(B)) avec égalité si f est un isomorphisme.
3) Si p et q sont des entiers premiers entre eux, montrer que tout élément de A[pq] s’écrit de manière unique comme somme d’un élément de A[p] et d’un élément de A[Q] ; autrement dit que
A[pq] = A[p] ⊕ A[q] .
4) Montrer que A/Tor(A) est sans torsion i.e.
∀(n, x) ∈ N × A/Tor(A), n · x = 0 ⇔ n = 0 ou x = 0 .
On suppose désormais que A est fini, on note n le cardinal de A et n = p
e11p
e22· · · p
errla décomposition de n en facteurs irréductibles (donc e
i≥ 1 pour tout i = 1, · · · , r ).
5) Pour tout entier m ∈ N , si v
p(m) dénote la valuation p-adique de m, alors A[m] = M
p|m
A[p
vp(m)] .
Si p est un nombre premier, on note A[p
∞] le sous-ensemble de A des éléments dont l’ordre est une puissance de p.
A[p
∞] = {a ∈ A ; ∃s ∈ N , , |< a >
A| = p
s} .
6) Montrer que A[p
∞] est un sous-groupe de A.
7) Montrer que A[p
∞] 6= {0} si et seulement si p est l’un des p
i.
8) Plus généralement, montrer que A[p
∞] est l’unique p-Sylow de A. En déduire le cardinal de A[p
∞].
Soit
π : L
p
A[p
∞] −→ A (x
p)
p7−→ P
p
x
p.
9) a) Soit (x
p)
p∈ Ker π et soit q un nombre premier. Montrer qu’il existe k ∈ N tel que x
q∈ A[q
k] et k
′premier à q tel que x
q∈ A[k
′].
1
b) En déduire que π est injective.
10) Montrer que π est surjective et en déduire que A ∼ =
M
ri=1
A[p
∞i]
Exercice B : Soient A et B deux groupes abéliens et Hom(A, B) l’ensemble des morphismes de A dans B.
1) Vérifier rapidement que Hom(A, B) a une structure de groupe abélien.
2) Montrer que
Hom( Z /m Z , A) ∼ = A[m] := {a ∈ A ; ma = 0}
(on donnera explicitement un isomorphisme.) 3) Montrer que
Hom( Z /p Z , Z /q Z ) ∼ = Z /d Z où d = (p ∧ q) .
4) Montrer que Hom( Z /m Z , Z ) = 0.
5) Montrer que Hom( Z , Z /m Z ) est isomorphe à Z /m Z . 6) Si
A = Y
ki=1
A
iet B = Y
ℓj=1
B
jsont des groupes abéliens, montrer que Hom(A, Y
ℓj=1
B
j) est isomorphe à Y
ℓj=1
Hom(A, B
j) et que Hom(
Y
ki=1
A
i, B) est isomorphe
à Y
ki=1