Lemma 3
Tag 0CYF, permanent. Cite it as [Bourbaki, Tag 0CYF].
Commutative Algebra, chapter IX, § 4. Fermeture intégrale d'un anneau local complet
Let be a noetherian ring, an element of , a finitely generated -module, and a prime ideal of associated with . Suppose that the homothety is injective. Let be a prime ideal of , minimal among those containing . Then is associated with the -module .
Let denote the submodule of formed by the elements such that . We have ; in fact, if an element of is such that , then since is injective, hence . Consequently, the -module is isomorphic to the submodule of , and it is enough to prove that is associated with . Since is associated with , there exists an element of such that ; we have , whence and therefore by II, § 4, No. 4, corollary to prop. 18; consequently, is associated with (IV, § 1, No. 4, th. 2).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.