Algèbre Université Pierre et Marie Curie
LM 372 4 Mars 2013
TD numéro 6
Tous les anneaux considérés sont commutatifs
Exercice 1.
1. Montrez que a∈Aengendre Acomme A-module si et seulement si aest inversible.
2. Montrez que (a1,0,...,0),(0, a2,0,...,0),...,(0,...,0, an)engendrent Ansi et seulement si tous
les aisont inversibles.
3. Montrez que cl(m)∈Z/nZengendre Z/nZcomme Z-module si et seulement si (m, n)=1.
Solution de l’exercice 1.
1. Supposons que aest inversible, il existe b∈Atel que ab = 1. Alors, pour tout c∈A, On peut
écrire c=c(ab)=(cb)a. on en déduit que le A-module Aest engendré par a.
Réciproquement si Aest engendré par aalors, 1Aest le produit de apar un élement de l’anneau
A; Autrement dit il existe btel que b.a = 1A. Ce qui revient à dire que aest inversible.
2. Supposons aiinversible pour tout i, et notons bileurs inverses. Pour tout c= (c1, . . . , cn)∈An,
on peut écrire c= (c1(a1b1), . . . , cn(anbn)). On obtient donc :
c=c1b1(a1,0,...,0) + . . . +cnbn(0,...,0, an).
Le A-module Anest bien engendré par les (0,...,0, ai,0,...,0).
Réciproquement si Aest engendré par les (0,...,0, ai,0,...,0), alors l’élément (1,1,...,1) ∈An
est combinaison linéaire des (0,...,0, ai,0,...,0). Autrement dit il existe b1, . . . , bntels que :
n
X
i=1
bi(0,...,0, ai,0,...,0) = (a1, b1, . . . , anbn) = (1,...,1).
Ce qui implique que tous les aisont inversibles.
3. Si cl(m)engendre le Z-module Z/nZ. Alors il existe a∈Ztel que cl(1) = cl(a)cl(m) = cl(am),
ce qui implique par le théorème de Bezout que net msont premiers entre eux.
Réciproquement si net msont premiers entre eux, alors cl(m)est inversible dans Z/nZet il
existe a∈Ztel que cl(a)cl(m) = cl(1). Alors pour tout c∈Z/nZet c0un représentant de c
(c=cl(c0)), on a c=cl(c0) = cl(c0)cl(a)cl(m) = cl(ac0)cl(m) = ac0.cl(m). Donc cl(m)engendre
Z/nZ.
Exercice 2.
Soit Mun A-module.
Montrez que Mest de type fini si et seulement si il existe une suite croissante de sous-modules
(0) = M0⊂M1⊂. . . ⊂Mn=Met des idéaux Iide Atels que Mi+1/Mi'A/Iipour i≥0.
Solution de l’exercice 2. On rappelle le théorème très important du cours :
1