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 , whence (Proposition 8 (b)) and . Thus A is completely integrally closed.
Suppose now that v is not of height 1. Then there exist and such that for all (Proposition 8 (b)). Then for all , but . 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.