Value group
= Value group
{title2=$v(K^\times)$}
{wiki}
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$.