Lemma 10.50.16. Let $(\Gamma , \geq )$ be a totally ordered abelian group. Let $K$ be a field. Let $v : K^* \to \Gamma $ be a homomorphism of abelian groups such that $v(a + b) \geq \min (v(a), v(b))$ for $a, b \in K$ with $a, b, a + b$ not zero. Then

is a valuation ring with value group $\mathop{\mathrm{Im}}(v) \subset \Gamma $, with maximal ideal

and with group of units

## Comments (2)

Comment #786 by Wei Xu on

Comment #804 by Johan on

There are also: