Discrete valuation
In mathematics, a discrete valuation is an integer valuation on a field K; that is, a function
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.