# Valuation (algebra)

In algebra (in particular in algebraic geometry or algebraic number theory), a **valuation** is a function on a field that provides a measure of size or multiplicity of elements of the field. They generalize to commutative algebra the notion of size inherent in consideration of the degree of a pole or multiplicity of a zero in complex analysis, the degree of divisibility of a number by a prime number in number theory, and the geometrical concept of contact between two algebraic or analytic varieties in algebraic geometry. A field with a valuation on it is called a **valued field**.

## Definition

To define the algebraic concept of valuation, the following objects are needed:

- a field Template:Mvar and its multiplicative subgroup
*K*^{×}, - an abelian totally ordered group (Γ, +, ≥) (which could also be given in multiplicative notation as (Γ, ·, ≥)).

The ordering and group law on Γ are extended to the set Γ ∪ {∞} ^{[1]} by the rules

- ∞ ≥
*α*for all Template:Mvar in Γ, - ∞ +
*α*=*α*+ ∞ = ∞ for all α in Γ.

Then a **valuation of Template:Mvar** is any map

*v*:*K*→ Γ ∪ {∞}

which satisfies the following properties for all *a*, *b* in *K*:

*v*(*a*) = ∞ if, and only if,*a*= 0,*v*(*ab*) =*v*(*a*) +*v*(*b*),*v*(*a*+*b*) ≥ min(*v*(*a*),*v*(*b*)), with equality if*v*(*a*)≠*v*(*b*).

Some authors use the term **exponential valuation** rather than "valuation". In this case the term "valuation" means "absolute value".

A valuation *v* is called **trivial** (or the **trivial valuation of Template:Mvar**) if *v*(*a*) = 0 for all *a* in *K*^{×}, otherwise it is called **non-trivial**.

For valuations used in geometric applications, the first property implies that any non-empty germ of an analytic variety near a point contains that point. The second property asserts that *any valuation is a group homomorphism*, while the third property is a translation of the triangle inequality from metric spaces to ordered groups.

It is possible to give a dual definition of the same concept using the multiplicative notation for Γ: if, instead of ∞, an element *O*^{[2]} is given and the ordering and group law on Γ are extended by the rules

*O*≤*α*for all Template:Mvar in Γ,*O*·*α*=*α*·*O*=*O*for all α in Γ,

then a **valuation of K** is any map

*v*:*K*→ Γ ∪ {*O*}

satisfying the following properties for all *a*, *b* in *K*:

*v*(*a*) =*O*if, and only if,*a*= 0,*v*(*ab*) =*v*(*a*) ·*v*(*b*),*v*(*a*+*b*) ≤ max(*v*(*a*),*v*(*b*)), with equality if*v*(*a*)≠*v*(*b*).

(Note that in this definition, the directions of the inequalities are reversed.)

A valuation is commonly assumed to be surjective, since many arguments used in ordinary mathematical research involving those objects use preimages of unspecified elements of the ordered group contained in its codomain. Also, *the first definition of valuation given is more frequently encountered in ordinary mathematical research*, thus it is the only one used in the following considerations and examples.

### Associated objects

If *v* : *K* → Γ ∪ {∞} is a valuation, then there are several objects that can be defined from it:

- the
**value group of**(or*v***valuation group of**), denoted Γ*v*_{v}, is*v*(*K*^{×}), it is a subgroup of Γ, - the
**valuation ring of**, denoted*v**R*is the set of elements_{v}*a*of Template:Mvar such that*v*(*a*) ≥ 0, it is a valuation ring, - the
**prime ideal of**(or the*v***maximal ideal of**), denoted*v**m*is the set of elements_{v}*a*of*K*such that*v*(*a*) > 0, it is a maximal ideal of*R*,_{v} - the
**residue field of**, denoted*v**k*is_{v}*R*/_{v}*m*, it is a field._{v} - a
**place**of Template:Mvar into*k*∪ {∞}, whose restriction to_{v}*R*is the natural projection._{v}

## Basic properties

### {{safesubst:#invoke:anchor|main}} Equivalence of valuations

Two valuations *v*_{1} and *v*_{2} of Template:Mvar with valuation group Γ_{1} and Γ_{2}, respectively, are said to be **equivalent** if there is an order-preserving group isomorphism *φ* : Γ_{1} → Γ_{2} such that *v*_{2}(*a*) = φ(*v*_{1}(*a*)) for all *a* in *K*^{×}. This is an equivalence relation.

Two valuations of *K* are equivalent if, and only if, they have the same valuation ring.

An equivalence class of valuations of a field is called a **place**. *Ostrowski's theorem* gives a complete classification of places of the field of rational numbers **Q**: these are precisely the equivalence classes of valuations for the *p*-adic completions of **Q**.

### {{safesubst:#invoke:anchor|main}} Extension of valuations

Let *v* be a valuation of Template:Mvar and let *L* be a field extension of Template:Mvar. An **extension of v** (to

*L*) is a valuation

*w*of

*L*such that the restriction of

*w*to Template:Mvar is

*v*. The set of all such extensions is studied in the ramification theory of valuations.

Let *L*/*K* be a finite extension and let *w* be an extension of *v* to *L*. The index of Γ_{v} in Γ_{w}, e(*w*/*v*) = [Γ_{w} : Γ_{v}], is called the **reduced ramification index** of *w* over *v*. It satisfies e(*w*/*v*) ≤ [*L* : *K*] (the degree of the extension *L*/*K*). The **relative degree** of *w* over *v* is defined to be *f*(*w*/*v*) = [*R _{w}*/

*m*:

_{w}*R*/

_{v}*m*] (the degree of the extension of residue fields). It is also less than or equal to the degree of

_{v}*L*/

*K*. When

*L*/

*K*is separable, the

**ramification index**of

*w*over

*v*is defined to be e(

*w*/

*v*)

*p*, where

^{i}*p*is the inseparable degree of the extension

^{i}*R*/

_{w}*m*over

_{w}*R*/

_{v}*m*.

_{v}### Complete valued fields

When the ordered abelian group Γ is the additive group of the integers, the associated absolute value induces a metric on the field Template:Mvar. If Template:Mvar is complete with respect to this metric, then it is called a **complete valued field**. There is a related property known as spherical completeness: it is equivalent to completeness if Γ = **Z**, but stronger in general.

## Examples

### Template:Mvar-adic valuation

Let Template:Mvar be a principal ideal domain, Template:Mvar be its field of fractions, and Template:Mvar be an irreducible element of Template:Mvar. Since every principal ideal domain is a unique factorization domain, every non-zero element *a* of Template:Mvar can be written (essentially) uniquely as

where the *e'*s are non-negative integers and the *p _{i}* are irreducible elements of Template:Mvar that are not associates of Template:Mvar. In particular, the integer

*e*is uniquely determined by

_{a}*a*.

The **π-adic valuation of K** is then given by

If π' is another irreducible element of Template:Mvar such that (π') = (π) (that is, they generate the same ideal in *R*), then the π-adic valuation and the π'-adic valuation are equal. Thus, the π-adic valuation can be called the *P*-adic valuation, where *P* = (π).

When *R* = **Z**, then *K* = **Q**, and Template:Mvar is some prime number *p* (or its negative). The π-adic valuation obtained is the *p*-adic valuation on **Q**.

### {{safesubst:#invoke:anchor|main}} *P*-adic valuation on a Dedekind domain

The previous example can be generalized to Dedekind domains. Let Template:Mvar be a Dedekind domain, Template:Mvar its field of fractions, and let *P* be a non-zero prime ideal of Template:Mvar. Then, the localization of Template:Mvar at *P*, denoted *R _{P}*, is a principal ideal domain whose field of fractions is Template:Mvar. The construction of the previous section applied to the prime ideal

*PR*of

_{P}*R*yields the

_{P}**Template:Mvar-adic valuation of Template:Mvar**.

### Geometric notion of contact

Let **C**[*x*, *y*], **C**(*x*, *y*) be the ring of complex polynomials of two variables and the field of complex rational functions respectively. Consider the (convergent) power series

whose zero set, the analytic variety Template:Mvar, can be parametrized by one coordinate Template:Mvar as follows

It is possible to define a map *v* : **C**[*x*, *y*] → **Z** as the value of the order of the formal power series in the variable Template:Mvar obtained by restriction of any polynomial Template:Mvar in **C**[*x*, *y*] to the points of the set Template:Mvar

It is also possible to extend the map Template:Mvar from its original ring of definition to the whole field **C**(*x*, *y*) as follows

As the power series is not a polynomial, it is easy to prove that the extended map Template:Mvar is a valuation: the value *v*(*P*) is called intersection number between the curves (1-dimensional analytic varieties) Template:Mvar and Template:Mvar. As an example, the computation of some intersection numbers follows:

## Vector spaces over valuation fields

Suppose that Γ is the set of non-negative real numbers. Then we say that the valuation is **non-discrete** if its range is not finite.

Suppose that *X* is a vector space over *K* and that *A* and *B* are subsets of *X*. Then we say that ** A absorbs B** if there exists a

*α*in

*K*such that

*λ*in

*K*and

*|λ| ≥ |α|*implies that

*B ⊆ λ A*.

*A*is called

**radial**or

**absorbing**if

*A*absorbs every finite subset of

*X*. Radial subsets of

*X*are invariant under finite intersection. And

*A*is called

**circled**if

*λ*in

*K*and

*|λ| ≥ |α|*implies

*λ A ⊆ A*. The set of circled subsets of

*L*is invariant under arbitrary intersections. The

**circled hull**of

*A*is the intersection of all circled subsets of

*X*containing

*A*.

Suppose that *X* and *Y* are vector spaces over a non-discrete valuation field *K*, let *A ⊆ X*, *B ⊆ Y*, and let *f : X → Y* be a linear map. If *B* is circled or radial then so is . If *A* is circled then so is *f(A)* but if *A* is radial then *f(A)* will be radial under the additional condition that *f* is surjective.

## See also

## Notes

- ↑ The symbol ∞ denotes an element not in Γ, and has not any other meaning. Its properties are simply defined by axioms, as in every formal presentation of a mathematical theory.
- ↑ As for the symbol ∞,
*O*denotes an element not in Γ and has not any other meaning, its properties being again defined by axioms.

## References

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}. A masterpiece on algebra written by one of the leading contributors.

- Chapter VI of {{#invoke:citation/CS1|citation

|CitationClass=citation }}

## External links

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}