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 .
New to topics? Read the docs here!
New to topics? Read the docs here!