Remark 1
Tag 0CY2, permanent. Cite it as [Bourbaki, Tag 0CY2].
Commutative Algebra, chapter IX, § 4. Fermeture intégrale d'un anneau local complet
It amounts to saying that satisfies the following condition: every integral -algebra integral over , contained in a finitely generated extension of the field of fractions of , is a finite -algebra. In fact, the field of fractions of is an algebraic extension of , and therefore is of finite degree over (A, V, p. 112, cor. 1 of prop. 17). The -algebra is contained in the integral closure of in , and is therefore finite if the latter is finite.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.