A discrete valuation on a field is a surjective group homomorphism satisfying whenever . Its valuation ring is .
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 .
Articles by others on the same topic
A **discrete valuation** is a special type of valuation defined on a field, which gives a way to measure the "size" of elements in that field. More specifically, a discrete valuation provides a way to assess how "close" elements are to zero in a field, often in the context of algebraic number theory or local fields.