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. In symbols, let A {\displaystyle A} be any Noetherian local ring with unique maximal ideal m {\displaystyle {\mathfrak {m}}} , and suppose a 1 , ⋯ , a n {\displaystyle a_{1},\cdots ,a_{n}} is a minimal set of generators of m {\displaystyle {\mathfrak {m}}} . Then Krull's principal ideal theorem implies that n ≥ dim A {\displaystyle n\geq \dim A} , and A {\displaystyle A} is regular whenever n = dim A {\displaystyle n=\dim A} . The concept is motivated by its geometric meaning. A point x {\displaystyle x} on an algebraic variety X {\displaystyle X} is nonsingular (a smooth point) if and only if the local ring O X , x {\displaystyle {\mathcal {O}}_{X,x}} of germs at x {\displaystyle x} is regular. (See also: regular scheme.) Regular local rings are not related to von Neumann regular rings. For Noetherian local rings, there is the following chain of inclusions:
Universally catenary rings ⊃ Cohen–Macaulay rings ⊃ Gorenstein rings ⊃ complete intersection rings ⊃ regular local rings
Characterizations There are a number of useful definitions of a regular local ring, one of which is mentioned above. If A {\displaystyle A} is a Noetherian local ring with maximal ideal m {\displaystyle {\mathfrak {m}}} , then the following are equivalent definitions. A {\displaystyle A} is regular whenever:
Its Krull dimension is equal to the minimal number of generators of its maximal ideal; that is when m = ( a 1 , … , a n ) {\displaystyle {\mathfrak {m}}=(a_{1},\ldots ,a_{n})} , where n {\displaystyle n} is chosen as small as possible, and
dim A = n {\displaystyle \dim A=n\,} . The generators { a 1 , … , a n } {\displaystyle \{a_{1},\ldots ,a_{n}\}} are then called a regular system of parameters. The dimension of its Zariski tangent space is equal to its Krull dimension; that is, when k = A / m {\displaystyle k=A/{\mathfrak {m}}} is the residue field of A {\displaystyle A} , and
dim k m / m 2 = dim A {\displaystyle \dim _{k}{\mathfrak {m}}/{\mathfrak {m}}^{2}=\dim A\,} . Its global dimension is finite; that is, when gl dim A := sup { pd M ∣ M is an A -module } {\displaystyle {\mbox{gl dim }}A:=\sup\{\operatorname {pd} M\mid M{\text{ is an }}A{\text{-module}}\}} is the supremum of the projective dimensions of all A {\displaystyle A} -modules, and
… excerpt ends here. Continue reading the full article.
