Bourbaki

Corollary 1

Tag 04WY, permanent. Cite it as [Bourbaki, Tag 04WY].

Commutative Algebra, chapter VI, § 8. Extensions of a valuation to an algebraic extension

Let K be a field, v a valuation on K, L a quasi-Galois extension of K and v′v' and v′′v'' two extensions of v to L. Then there exists a K-automorphism s of L such that v′′v'' is equivalent to v′∘sv' \circ s.

Let f′f' and f′′f'' be the places of K associated with v′v' and v′′v''; replacing them if need be by equivalent places, it may be assumed that they both take their values in the algebraic closure of the residue field of v (no. 1, Proposition 1). Then there exists a K-automorphism s of L such that f′′=f′∘sf'' = f' \circ s (Proposition 7); thus v′′v'' is equivalent to v′∘sv' \circ s by virtue of the correspondence between places and valuations (§ 3, no. 3).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.