1 Definition and basic properties

A local ring is a ring with exactly one maximal ideal. In the commutative setting, this simple condition has strong consequences for the structure of the ring and for the behavior of its modules and ideals. Local rings are central in algebra because they isolate the algebraic data visible at a single point or prime ideal.

A local ring is typically written with maximal ideal \(\mathfrak m\). Elements outside \(\mathfrak m\) are units, so the ring is divided cleanly into invertible and noninvertible elements. This makes many arguments simpler than in a general ring, where several maximal ideals may interact.

1.1 Unique maximal ideal

The defining feature of a local ring is the uniqueness of its maximal ideal. Any proper ideal is contained in this maximal ideal, and every nonunit lies in it. In commutative algebra, this property often signals that the ring describes a single “local” piece of a geometric object.

1.2 Units and nonunits

In a local ring, the nonunits are exactly the elements of the maximal ideal. As a consequence, the set of units forms the complement of \(\mathfrak m\). This dichotomy is one of the most useful practical features of local rings, especially in module theory and in computations involving invertibility.

1.3 Examples and nonexamples

A basic example is a field, which is a local ring whose maximal ideal is \(0\). Another important example is the localization \(R_{\mathfrak p}\) of a commutative ring \(R\) at a prime ideal \(\mathfrak p\), which is local. Rings such as \(\mathbb Z\) or polynomial rings over a field are generally not local, since they have many maximal ideals.

1.4 Equivalent characterizations

There are several equivalent ways to recognize a local ring. These characterizations are often used interchangeably, depending on whether one wants to focus on units, ideals, or homomorphic images.

1.4.1 Complement of the maximal ideal as the set of units

A commutative ring is local if and only if its nonunits form an ideal. When this happens, that ideal must be the unique maximal ideal. This criterion is often the most direct one for verification.

1.4.2 Intersection of all maximal ideals

A ring is local precisely when the intersection of all its maximal ideals is itself maximal and equals the only maximal ideal. In such a ring, the Jacobson radical coincides with the maximal ideal, reflecting the absence of competing local directions.

2 Construction of local rings

Local rings are commonly produced by localization, which formally inverts a chosen set of elements. This process forces elements outside a designated prime or maximal ideal to become units and thereby concentrates attention on one region of the ring.

2.1 Localization at a prime ideal

If \(R\) is a commutative ring and \(\mathfrak p\) a prime ideal, the localization \(R_{\mathfrak p}\) is a local ring. Its unique maximal ideal consists of fractions whose numerators lie in \(\mathfrak p\). This construction is fundamental in algebraic geometry and number theory.

2.2 Localization at a multiplicative set

More generally, one may localize a ring at a multiplicative set \(S\). The resulting ring need not be local, but it becomes local when \(S\) is chosen as the complement of a prime ideal or other suitable set that excludes exactly one maximal ideal. Localization changes the ring only in the directions relevant to \(S\).

2.3 Quotients and inherited local structure

A quotient of a local ring by an ideal contained in the maximal ideal is again local. The new maximal ideal is the image of the original one. This inheritance is useful for constructing simpler local rings from more complicated ones.

2.4 Examples from polynomial rings and number theory

Polynomial rings localized at a maximal ideal, such as the localization of \(k[x]\) at \((x-a)\), produce local rings describing behavior near a point. In number theory, localizations of \(\mathbb Z\) at a prime ideal \((p)\) yield rings that encode arithmetic at a single prime. These examples illustrate how localization isolates a single source of algebraic complexity.

3 Fundamental ideal-theoretic structure

The ideal theory of a local ring is unusually streamlined. The unique maximal ideal governs the ring’s residue field, radical structure, and prime ideal behavior.

3.1 Maximal ideal and residue field

The quotient of a local ring \(R\) by its maximal ideal \(\mathfrak m\) is a field called the residue field. It records the simplest approximation to the ring and often serves as the ground field for linearized constructions, such as tangent spaces.

3.2 Jacobson radical in a local ring

The Jacobson radical of a commutative ring is the intersection of all maximal ideals. In a local ring, there is only one maximal ideal, so the Jacobson radical equals \(\mathfrak m\). This identification is frequently used in module-theoretic arguments.

3.3 Prime ideals in local rings

Prime ideals in a local ring are automatically contained in the unique maximal ideal. Thus the spectrum of the ring has a distinguished closed point corresponding to \(\mathfrak m\), and all other prime ideals specialize to it.

3.3.1 Chains of prime ideals

The arrangement of prime ideals in a local ring often reflects its dimension theory. Chains of prime ideals ending at the maximal ideal determine the Krull dimension, and their lengths measure the complexity of the ring’s local structure.

3.3.2 The maximal ideal as the unique maximal prime

Because the maximal ideal is the only maximal ideal, it is also the unique maximal prime ideal. Every prime ideal is contained in it, so it plays the role of the top element in the prime spectrum of the ring.

4 Homomorphisms and categorical aspects

Maps between local rings are usually required to respect the local structure. This makes localization compatible with many categorical constructions and simplifies the study of schemes and modules.

4.1 Local homomorphisms

A local homomorphism between local rings is a ring homomorphism that sends the maximal ideal of the target into the maximal ideal of the source, or equivalently maps nonunits to nonunits in the appropriate direction. Such maps preserve the local character of the rings involved.

4.2 Morphisms preserving maximal ideals

A morphism of local rings is typically expected to carry the unique maximal ideal of the source into that of the target. This condition ensures that residue fields are related by a well-defined induced map and that local information is respected under the morphism.

4.3 Universal properties of localization

Localization satisfies a universal property: any ring map that sends elements of a multiplicative set to units factors uniquely through the localized ring. This property makes local rings especially natural in categorical settings, since they are built to invert precisely the elements irrelevant to the chosen point.

5 Modules over local rings

Modules over local rings often behave more transparently than over general rings. Many structural statements, especially about generators and bases, become stronger because the maximal ideal controls noninvertibility.

5.1 Nakayama’s lemma

Nakayama’s lemma is a key result for modules over local rings. It states, in one common form, that if a finitely generated module \(M\) satisfies \(M=\mathfrak m M\), then \(M=0\). More generally, it controls when a set of module elements generates \(M\) by looking at their images modulo \(\mathfrak m\).

5.2 Finite generation and minimal number of generators

For a finitely generated module over a local ring, the number of generators can be read off from the dimension of \(M/\mathfrak m M\) as a vector space over the residue field. This gives a practical way to measure the size of a module at the local level.

5.3 Free modules and projective modules

Over a local ring, finitely generated projective modules are free. This is one of the most useful structural facts about local rings, as it reduces many questions about projective modules to linear algebra over the ring itself.

5.4 Finitely generated modules and the residue field

The residue field acts as a linear approximation tool for finitely generated modules. Passing to \(M/\mathfrak m M\) reveals the minimal number of generators and often detects whether a map is surjective or whether elements are redundant.

6 Noetherian local rings

A Noetherian local ring is a local ring that also satisfies the ascending chain condition on ideals. These rings occupy a central place in modern algebra and geometry because they combine finite ideal-theoretic behavior with a single distinguished point.

6.1 Definition and examples

Typical examples include localizations of Noetherian rings at prime ideals, complete local rings with finitely many variables, and local rings of algebraic varieties at a point. Their Noetherian property makes many finiteness arguments possible.

6.2 Krull dimension

The Krull dimension of a Noetherian local ring measures the length of the longest chain of prime ideals. It is a fundamental invariant that reflects how many independent parameters are needed to describe the local structure.

6.3 Regular local rings

A regular local ring is a Noetherian local ring whose maximal ideal can be generated by exactly as many elements as the Krull dimension. These rings are considered algebraically smooth and form the local algebraic counterpart of nonsingular points.

6.3.1 Maximal ideal generators

The minimal number of generators of the maximal ideal is a central numerical invariant. In a regular local ring, this number matches the dimension, providing a precise criterion for regularity.

6.3.2 Embedding dimension

The embedding dimension is the minimal number of generators of the maximal ideal. It is always at least the Krull dimension in a Noetherian local ring, and equality characterizes regular local rings. The gap between these numbers measures singularity.

Cohen–Macaulay local rings form an important class in dimension theory and commutative algebra. They have depth equal to dimension, which indicates particularly well-behaved homological properties. Other related classes, such as Gorenstein rings, refine this structure further and are studied through local homological invariants.

7 Completion and approximation

Completion replaces a local ring by a limit that captures infinitesimal behavior more faithfully. It is a standard technique for studying local problems through formal series and approximation arguments.

7.1 m-adic completion

The \(\mathfrak m\)-adic completion of a local ring is formed by taking inverse limits of the quotients \(R/\mathfrak m^n\). This construction encodes progressively finer neighborhoods of the closed point and often simplifies calculations.

7.2 Complete local rings

A complete local ring is one that coincides with its \(\mathfrak m\)-adic completion. Such rings are especially amenable to formal methods and are often easier to analyze than the original ring, while preserving much of its local information.

7.3 Formal power series rings

Formal power series rings are standard examples of complete local rings. For a ring \(A\), the ring \(A[[x_1,\dots,x_n]]\) is local under suitable hypotheses, with maximal ideal generated by the variables and the maximal ideal of \(A\). These rings serve as universal models for formal neighborhoods.

7.4 Henselian local rings

A Henselian local ring satisfies a lifting property for certain polynomial factorizations and roots. It behaves like a local ring in which approximate solutions can often be refined to exact ones. Henselian rings are important in algebraic geometry and arithmetic geometry.

8 Local rings in algebraic geometry

Local rings provide the algebraic language for studying varieties and schemes near a point. They translate geometric locality into commutative algebra and allow local questions to be studied through algebraic invariants.

8.1 Stalks of structure sheaves

For a scheme or similar geometric object, the stalk of the structure sheaf at a point is a local ring. It collects functions defined near the point, modulo agreement on smaller neighborhoods, and thus captures the local algebraic structure at that point.

8.2 Local rings of varieties and schemes

The local ring at a point of a variety or scheme reflects the functions and relations visible in a neighborhood of that point. Its maximal ideal corresponds to functions vanishing at the point, and its residue field records the point’s coordinates over the base field.

8.3 Local properties of morphisms

Many geometric properties are local on the source or target and are studied by examining induced maps on local rings. Smoothness, étaleness, and regularity are often formulated or tested using local algebraic criteria.

8.4 Tangent spaces and singularities

The cotangent space \(\mathfrak m/\mathfrak m^2\) of a local ring is closely related to the tangent space at a point. Its dimension gives the embedding dimension and helps detect singularities: if it exceeds the Krull dimension, the point is singular in the regularity sense.

Several classes of rings are closely related to local rings and share part of their behavior. These variants are useful for different kinds of local analysis.

9.1 Semilocal rings

A semilocal ring has finitely many maximal ideals rather than one. It retains some finiteness features of local rings, but local behavior is distributed among several maximal ideals.

9.2 Valuation rings as local rings

Valuation rings are local rings in which ideals are totally ordered by inclusion. They occur naturally in valuation theory and often provide a refined way to measure divisibility and size in a field.

9.3 Artinian local rings

An Artinian local ring is both local and Artinian. Such rings have descending chain condition on ideals and are often finite-dimensional over their residue fields when commutative. They appear in deformation theory and in the study of infinitesimal neighborhoods.

9.4 Strictly local rings

A strictly local ring is a local ring that is Henselian and has a separably closed residue field. These rings are important in étale theory and in the study of local geometric and arithmetic phenomena.