Namespaces
Variants
Actions

Difference between revisions of "Valuation"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (link)
Line 43: Line 43:
 
A subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601084.png" /> of a totally ordered set is said to be major if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601085.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601086.png" /> imply <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601087.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601088.png" /> be the ring of a valuation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601089.png" /> of a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601090.png" /> with value group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601091.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601092.png" /> be the sub-semi-group of positive elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601093.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601094.png" /> be a major set in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601095.png" />. The mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601096.png" /> is a bijection between the set of major subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601097.png" /> and the set of ideals of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601098.png" />. Principal ideals correspond to majors having a minimal element. Prime ideals also correspond to majors of special form, namely: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601099.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010100.png" /> is the positive part of a [[Convex subgroup|convex subgroup]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010101.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010102.png" />. Thus, there is a one-to-one correspondence between the prime ideals of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010103.png" /> and the convex subgroups of the value group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010104.png" />.
 
A subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601084.png" /> of a totally ordered set is said to be major if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601085.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601086.png" /> imply <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601087.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601088.png" /> be the ring of a valuation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601089.png" /> of a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601090.png" /> with value group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601091.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601092.png" /> be the sub-semi-group of positive elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601093.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601094.png" /> be a major set in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601095.png" />. The mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601096.png" /> is a bijection between the set of major subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601097.png" /> and the set of ideals of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601098.png" />. Principal ideals correspond to majors having a minimal element. Prime ideals also correspond to majors of special form, namely: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v09601099.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010100.png" /> is the positive part of a [[Convex subgroup|convex subgroup]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010101.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010102.png" />. Thus, there is a one-to-one correspondence between the prime ideals of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010103.png" /> and the convex subgroups of the value group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010104.png" />.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010105.png" /> be the prime ideal corresponding to a convex subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010106.png" />. Then the composite mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010107.png" /> is a valuation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010108.png" /> with valuation ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010109.png" /> and valuation ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010110.png" />; moreover, on the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010111.png" /> there is an induced valuation with values in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010112.png" /> and valuation ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010113.png" />. In this manner a valuation splits into simpler ones. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010114.png" /> be a valuation ring. Then the prime spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010115.png" /> without the zero (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010116.png" />) is a totally ordered set, and its type is called the height or rank of the corresponding valuation. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010117.png" /> is finite, then the height of the valuation is the number of elements in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010118.png" />, and this is the same as the number of proper convex subgroups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010119.png" />. A valuation of finite rank can be reduced to valuations of rank 1. The latter are characterized by the fact that their value groups are Archimedean (cf. [[Archimedean group|Archimedean group]]), that is, they are isomorphic to a subgroup of the additive group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010120.png" /> of real numbers. In this case the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010121.png" /> is an ultrametric norm on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010122.png" />.
+
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010105.png" /> be the prime ideal corresponding to a convex subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010106.png" />. Then the composite mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010107.png" /> is a valuation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010108.png" /> with valuation ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010109.png" /> and valuation ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010110.png" />; moreover, on the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010111.png" /> there is an induced valuation with values in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010112.png" /> and valuation ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010113.png" />. In this manner a valuation splits into simpler ones. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010114.png" /> be a valuation ring. Then the prime spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010115.png" /> without the zero (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010116.png" />) is a totally ordered set, and its type is called the height or rank of the corresponding valuation. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010117.png" /> is finite, then the height of the valuation is the number of elements in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010118.png" />, and this is the same as the number of proper convex subgroups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010119.png" />. A valuation of finite rank can be reduced to valuations of rank 1. The latter are characterized by the fact that their value groups are Archimedean (cf. [[Archimedean group|Archimedean group]]), that is, they are isomorphic to a subgroup of the additive group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010120.png" /> of real numbers. In this case the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010121.png" /> is an [[ultrametric]] norm on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010122.png" />.
  
 
An important property of valuation rings is that they are integrally closed. Moreover, for an arbitrary integral ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010123.png" /> its integral closure is equal to the intersection of all valuation rings containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010124.png" />. A valuation ring is totally integrally closed if and only if its valuation is real, that is, has rank 1. A valuation ring is Noetherian if and only if the valuation is discrete.
 
An important property of valuation rings is that they are integrally closed. Moreover, for an arbitrary integral ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010123.png" /> its integral closure is equal to the intersection of all valuation rings containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096010/v096010124.png" />. A valuation ring is totally integrally closed if and only if its valuation is real, that is, has rank 1. A valuation ring is Noetherian if and only if the valuation is discrete.

Revision as of 20:35, 9 April 2017

logarithmic norm, norm on a field

A mapping from a field into , where is a totally ordered Abelian group, the adjoined element is assumed to be larger than any element of , and for all . Here the valuation must satisfy the following conditions:

1) , for ;

2) ;

3) .

The image of under is a subgroup of , called the value group of the valuation . Throughout what follows it is assumed that .

By the same axioms one defines logarithmic valuations of rings. Every ring with a non-Archimedean norm (cf. Norm on a field) can be made into a logarithmically-valued ring if one passes in the groupoid of values from the multiplicative to the additive notation and reverses the order. The element 0 is then naturally denoted by the symbol . The reverse transition from a ring with a logarithmic valuation to one with a non-Archimedean norm is also possible. If in a ring a non-Archimedean real norm is given, then the corresponding transition can be obtained by replacing each positive real number by . The resulting logarithmic valuation is also called real.

Two valuations and are said to be equivalent if there is an isomorphism of ordered groups such that for all non-zero elements ,

The set of those elements of for which is a subring of , called the valuation ring of in . It is always a local ring. The elements of for which form a maximal ideal of , called the valuation ideal of . The quotient ring , which is a field, is called the residue field of the valuation .

Let and be two valuations on a field . The rings of these valuations, regarded as subrings of , are the same if and only if these valuations are equivalent. Thus, knowing all valuations of a field (up to equivalence) is the same as knowing all subrings that occur as valuation rings for this field. A subring of is a valuation ring for if and only if for every non-zero element at least one of and belongs to . Thus, a valuation ring can be defined abstractly as an integral ring (integral domain) that satisfies this condition relative to its field of fractions. Every such ring is the ring of the so-called canonical valuation for its field of fractions, for which the value group is , where is the multiplicative group of invertible elements of , and is ordered by divisibility.

A valuation ring can be defined in yet another way. If are two local rings with maximal ideals and , respectively, then one says that dominates if . Dominance is a partial order relation on the set of subrings of . The maximal elements of this set are exactly the valuation rings of . If is a valuation ring and is a ring with the same field of fractions as , then is also a valuation ring and is the localization of with respect to some prime ideal.

Examples of valuations.

1) The valuation defined by

is called improper or trivial. Any valuation of a finite field is trivial.

2) Let be a field and let be the field of Laurent series over . Associating to a series , where , its order (and to the null series) is a valuation with value group (the additive group of integers) and valuation ring .

A valuation with values in is called discrete; about their valuation rings see Discretely-normed ring. For a description of all valuations of the field of rational numbers, see [4].

For each totally ordered Abelian group there is a valuation of a certain field with value group .

Ideals in valuation rings.

The set of ideals in a valuation ring is totally ordered by inclusion; every ideal of finite type is principal, that is, a valuation ring is a Bezout ring. A more complete description of the structure of ideals in a valuation ring can be given in terms of the value group of the valuation.

A subset of a totally ordered set is said to be major if and imply . Let be the ring of a valuation of a field with value group , let be the sub-semi-group of positive elements of , and let be a major set in . The mapping is a bijection between the set of major subsets of and the set of ideals of . Principal ideals correspond to majors having a minimal element. Prime ideals also correspond to majors of special form, namely: , where is the positive part of a convex subgroup of . Thus, there is a one-to-one correspondence between the prime ideals of and the convex subgroups of the value group .

Let be the prime ideal corresponding to a convex subgroup . Then the composite mapping is a valuation of with valuation ring and valuation ideal ; moreover, on the field there is an induced valuation with values in and valuation ring . In this manner a valuation splits into simpler ones. Let be a valuation ring. Then the prime spectrum of without the zero () is a totally ordered set, and its type is called the height or rank of the corresponding valuation. If is finite, then the height of the valuation is the number of elements in , and this is the same as the number of proper convex subgroups of . A valuation of finite rank can be reduced to valuations of rank 1. The latter are characterized by the fact that their value groups are Archimedean (cf. Archimedean group), that is, they are isomorphic to a subgroup of the additive group of real numbers. In this case the mapping is an ultrametric norm on .

An important property of valuation rings is that they are integrally closed. Moreover, for an arbitrary integral ring its integral closure is equal to the intersection of all valuation rings containing . A valuation ring is totally integrally closed if and only if its valuation is real, that is, has rank 1. A valuation ring is Noetherian if and only if the valuation is discrete.

Valuations and topologies.

Let be a valuation on a field and let , where . The collection of all , , is a fundamental system of neighbourhoods of zero for a topology of , which is said to be the topology determined by the valuation . It is separable and disconnected. The topology induced by on is, as a rule, different from that of a local ring. For a non-trivial valuation of the topology is locally compact if and only if is discrete, the valuation ring is complete, and the residue field of is finite; is then compact. The completion of relative to is a field; can be extended by continuity to a valuation , and the topology of is the same as . The valuation ring of is the completion of the valuation ring of .

Two valuations and of are called independent if the topologies and are distinct; this is equivalent to the fact that the valuation rings and generate . Inequivalent valuations of height 1 are always independent. There is an approximation theorem for valuations: Let , , be independent valuations, let , . Then there is an element in such that for all .

Extension of valuations.

If is a valuation of and is a subfield of , then the restriction of to is a valuation of , and its value group is a subgroup of ; is then called an extension of . Conversely, if is a valuation on and is an extension of , then there is always a valuation of that extends . The index of in is called the ramification index of with respect to and is denoted by . The residue field of can be identified with a subfield of the residue field and the degree of the extension is denoted by and is called the residue degree of relative to . An extension of a valuation is said to be immediate if .

Let be an extension of and let be the set of all extensions of to . If is a finite extension of of degree , then the set of all extensions of is finite, and

In several cases equality holds, for example when is discrete and either is complete or is separable over . If is a normal extension of , then the extensions of to are permuted transitively by the -automorphisms of ; in particular, if is a purely inseparable extension of , then has only one extension. In the case of an arbitrary extension and an extension of a valuation , the transcendence degree of over is greater than or equal to the sum

where is the transcendence degree of the extension of the residue field of over that of and is the dimension of the space .

The concept of a valuation was introduced and studied by W. Krull in [1]. It is also widely used in algebraic geometry. Thus, in terms of "valuation rings" one can construct the abstract Riemann surface of a field (cf. [3]).

References

[1] W. Krull, "Allgemeine Bewertungstheorie" J. Reine Angew. Math. , 167 (1932) pp. 160–196 Zbl 0004.09802 Zbl 58.0148.02
[2] N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) (Translated from French) MR0360549 Zbl 0279.13001
[3] O. Zariski, P. Samuel, "Commutative algebra" , 2 , Springer (1975) MR0389876 MR0384768 Zbl 0313.13001
[4] A.G. Kurosh, "Lectures on general algebra" , Chelsea (1963) (Translated from Russian) MR0158000 Zbl 0121.25901


Comments

References

[a1] O. Endler, "Valuation theory" , Springer (1972) MR0357379 Zbl 0257.12111
How to Cite This Entry:
Valuation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Valuation&oldid=40922
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article