Corollary 5
Tag 04O2, permanent. Cite it as [Bourbaki, Tag 04O2].
Commutative Algebra, chapter V, § 1. Notion of an integral element
Let be an integral domain, its integral closure and the annihilator of the -module . Suppose that is afinitely generated -module. The prime ideals such that is not integrally closed are those which contain .
This follows immediately from Corollary 4 (ii) applied to .
Note that under the hypotheses of Corollary 5 since is a finitely generated -module and every element of ( the field of fractions of ) has an annihilator .
In algebraic geometry, Corollary 5 and the above remark show that the points where an affine variety is not normal form a closed set distinct from . \*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.