Regular local ring

Regular local ring

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 exactly the same as its Krull dimension. The minimal number of generators of the maximal ideal is always bounded below by the Krull dimension. In symbols, let "A" be a local ring with maximal ideal m, and suppose that m is generated by "a"1, ..., "a""n". Then in general "n" ≥ dim "A", and "A" is defined to be regular if and only if "n" = dim "A".

It is equivalent to say that the dimension of the vector space m/m2, considered as a vector space over the residue field "k"="A"/m of "A", is equal to the dimension of "A". See system of parameters.

Regular local rings were originally defined by Wolfgang Krull, but they first became prominent in the work of Oscar Zariski, 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, 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. 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.

Another property suggested by geometric intuition is that the localization of a regular local ring should again be regular. Geometrically, this corresponds to the intuition that if a surface contains a curve, and that curve is smooth, then the surface is smooth near the curve. Again, this lay unsolved until the introduction of homological techniques. However, Jean-Pierre Serre found a homological characterization of regular local rings: A local ring "A" is regular if and only if "A" has finite global dimension. It is easy to show that the property of having finite global dimension is preserved under localization, and consequently that localizations of regular local rings at prime ideals are again regular. This allows us to define regularity for all rings, not just local ones: A ring "A" is said to be regular if its localizations at all of its prime ideals are regular local rings. It is equivalent to say that "A" has finite global dimension.

If "A" is a regular ring, then it follows that the polynomial ring "A" ["x"] and the formal power series ring "A""x" are both regular.

Examples

# Every field is a regular local ring. These have (Krull) dimension 0. In fact, the fields are exactly the regular local rings of dimension 0.
# Any discrete valuation ring is a regular local ring of dimension 1 and the regular local rings of dimension 1 are exactly the discrete valuation rings. Specifically, if "k" is a field and "X" is an indeterminate, then the ring of formal power series "k""X" is a regular local ring having (Krull) dimension 1.
# If "p" is an ordinary prime number, the ring of p-adic integers is an example of a discrete valuation ring, and consequently a regular local ring, which does not contain a field.
# More generally, if "k" is a field and "X"1, "X"2, ..., "X""d" are indeterminates, then the ring of formal power series "k""X"1, "X"2, ..., "X""d" is a regular local ring having (Krull) dimension "d".
# If Z is the ring of integers and "X" is an indeterminate, the ring Z ["X"] (2, "X") is an example of a 2-dimensional regular local ring which does not contain a field.

References

* Jean-Pierre Serre, "Local algebra", Springer-Verlag, 2000, ISBN 3-540-66641-9. Chap.IV.D.


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Regular ring — In commutative algebra, a regular ring is a commutative noetherian ring, such that the localization at every maximal ideal is a regular local ring: that is, every such localization has the property that the minimal number of generators of its… …   Wikipedia

  • Regular sequence (algebra) — In commutative algebra, if R is a commutative ring and M an R module, an element r in R is called M regular if r is not a zerodivisor on M , and M/rM is nonzero. An R regular sequence on M is a d tuple: r1, ..., rd in R such that for each i le; d …   Wikipedia

  • Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia

  • Local property — In mathematics, a phenomenon is sometimes said to occur locally if, roughly speaking, it occurs on sufficiently small or arbitrarily small neighborhoods of points. Contents 1 Properties of a single space 1.1 Examples 2 Properties of a pair of… …   Wikipedia

  • Cohen–Macaulay ring — In mathematics, a Cohen–Macaulay ring is a particular type of commutative ring, possessing some of the algebraic geometric properties of a nonsingular variety, such as local equidimensionality. They are named for Francis Sowerby Macaulay, who… …   Wikipedia

  • Excellent ring — In mathematics, in the fields of commutative algebra and algebraic geometry, an excellent ring is a Noetherian commutative ring with many of the good properties of complete local rings. This class of rings was defined by Alexander Grothendieck… …   Wikipedia

  • Gorenstein ring — In commutative algebra, a Gorenstein local ring is a Noetherian commutative local ring R with finite injective dimension, as an R module. There are many equivalent conditions, some of them listed below, most dealing with some sort of duality… …   Wikipedia

  • Von Neumann regular ring — In mathematics, a ring R is von Neumann regular if for every a in R there exists an x in R with : a = axa .One may think of x as a weak inverse of a ; note however that in general x is not uniquely determined by a .(The regular local rings of… …   Wikipedia

  • Weierstrass ring — In mathematics, a Weierstrass ring, named by harvtxt|Nagata|1962|loc=section 45 after Karl Weierstrass, is a commutative local ring that is Henselian, pseudo geometric, and such that any quotient ring by a prime ideal is a finite extension of a… …   Wikipedia

  • Ring-Topologie — Topologien: Ring, Mesh, Stern, vollvermascht; Linie/Reihe, Baum, Bus Die Topologie bezeichnet bei einem Computernetz die Struktur der Verbindungen mehrerer Geräte untereinander, um einen gemeinsamen Datenaustausch zu gewährleisten. Die Topologie… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”