Discrete_valuation
In mathematics, a discrete valuation is an integer valuation on a field K; that is, a function:[1]
satisfying the conditions:
for all .
Note that often the trivial valuation which takes on only the values is explicitly excluded.
A field with a non-trivial discrete valuation is called a discrete valuation field.