Bourbaki

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 (an)n∈N(\mathfrak{a}_n)_{n\in\mathbf{N}} of ideals of A, the sequence (anM)n∈N(\mathfrak{a}_nM)_{n\in\mathbf{N}} 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 a≠0\mathfrak{a}\not= 0 of A, the A-module M/aMM/\mathfrak{a}M is Noetherian. There then exists a submodule N0N_0 of M that is maximal among the submodules N⊂MN\subset M such that M/NM/N is faithful. Prove that the A-module M/N0M/N_0 is Noetherian and then that the ring A is Noetherian, and conclude.)

b)∗)^*Suppose that for every decreasing sequence (an)n∈N(\mathfrak{a}_n)_{n\in\mathbf{N}} of ideals of A, the sequence (anM)n∈N(\mathfrak{a}_nM)_{n\in\mathbf{N}} 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 (m1,m2,⋯ ,mn)(\mathfrak{m}_1,\mathfrak{m}_2,\cdots ,\mathfrak{m}_n) of maximal ideals of A whose product annihilates M. Conclude by induction on nn.)\*

Solution

No solution has been written yet.

Cited by

Cites

Transcribed from the printed volume. Not translated.