In mathematics, a discrete valuation is an integer valuation on a field K; that is, a function
ν : K → Z ∪ { ∞ } satisfying the conditions
ν ( x ⋅ y ) = ν ( x ) + ν ( y ) ν ( x + y ) ≥ min { ν ( x ) , ν ( y ) } ν ( x ) = ∞ ⟺ x = 0 for all x , y ∈ K .
Note that often the trivial valuation which takes on only the values 0 , ∞ is explicitly excluded.
A field with a non-trivial discrete valuation is called a discrete valuation field.
Discrete valuation rings and valuations on fields
To every field K with discrete valuation ν we can associate the subring
of K , which is a discrete valuation ring. Conversely, the valuation ν : A → Z ∪ { ∞ } on a discrete valuation ring A can be extended in a unique way to a discrete valuation on the quotient field K = Quot ( A ) ; the associated discrete valuation ring O K is just A .
For a fixed prime p and for any element x ∈ Q different from zero write x = p j a b with j , a , b ∈ Z such that p does not divide a , b , then ν ( x ) = j is a discrete valuation on Q , called the p-adic valuation.Given a Riemann surface X , we can consider the field K = M ( X ) of meromorphic functions X → C ∪ { ∞ } . For a fixed point p ∈ X , we define a discrete valuation on K as follows: ν ( f ) = j if and only if j is the largest integer such that the function f ( z ) / ( z − p ) j can be extended to a holomorphic function at p . This means: if ν ( f ) = j > 0 then f has a root of order j at the point p ; if ν ( f ) = j < 0 then f has a pole of order − j at p . In a similar manner, one also defines a discrete valuation on the function field of an algebraic curve for every regular point p on the curve.More examples can be found in the article on discrete valuation rings.