Corollary 1
Tag 04AE, permanent. Cite it as [Bourbaki, Tag 04AE].
Commutative Algebra, chapter II, § 4. Spectra of rings and supports of modules
Let be a ring, a finitely generated -module and an element of . For to belong to every prime ideal of the support of , it is necessary and sufficient that the homothety of with ratio be nilpotent.
It follows from Proposition 17 that the intersection of the prime ideals belonging to is the radical of the annihilator of (no. 3, Proposition 11 (ii)). To say that belongs to this radical is equivalent to saying that there exist a power and hence that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.