In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension.
[1] In symbols, let A be any Noetherian local ring with unique maximal ideal m, and suppose a1, ..., an is a minimal set of generators of m. Then Krull's principal ideal theorem implies that n ≥ dim A, and A is regular whenever n = dim A.
[a] For Noetherian local rings, there is the following chain of inclusions: There are a number of useful definitions of a regular local ring, one of which is mentioned above.
is a Noetherian local ring with maximal ideal
, then the following are equivalent definitions: Multiplicity one criterion states:[2] if the completion of a Noetherian local ring A is unimixed (in the sense that there is no embedded prime divisor of the zero ideal and for each minimal prime p,
(The converse is always true: the multiplicity of a regular local ring is one.)
In the positive characteristic case, there is the following important result due to Kunz: A Noetherian local ring
of positive characteristic p is regular if and only if the Frobenius morphism
No similar result is known in characteristic zero (it is unclear how one should replace the Frobenius morphism).
For example, there is an infinite resolution Using another one of the characterizations,
The Auslander–Buchsbaum theorem states that every regular local ring is a unique factorization domain.
is a complete regular local ring that contains a field, then where
Regular local rings were originally defined by Wolfgang Krull in 1937,[3] but they first became prominent in the work of Oscar Zariski a few years later,[4][5] who showed that geometrically, a regular local ring corresponds to a smooth point on an algebraic variety.
Let Y be an algebraic variety contained in affine n-space over a perfect field, and suppose that Y is the vanishing locus of the polynomials f1,...,fm.
Y is nonsingular at P if Y satisfies a Jacobian condition: If M = (∂fi/∂xj) is the matrix of partial derivatives of the defining equations of the variety, then the rank of the matrix found by evaluating M at P is n − dim Y. Zariski proved that Y is nonsingular at P if and only if the local ring of Y at P is regular.
(Zariski observed that this can fail over non-perfect fields.)
This implies that smoothness is an intrinsic property of the variety, in other words it does not depend on where or how the variety is embedded in affine space.
It also suggests that regular local rings should have good properties, but before the introduction of techniques from homological algebra very little was known in this direction.
Once such techniques were introduced in the 1950s, Auslander and Buchsbaum proved that every regular local ring is a unique factorization domain.
Again, this lay unsolved until the introduction of homological techniques.
It was Jean-Pierre Serre who found a homological characterization of regular local rings: A local ring A is regular if and only if A has finite global dimension, i.e. if every A-module has a projective resolution of finite length.
This justifies the definition of regularity for non-local commutative rings given in the next section.
In commutative algebra, a regular ring is a commutative Noetherian ring, such that the localization at every prime ideal is a regular local ring: that is, every such localization has the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension.
Jean-Pierre Serre defined a regular ring as a commutative noetherian ring of finite global homological dimension.
Examples of regular rings include fields (of dimension zero) and Dedekind domains.
In the case of a field, this is Hilbert's syzygy theorem.
A regular ring is reduced[b] but need not be an integral domain.