Exercise 15, § 1
Tag 001B, permanent. Cite it as [Bourbaki, Tag 001B].
Algebra, VIII, p. 16
Bourbaki marks this one as harder than the rest.
Let A be a commutative ring and M a finitely generated A-module.
a) Suppose that for every increasing sequence of ideals of A, the sequence is stationary. Prove that the A-module M is Noetherian. (Reduce to the case when the A-module M is faithful and when for every ideal of A, the A-module is Noetherian. There then exists a submodule of M that is maximal among the submodules such that is faithful. Prove that the A-module is Noetherian and then that the ring A is Noetherian, and conclude.)
bSuppose that for every decreasing sequence of ideals of A, the sequence is stationary. Prove that the A-module M is Artinian. (Reduce to the case when the A-module M is faithful. Prove that A then has only finitely many maximal ideals and, drawing on the proof of Proposition 1 of VIII, p. 173, that the radical of A is nilpotent. Deduce that there exists a finite sequence of maximal ideals of A whose product annihilates M. Conclude by induction on .)\*
Solution
No solution has been written yet.