1 Definition and basic properties
A valuation ring is an integral domain with a strong comparability property: for every element of its field of fractions, either the element itself or its inverse lies in the ring. This simple condition has far-reaching consequences. It forces the ring to be local, makes its ideals highly ordered, and connects the ring to a valuation on the fraction field. Valuation rings are therefore a standard tool for studying divisibility, local behavior, and the structure of algebraic extensions.
1.1 Equivalent characterizations
Several conditions are equivalent to the defining property of a valuation ring. One formulation says that for any two elements in the fraction field, the principal ideals they generate are comparable by inclusion. Another says that the ring is a local domain whose ideals are linearly ordered. These descriptions are often easier to use in practice because they express the same structure in terms of divisibility rather than inversion.
1.2 Field of fractions formulation
If R is an integral domain with field of fractions K, then R is a valuation ring when every nonzero x in K satisfies x in R or x⁻¹ in R. This condition means that every fraction is controlled by the ring in one direction or the other. It also implies that membership in the ring reflects an algebraic notion of “no worse than” relative to the valuation.
1.3 Relationship to local rings
Every valuation ring is local, so it has a unique maximal ideal. However, not every local ring is a valuation ring; the extra requirement is that all elements of the fraction field be comparable with respect to divisibility. This distinction makes valuation rings much more rigid than ordinary local rings.
1.3.1 Maximal ideal and units
The maximal ideal consists of precisely those elements whose inverses do not lie in the ring. Units are exactly the elements whose inverses also lie in the ring. As a result, every nonzero element of the fraction field is either a unit-like element of the ring or belongs to the opposite side of the divisibility relation.
1.3.2 Locality and comparability of elements
In a valuation ring, any two elements can be compared by divisibility: for a and b, either a divides b or b divides a in a suitable sense. This comparability leads to a total ordering on principal ideals. It is one of the main structural features distinguishing valuation rings from general local domains.
1.4 Examples
Valuation rings appear in several classical settings, especially in algebraic number theory and algebraic geometry. The most familiar examples come from discrete valuations, though non-discrete examples are equally important in advanced theory.
1.4.1 Discrete valuation rings
A discrete valuation ring is a valuation ring whose associated value group is isomorphic to the integers. Such rings are Noetherian, local, and principal ideal domains with a unique nonzero prime ideal. They are central examples because they model the local behavior of smooth one-dimensional objects.
1.4.2 Rings of formal power series
The ring of formal power series k[[t]] over a field k is a valuation ring in the one-variable case when considered through the t-adic valuation. An element is measured by the lowest power of t appearing in it. This example illustrates how valuations record order of vanishing.
1.4.3 Non-discrete valuation rings
Not all valuation rings come from discrete data. Some have dense or non-cyclic value groups, producing non-Noetherian rings with more complicated ideal structure. These rings are useful in contexts where limiting processes or infinitely refined divisibility relations are needed.
2 Valuations and valuation rings
Valuation rings and valuations are two sides of the same theory. A valuation is a function that assigns sizes to elements of a field in a way compatible with addition and multiplication, while its valuation ring is the subring of elements of nonnegative size. This correspondence is fundamental in understanding how algebraic and order-theoretic ideas interact.
2.1 From valuations to rings
Given a valuation on a field K, one can form a valuation ring by taking all elements whose value is at least zero. This ring captures the bounded part of the field with respect to the valuation. The construction turns numerical data into a ring-theoretic object.
2.1.1 Valuation ideals
The valuation ring contains distinguished ideals defined by elements of positive value or by lower bounds on value. These ideals often describe neighborhoods of zero in the associated topology. In many cases, they control approximation and convergence phenomena.
2.1.2 Valuation equivalence classes
Different valuations can determine the same valuation ring if they have the same nonnegative part. Such valuations are often regarded as equivalent for ring-theoretic purposes. The valuation ring then encodes the equivalence class rather than the exact numerical normalization.
2.2 From rings to valuations
Starting from a valuation ring, one can recover a valuation by comparing principal ideals or by using the multiplicative structure of the fraction field. The values measure how elements dominate one another. This reconstruction explains why valuation rings and valuations are so tightly linked.
2.2.1 Value groups
The value group is an ordered abelian group that records the sizes assigned by the valuation. It can be discrete, dense, or of higher rank. The ring structure reflects the order structure of this group through the nesting of ideals.
2.2.2 Residue fields
The residue field is obtained by quotienting the valuation ring by its maximal ideal. It describes the “leading-term” information after the valuation has removed the higher-order part. Together, the residue field and value group form the basic invariants of a valuation ring.
2.3 Rank and Krull dimension
The rank of a valuation ring refers to the complexity of the ordering on its value group, while Krull dimension measures the length of chains of prime ideals. For valuation rings, these notions are closely related. The dimension often reflects the number of successive layers of valuation behavior.
2.3.1 Rank-one valuation rings
Rank-one valuation rings have value groups that embed into the real numbers as ordered groups. They are often easier to visualize because the valuation behaves like a single scale of size. Many classical nonarchimedean examples fall into this category.
2.3.2 Higher-rank valuation rings
Higher-rank valuation rings involve value groups with several independent layers of order. Their prime ideals may form longer chains, and their local structure can be more intricate. These rings arise in iterated valuation settings and in more refined birational analyses.
3 Ideal theory
The ideal structure of a valuation ring is unusually orderly. Ideals are strongly constrained by the total comparability of elements, and this gives valuation rings many properties resembling principal ideal domains, though not always in a Noetherian setting. The resulting theory is central to understanding divisibility inside the ring.
3.1 Prime ideals
Prime ideals in a valuation ring are arranged in a chain under inclusion. This means that any two prime ideals are comparable. Such a chain is a hallmark of valuation theory and reflects the ordered nature of the associated value group.
3.1.1 Chain of prime ideals
The prime ideals of a valuation ring form a totally ordered family. In particular, there is no branching in the prime spectrum. This contrasts with the behavior of general commutative rings, where incomparable prime ideals are common.
3.1.2 Prime spectrum
The prime spectrum of a valuation ring has a simple topological shape because of the chain condition. Open and closed sets reflect the nesting of primes. This makes the spectrum especially useful in geometric applications, where valuation rings serve as local probes of a space.
3.2 Finitely generated ideals
Every finitely generated ideal in a valuation ring is principal. This follows from the comparability of generators: one generator always dominates the others. As a result, finitely generated ideals are particularly easy to classify.
3.2.1 Principal ideals
Principal ideals play a central role because they already describe all finitely generated ideals. Their inclusion relation mirrors divisibility among generators. This yields a highly streamlined ideal theory compared with that of arbitrary domains.
3.2.2 Total ordering by inclusion
Any two ideals in a valuation ring are comparable by inclusion if they are principal, and often much of the ideal structure inherits this order. This total ordering is one reason valuation rings are so tractable. It also underlies many uniqueness arguments in valuation theory.
3.3 Fractional ideals
Fractional ideals extend ideal theory from the ring to its fraction field. In valuation rings, these objects are especially well behaved because divisibility is so tightly controlled. They provide a convenient language for expressing multiplicative relations among submodules of the fraction field.
3.3.1 Invertibility
In many valuation-theoretic settings, fractional ideals can be tested for invertibility using the ordered structure of the ring. The behavior is often simpler than in general domains, though it depends on whether the ring is Noetherian or discrete. In discrete cases, invertible fractional ideals behave much like powers of a uniformizer.
3.3.2 Divisibility relations
Fractional ideals encode how one element or submodule divides another. Because ideals are ordered, these relations can be read directly from inclusion. This makes valuation rings a natural environment for studying arithmetic of divisors in an abstract setting.
4 Structural properties
Valuation rings are characterized by a small number of structural features that determine much of their algebra. They are local, integrally closed, and closely connected to Prüfer-type conditions. These properties make them especially stable under many standard constructions.
4.1 Maximal ideal and residue field
The maximal ideal of a valuation ring collects all nonunits, and the quotient by this ideal gives the residue field. The residue field retains the “constant term” information after higher-order behavior has been removed. In geometric applications, it often corresponds to the value of a function at a point.
4.2 Integral closure
Valuation rings are integrally closed in their fraction fields. This means that any element algebraic over the ring and satisfying a monic polynomial with coefficients in the ring must already lie in the ring. Such closure properties are one reason valuation rings are useful in normalization and extension problems.
4.2.1 Valuation rings as integrally closed domains
The integrally closed property follows from the valuation condition and the ordered behavior of elements. If an element of the fraction field satisfies a monic polynomial over the ring, the valuation constraints force it to have nonnegative value. Hence it belongs to the ring.
4.2.2 Consequences for extensions
Integral closure helps control how valuation rings sit inside larger rings and fields. When passing to algebraic extensions, one often studies how valuations extend and how integral dependence constrains the resulting rings. This is a major theme in local algebra and field arithmetic.
4.3 Bézout and Prüfer connections
Valuation rings are closely related to Prüfer domains, and in special cases they are Bézout domains. These connections place valuation theory within a broader family of domains where finitely generated ideals have particularly simple behavior.
4.3.1 Prüfer domains
A Prüfer domain is a domain in which every finitely generated nonzero ideal is invertible. Valuation rings serve as local models for Prüfer domains, and many properties of Prüfer domains can be checked by localizing at valuation rings. This relationship is important in multiplicative ideal theory.
4.3.2 Bézout domain cases
In some valuation rings, especially discrete ones, every finitely generated ideal is not only invertible but principal. Such rings are Bézout domains. This is the strongest form of ideal simplicity and is one reason discrete valuation rings are so widely used.
5 Extensions and local behavior
Valuation rings behave well under field extensions, completion, and localization, though the precise outcome depends on the extension data. These operations are central in arithmetic and geometry because they describe how local information changes under enlargement of the ambient field or ring.
5.1 Extensions of valued fields
When a valued field is extended, its valuation may extend in one or more ways to the larger field. The associated valuation rings then extend accordingly. Understanding these extensions is essential in ramification theory and local analysis.
5.1.1 Ramification and residue degree
In finite extensions, the valuation can split its complexity into ramification and residue-field growth. Ramification measures how the value group changes, while residue degree tracks the extension of residue fields. These invariants summarize much of the local arithmetic of the extension.
5.1.2 Extension of valuation rings
An extension of valued fields may admit one or several valuation rings lying over the original one. Their structure reflects the arithmetic of the extension. In favorable cases, the extended ring remains local and retains a closely related value group.
5.2 Henselian and complete cases
Special valuation rings arise in henselian and complete settings, where polynomial equations and convergence behave especially well. These conditions greatly enhance the ability to lift solutions from residue fields and to control local analytic phenomena.
5.2.1 Hensel's lemma
Hensel's lemma is a key tool for lifting approximate roots of polynomials to genuine roots in the valuation ring. It is one of the most important results in local field theory. The lemma explains why valuation rings are so effective for solving equations modulo the maximal ideal.
5.2.2 Completions
Completing a valued field often produces a complete valuation ring with stronger analytic properties. Completion preserves the valuation structure while adding limits of Cauchy sequences. This process is fundamental in p-adic analysis and related theories.
5.3 Localization and domination
Valuation rings are often used to study local properties of other rings by comparing their localizations. A valuation ring may dominate a local ring, meaning that it contains the local ring and shares the same center on the corresponding space. This provides a refined tool for measuring singularities and local behavior.
5.3.1 Dominating local rings
A valuation ring dominates a local ring when it contains the ring and its maximal ideal contracts to the maximal ideal of the local ring. Such domination captures the idea that the valuation ring is a more finely graded local object. It is commonly used in resolution and birational arguments.
5.3.2 Center of a valuation
The center of a valuation on a ring or scheme is the point where the valuation ring naturally maps. This concept links abstract valuation data to geometric points. Centers are especially important in birational geometry, where they track how a valuation interacts with models of a variety.
6 Applications
Valuation rings appear across several branches of mathematics. They provide local coordinates for geometric and arithmetic problems, and they supply a language for comparing singularities, extensions, and divisibility. Their usefulness comes from combining algebraic simplicity with strong structural control.
6.1 Algebraic geometry
In algebraic geometry, valuation rings serve as probes of birational structure and local properties of schemes. They help describe how functions behave near points and how different models of a variety relate to one another.
6.1.1 Birational geometry
Valuation rings are often used to compare birationally equivalent varieties. A valuation can detect which functions extend regularly on a given model and which do not. This makes valuation theory a standard ingredient in the study of rational maps and exceptional divisors.
6.1.2 Zariski–Riemann spaces
The Zariski–Riemann space organizes valuation rings dominating a given field or scheme into a geometric object. It provides a compact way to encode all possible local valuations at once. This space is a classical bridge between algebraic geometry and valuation theory.
6.2 Number theory
In number theory, valuation rings underlie local fields and p-adic methods. They formalize the notion of divisibility by a prime and make it possible to study arithmetic problems one local place at a time.
6.2.1 p-adic examples
The ring of p-adic integers is a standard discrete valuation ring. Its valuation measures the exponent of p dividing an integer or p-adic number. This example illustrates the arithmetic meaning of valuation rings in a familiar setting.
6.2.2 Local-global methods
Valuation rings support local-global approaches by allowing a problem to be studied at each valuation separately. Information from all relevant local places can then be combined to address global questions. This method is pervasive in modern arithmetic.
6.3 Commutative algebra
Valuation rings provide a testing ground for many concepts in commutative algebra, including integral dependence, dimension, and ideal theory. Because their structure is so ordered, they often serve as extremal examples or local models for more general rings.
6.3.1 Integral dependence
Integral dependence is especially transparent in valuation rings because the ring is integrally closed and local. Questions about whether an element is integral often reduce to checking valuation bounds. This makes valuation rings useful in normalization arguments.
6.3.2 Chain conditions
Valuation rings illustrate how chain conditions may fail or hold depending on the value group. Discrete valuation rings satisfy strong finiteness properties, while more general valuation rings may not be Noetherian. This contrast helps clarify the role of ideal chains in commutative algebra.