Value group ($v(K^{\times })$)

The value group of a valued field is the ordered abelian group formed by the values of its nonzero elements. A valuation is discrete when its value group is infinite cyclic with the order inherited from $\mathbb{Z}$.