Corollary 2
Tag 04JB, permanent. Cite it as [Bourbaki, Tag 04JB].
Commutative Algebra, chapter IV, § 1. Prime ideals associated with a module
Let be a Noetherian ring, an -module and an element of . For the homothety on with ratio to be injective, it is necessary and sufficient that belong to no prime ideal associated with .
If belongs to a prime ideal , then , where ; whence and the homothety with ratio is not injective. Conversely, if for some such that , then , whence (Corollary 1). Let ; then obviously and , where ; whence , since .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.