Corollary 1
Tag 04NJ, permanent. Cite it as [Bourbaki, Tag 04NJ].
Commutative Algebra, chapter V, § 1. Notion of an integral element
Let be a reduced Noetherian ring, its distinct minimal prime ideals, , the field of fractions of the integral domain (canonically isomorphic to the local ring (Chapter IV, § 2, no. 5, Proposition 10)) and the integral closure of in , . Then the canonical isomorphism of the total ring of fractions of onto (loc. cit.) maps the integral closure of in onto the product ring .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.