Regular ring
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.
The origin of the term regular ring lies in the fact that an affine variety is nonsingular if and only if its ring of regular functions is regular.
For regular rings, Krull dimension agrees with global homological dimension.
Jean-Pierre Serre defined a regular ring as a commutative noetherian ring of finite global homological dimension. His definition is stronger than the definition above, which allows regular rings of infinite Krull dimension.
Examples of regular rings include fields and Dedekind domains. If A is regular then so is A, with dimension one greater than that of A.
In particular if is a field, the polynomial ring is regular. This is Hilbert's syzygy theorem.
Any localization of a regular ring is regular as well.
A regular ring is reduced but need not be an integral domain. For example, the product of two regular integral domains is regular, but not an integral domain.
