Bourbaki

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 AA satisfies the following condition: every integral AA-algebra BB integral over AA, contained in a finitely generated extension of the field of fractions KK of AA, is a finite AA-algebra. In fact, the field of fractions LL of BB is an algebraic extension of KK, and therefore is of finite degree over KK (A, V, p. 112, cor. 1 of prop. 17). The AA-algebra BB is contained in the integral closure of AA in LL, 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.

Translated with machine help, not yet reviewed by a person.