Remark
Tag 04WJ, permanent. Cite it as [Bourbaki, Tag 04WJ].
Commutative Algebra, chapter VI, § 8. Extensions of a valuation to an algebraic extension
The intersection C of the rings of the valuations () is the integral closure of in L (§ 1, no. 3, Corollary 3 to Theorem 3); it follows moreover from (c) and § 7, no. 1, Propositions 1 and 2 that C is a semi-local ring, that its maximal ideals are the intersections and that , for all .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.