1 Definition and basic concepts

A residue field is the field obtained from a local ring by factoring out its unique maximal ideal. This construction removes all elements that fail to be invertible and leaves a minimal field capturing the ring’s local information. In algebra, the residue field is often viewed as the “value at a point” of the ring.

1.1 Local rings

A local ring is a ring with exactly one maximal ideal. This condition makes the ring suitable for studying behavior near a single algebraic point. Many rings arising from localization, completion, or geometry are local.

1.2 Maximal ideals

The maximal ideal of a local ring consists precisely of the nonunits. Its elements are those that cannot be inverted inside the ring. Collapsing this ideal to zero produces the residue field.

1.3 Quotient construction

If \(R\) is a local ring with maximal ideal \(\mathfrak m\), the residue field is the quotient \(R/\mathfrak m\). The quotient map sends every element of \(\mathfrak m\) to zero and every unit to a nonzero class. Since the quotient by a maximal ideal is a field, this ring is automatically a field.

1.4 Basic examples

Residue fields arise in many familiar settings, from integers and polynomial rings to localizations and formal power series. In each case, the same principle applies: identify a maximal ideal and form the quotient.

1.4.1 Residue field of a ring at a maximal ideal

For a ring \(R\) and maximal ideal \(\mathfrak m\), the residue field at \(\mathfrak m\) is the field \(R/\mathfrak m\). This is the simplest field naturally associated with the chosen ideal. It records the ring’s behavior after all elements of \(\mathfrak m\) are treated as negligible.

1.4.2 Residue field of a local ring

In a local ring, the residue field means the quotient by the unique maximal ideal. Because the maximal ideal is determined uniquely, the residue field is an intrinsic invariant of the local ring. It is often denoted by the same letter as the ring with a subscript indicating the maximal ideal.

1.5 Notation and terminology

Common notation includes \(R/\mathfrak m\), \(k(\mathfrak m)\), or simply \(k\) when the context is clear. The phrase “residue field” emphasizes the remaining field after quotienting out the maximal ideal. In geometry, it is also called the field of the point.

2 Algebraic properties

Residue fields inherit their structure from the parent ring through a canonical quotient map. Their algebraic behavior is straightforward but highly useful, especially for local arguments and module-theoretic methods.

2.1 Canonical projection

The natural surjective homomorphism \(R \to R/\mathfrak m\) is the canonical projection. It sends each element to its residue class modulo the maximal ideal. This map is the main bridge between the ring and its residue field.

2.2 Universal property

The quotient \(R/\mathfrak m\) is universal among ring maps from \(R\) to a field that kill \(\mathfrak m\). Any homomorphism from \(R\) to a field with kernel containing \(\mathfrak m\) factors uniquely through the residue field. This makes the construction canonical and functorial in a limited sense.

2.3 Units and nonunits

An element of a local ring is either a unit or belongs to the maximal ideal. Units map to nonzero elements in the residue field, while nonunits map to zero only if they lie in the maximal ideal. This dichotomy is one of the most useful features of local rings.

2.4 Dependence on the maximal ideal

The residue field depends on the chosen maximal ideal. In a ring with several maximal ideals, different choices generally produce nonisomorphic fields. This dependence is essential in localization and geometric applications, where a point is singled out by the ideal.

3 Examples

Concrete examples show how residue fields reflect familiar arithmetic and algebraic settings. They also illustrate how the same construction behaves across different kinds of rings.

3.1 Fields as residue fields

If \(R\) is already a field, its only maximal ideal is \((0)\). The residue field is therefore \(R/(0)\), which is just \(R\) itself. This is the simplest possible case.

3.2 Residue fields of integers modulo primes

For the integers \(\mathbb Z\), the maximal ideals are generated by prime numbers \(p\). The residue field at \((p)\) is \(\mathbb Z/p\mathbb Z\), a finite field with \(p\) elements. This is the classical arithmetic example of reduction modulo \(p\).

3.3 Residue fields of polynomial rings

In polynomial rings, maximal ideals often correspond to algebraic or geometric points. For a ring like \(k[x]\), a maximal ideal \((x-a)\) yields the residue field \(k\) when \(a\in k\). More generally, maximal ideals in multivariable polynomial rings may produce finite field extensions of the base field.

3.4 Residue fields of localizations

Localization at a prime or maximal ideal produces a local ring whose residue field is naturally related to the original ring. For example, localizing \(\mathbb Z\) at \((p)\) gives a local ring with residue field \(\mathbb Z/p\mathbb Z\). Localization preserves the information needed to study the ring near the chosen prime.

3.5 Residue fields in power series rings

For a formal power series ring \(k[[x_1,\dots,x_n]]\), the maximal ideal is generated by the variables. The residue field is the coefficient field \(k\). This reflects the idea that all higher-order terms vanish at the origin.

4 Residue fields in commutative algebra

In commutative algebra, residue fields are central tools for analyzing modules, dimensions, and local properties. They allow complicated modules and rings to be tested against a simple field.

4.1 Localizations at prime ideals

Localizing a ring at a prime ideal produces a local ring whose maximal ideal is induced by that prime. The associated residue field describes the local fiber at the prime. This is a standard way to isolate the behavior of a ring near a single prime.

4.2 Nakayama-type arguments

Residue fields are essential in Nakayama’s lemma and related results. Since a module modulo the maximal ideal detects generators and relations, one can often reduce questions about finitely generated modules to vector spaces over the residue field. This is especially effective in proving minimality statements.

4.3 Tangent spaces and cotangent spaces

The maximal ideal modulo its square, \(\mathfrak m/\mathfrak m^2\), is a vector space over the residue field and is called the cotangent space in many contexts. Its dual is the tangent space. These spaces measure first-order infinitesimal behavior near a point.

4.4 Regular local rings

A regular local ring is one whose maximal ideal can be generated by exactly as many elements as the Krull dimension. The residue field enters in the definition through the dimension of \(\mathfrak m/\mathfrak m^2\) as a vector space. Thus residue fields help quantify smoothness and local simplicity.

5 Residue fields in algebraic geometry

In algebraic geometry, residue fields attach a field to each point of a scheme. They encode the algebraic content visible at that point and serve as a basic link between points and functions.

5.1 Points of schemes

Each point of a scheme corresponds to a prime ideal in an affine chart. The residue field at that point is obtained from the local ring at the point. This field measures the algebraic nature of the point itself.

5.2 Local rings of schemes

The local ring at a scheme point contains functions defined near that point. Its maximal ideal consists of functions vanishing at the point, and the residue field is the quotient. This captures the pointwise evaluation of regular functions.

5.3 Closed points

At a closed point of a scheme of finite type over a field, the residue field is often a finite extension of the base field. Such points are the geometric analogues of ordinary points with coordinates satisfying algebraic relations. Their residue fields can be viewed as the fields generated by those coordinates.

5.4 Geometric meaning of residue fields

Residue fields describe the “field of definition” of a point. They tell how much coordinate data is needed to specify the point over a base ring or field. In this sense, they refine the idea of evaluating a function at a point.

5.5 Function fields versus residue fields

A function field describes the global generic behavior of an irreducible variety or scheme, while residue fields describe local behavior at individual points. The function field governs rational functions, whereas residue fields record pointwise values and local specializations. The two notions complement each other.

6 Extensions and field-theoretic aspects

Residue fields often arise as subfields or extensions of a base field, especially in geometric and arithmetic settings. Their extension properties can reflect subtle local algebraic structure.

6.1 Finite residue fields

Some local rings, especially those coming from arithmetic contexts, have finite residue fields. A familiar example is \(\mathbb Z_p\)-like situations, where the residue field is a finite field. Finite residue fields are important in counting arguments and congruence methods.

6.2 Residue field extensions

A morphism of rings or schemes can induce an extension between residue fields. Such extensions measure how a point maps to another point and how local coordinates change. They are often finite in algebraic settings.

6.3 Separable and inseparable behavior

In positive characteristic, residue field extensions may be separable or inseparable. This distinction influences the structure of local morphisms and the behavior of points under field extension. It is especially relevant in algebraic geometry over imperfect fields.

6.4 Residue fields under ring homomorphisms

A local homomorphism between local rings sends the maximal ideal of the source into that of the target. This induces a map on residue fields. The resulting field homomorphism reflects the local effect of the original ring map.

7 Applications

Residue fields are used whenever one needs to reduce a problem to a simpler field-valued setting. They appear in modular arithmetic, local structure theory, and lifting arguments.

7.1 Reduction modulo a maximal ideal

Reducing modulo a maximal ideal converts computations in a local ring into computations in a field. This often simplifies equations and module questions. It is a standard technique for testing local behavior.

7.2 Local criteria for properties

Many properties of rings and modules can be checked after passage to the residue field. For example, generating sets, linear independence, and first-order infinitesimal data are often detected modulo the maximal ideal. This makes residue fields central to local criteria.

7.3 Henselian rings and lifts

In Henselian settings, solutions over the residue field can sometimes be lifted to the local ring. This phenomenon underlies several approximation and lifting results. The residue field provides the starting point for these lifts.

7.4 Number-theoretic applications

In number theory, residue fields appear in local fields, completions, and reduction modulo primes. They help define congruences and local invariants. Their finite or finite-extension structure often makes arithmetic analysis more tractable.

Residue fields belong to a broader family of constructions that isolate local or pointwise information. Several related notions are closely connected in algebra and geometry.

8.1 Residue ring

A residue ring is any quotient by an ideal, not necessarily maximal. Unlike a residue field, it need not be a field. The residue field is the special case obtained from a maximal ideal in a local ring.

8.2 Prime ideals and prime spectra

Prime ideals form the points of the prime spectrum of a ring. Residue fields are attached to these points through localization and quotienting. This link is fundamental in scheme theory.

8.3 Local rings and valuation rings

Local rings provide the immediate setting for residue fields, while valuation rings offer a special class with a comparable pointwise structure. In both cases, the maximal ideal controls the passage to the residue field. These rings are central in local algebra and arithmetic geometry.

8.4 Fiber over a point

The fiber over a point is the geometric object obtained by restricting a morphism to that point. Its structure is often governed by the residue field of the point. This makes residue fields essential in understanding local fibers and base change.