Exercice 15, § 1
Étiquette 001B, permanente. À citer comme [Bourbaki, Tag 001B].
Algèbre, VIII, p. 15
Bourbaki marks this one as harder than the rest.
Soient A un anneau commutatif et M un A-module de type fini.
a) On suppose que pour toute suite croissante d’idéaux de A la suite est stationnaire. Démontrer que le A-module M est noethérien. (Se ramener au cas où le A-module M est fidèle et où, pour tout idéal de A, le A-module est noethérien ; il existe alors un sous-module de M maximal parmi les sous-modules tels que soit fidèle ; prouver que le A-module est noethérien, puis que l’anneau A est noethérien et conclure.)
bOn suppose que pour toute suite décroissante d’idéaux de A la suite est stationnaire. Démontrer que le A-module M est artinien. (Se ramener au cas où le A-module M est fidèle ; démontrer qu’alors A n’a qu’un nombre fini d’idéaux maximaux, puis, en s’inspirant de la preuve de la prop. 1 de VIII, p. 169, que le radical de A est nilpotent ; en déduire qu’il existe une suite finie d’idéaux maximaux de A dont le produit annule M ; conclure en raisonnant par récurrence sur .)\*
Solution
Aucune solution n’a encore été écrite.