Bourbaki

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 Ai′A_i' of the valuations vi′v_i' (i∈Ii \in I) is the integral closure of AA 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 mi=C∩m(Ai′)m_i = C \cap m(A_i') and that Ai′=CA_i' = C, for all i∈Ii \in 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.