Corollary 3
Tag 04O0, permanent. Cite it as [Bourbaki, Tag 04O0].
Commutative Algebra, chapter V, § 1. Notion of an integral element
Let be an integral domain and the set of maximal ideals of . For to be integrally closed, it is necessary and sufficient that, for all , be integrally closed.
It follows from Corollary 1 that the condition is necessary. The condition is sufficient, for (Chapter II, § 3, no. 3, formula (2)) and it is sufficient to apply the Corollary to Proposition 8 of no. 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.