Bourbaki

Corollary 1

Tag 04NJ, permanent. Cite it as [Bourbaki, Tag 04NJ].

Commutative Algebra, chapter V, § 1. Notion of an integral element

Let AA be a reduced Noetherian ring, pip_i (1≤i≤n)(1 \leq i \leq n) its distinct minimal prime ideals, KK, the field of fractions of the integral domain A/piA/p_i (canonically isomorphic to the local ring ApiA_{p_i} (Chapter IV, § 2, no. 5, Proposition 10)) and Ai′A'_i the integral closure of AA in KK, (1≤i≤n)(1 \leq i \leq n). Then the canonical isomorphism of the total ring of fractions BB of AA onto ∏i=1nKi\prod_{i=1}^n K_i (loc. cit.) maps the integral closure of AA in BB onto the product ring ∏i=1nAi′\prod_{i=1}^n A'_i.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.