Corollary
Tag 04JT, permanent. Cite it as [Bourbaki, Tag 04JT].
Commutative Algebra, chapter IV, § 1. Prime ideals associated with a module
Let be a Noetherian ring. an -module and an element of . For the homomorphism of to be almost nilpotent, it is necessary and sufficient that belong to every ideal of .
The condition of the statement is equivalent to saying that for all there exists such that ; by Proposition 9 this means also that belongs to all the prime ideals associated with the submodule of ; the corollary then follows from the fact that is the union of the where runs through (no. 1, formula (1)).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.