BOn appelle radical d’un anneau Aet on note Rad(A) l’intersection de tous
les id´eaux maximaux de A.
B1) Montrer que si x∈Rad(A) alors 1 −x∈A∗.
Soit Iun id´eal de Aet Mun A-module de type fini tel que IM =M.
B2) Soit (x1,...,xn) un syst`eme de g´en´erateurs de M. Soit Xla matrice
colonne (x1,...,xn). Montrer qu’il existe une matrice n×n, Λ `a valeurs dans
Itelle que ΛX=X. Soit Inla matrice identit´e et P=Ir−Λ, montrer que
det(P).M = 0.
B3) Montrer qu’il existe y∈Itel que det(P) = 1 + y. En d´eduire le lemme
de Nakayama qui dit que si de plus I⊂Rad(A), alors M=O.
On suppose jusqu’`a la fin de cette partie que Aun anneau local noeth´erien
d’id´eal maximal m. On note kle corps A/m.
B4) Montrer que ∩n≥0mn= 0.
B5) Soit Mun A-module de type fini. Montrer que M/mMest un k-espace
vectoriel de dimension finie. Soit (m1,...,mn) des ´el´ements de Minduisant une
base de M/mM. Montrer que (m1,...,mr) est un syst`eme de g´en´erateurs de
M. On pourra consid´erer M/N o`u Nd´esigne le sous-A-module de Mengendr´e
par les mi.
CSoit Aun anneau et Mun A-module.
C1) Montrer que les deux propri´et´es suivantes sont ´equivalentes.
(a) Toute suite d´ecroissante de sous-modules de Mest stationnaire.
(b) Tout ensemble non vide de sous-modules de Madmet un ´el´ement mini-
mal.
On dit que Mest artinien si il v´erifie ces propri´et´es. On dit que l’anneau A
est artinien si c’est un A-module artinien.
C2) Montrer que si Aest un corps, un A-espace vectoriel est artinien si et
seulement si il est de dimension finie. Montrer que pour tout entier n,Z/nZest
un anneau artinien.
C3)Montrer que si
0→M0→M→M00 →0
est une suite exacte de A-modules, alors Mest artinien si et seulement si M0
et M00 sont artiniens.
On suppose d´esormais Aartinien. On fixe a∈Aet on note Nret Ir,
respectivement les noyaux et l’image de la multiplication par ardans A.
C4) Montrer qu’il existe un entier htel que Ir=Ihpour tout r≥h. Montrer
qu’il existe y∈Atel que ah=a2hy. En d´eduire que A=Ir⊕Nrpour tout
r≥h.
C5) Montrer que si les seuls idempotents de Asont 0 et 1 alors Aest un an-
neau local dont l’id´eal maximal est constitu´e d’´el´ements nilpotents. On pourra
v´erifier que ahyest un idempotent de A.
C6) On suppose Alocal artinien d’id´eal maximal m. On veut montrer que
mh= 0 pour tout hassez grand. Comme Aest artinien, il existe un id´eal atel
que pour tout hassez grand mh=a. On suppose a6= 0, montrer qu’il existe
x∈Atel que xa6= 0 et tel que mxA =xA. Conclure.
2