Proposition 4
Tag 0CYM, permanent. Cite it as [Bourbaki, Tag 0CYM].
Commutative Algebra, chapter IX, § 4. Fermeture intégrale d'un anneau local complet
Let be a Nagata ring. a) Every finite -algebra is a Nagata ring. b) For every multiplicative subset of , the ring is a Nagata ring. a) Let be a finite -algebra, the canonical homomorphism. For every prime ideal of , the ring , which is a finite algebra over the Japanese ring , is Japanese (No. 1, prop. 2). b) Let be a prime ideal of ; then there exists a prime ideal of such that . The ring is a ring of fractions of the Japanese ring , and is therefore Japanese (No. 1, remark 2).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.