Bourbaki

Proposition 9

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

Commutative Algebra, chapter VI, § 4. The height of a valuation

Let K be a field, v a non-improper valuation on K and A the ring of v. For A to be completely integrally closed (Chapter V, § 1, no. 4, Definition 5), it is necessary and sufficient that v be of height 1.

Suppose v is of height 1. Let x ∈ K be such that the x^n (n ≥ 0) are all contained in a finitely generated sub-A-module of K. There exists d ∈ A − {0} such that dx^n ∈ A for all n ≥ 0. Then v(d) + nv(x) ≥ 0, that is n(−v(x)) ≤ v(d) for all n⩾0n \geqslant 0, whence −v(x)⩽0-v(x) \leqslant 0 (Proposition 8 (b)) and x∈Ax \in A. Thus A is completely integrally closed.

Suppose now that v is not of height 1. Then there exist y∈m(A)y \in m(A) and t∈At \in A such that nv(y)<v(t)nv(y) < v(t) for all n⩾0n \geqslant 0 (Proposition 8 (b)). Then ty−n∈Aty^{-n} \in A for all n⩾0n \geqslant 0, but y−1∉Ay^{-1} \notin A. Hence A is not completely integrally closed.

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.