Regular sequence (algebra)

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 ≤ d", "ri" is "Mi-1"-regular, where "Mi-1" is the quotient "R"-module

:"M/(r1, ..., ri-1)M".

Such a sequence is also called an "M"-sequence.

It may be that "r1, ..., rd" is an "M"-sequence, and yet some permutation of the sequence is not. It is, however, a theorem that if "R" is a local ring or if "R" is a graded ring and the "ri" are all homogeneous, then a sequence is an "R"-sequence only if every permutation of it is an "R"-sequence.

The depth of "R" is defined as the maximum length of a regular "R"-sequence on "R". More generally, the depth of an "R"-module "M" is the maximum length of an "R"-regular sequence on "M". The concept is inherently module-theoretic and so there is no harm in approaching it from this point of view.

The depth of a module is always at least "0" and no greater than the Krull dimension of the module.

Examples

# If "k" is a field, it possesses no non-zero non-unit elements so its depth as a "k"-module is "0".
# If "k" is a field and "X" is an indeterminate, then "X" is a nonzerodivisor on the formal power series ring "R = k""X", but "R/XR" is a field and has no further nonzerodivisors. Therefore "R" has depth 1.
# If "k" is a field and "X1, X2, ..., Xd" are indeterminates, then "X1, X2, ..., Xd" form a regular sequence of length "d" on the polynomial ring "k" ["X1, X2, ..., Xd"] and there are no longer "R"-sequences, so "R" has depth "d", as does the formal power series ring in "d" indeterminates over any field.

An important case is when the depth of a ring equals its Krull dimension: the ring is then said to be a Cohen-Macaulay ring. The three examples shown are all Cohen-Macaulay rings. Similarly in the case of modules, the module "M" is said to be Cohen-Macaulay if its depth equals its dimension.

References

* David Eisenbud, "Commutative Algebra with a View Toward Algebraic Geometry". Springer Graduate Texts in Mathematics, no. 150. ISBN 0-387-94268-8
* Winfried Bruns; Jürgen Herzog, "Cohen-Macaulay rings". Cambridge Studies in Advanced Mathematics, 39. Cambridge University Press, Cambridge, 1993. xii+403 pp. ISBN 0-521-41068-1


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Regular sequence — In mathematics, a regular sequence may be: * Regular sequence (algebra), in commutative algebra, a sequence of elements defining the depth of a module * Regular Cauchy sequence, in real analysis, a quickly converging Cauchy sequence …   Wikipedia

  • List of abstract algebra topics — Abstract algebra is the subject area of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras. The phrase abstract algebra was coined at the turn of the 20th century to distinguish this …   Wikipedia

  • List of commutative algebra topics — Commutative algebra is the branch of abstract algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative… …   Wikipedia

  • Regular expression — In computing, a regular expression provides a concise and flexible means for matching (specifying and recognizing) strings of text, such as particular characters, words, or patterns of characters. Abbreviations for regular expression include… …   Wikipedia

  • Regular category — In category theory, a regular category is a category with finite limits and coequalizers of kernel pairs, satisfying certain exactness conditions. In that way, regular categories recapture many properties of abelian categories, like the existence …   Wikipedia

  • Homological conjectures in commutative algebra — In mathematics, the homological conjectures have been a focus of research activity in commutative algebra since the early 1960s. They concern a number of interrelated (sometimes surprisingly so) conjectures relating various homological properties …   Wikipedia

  • M-sequence — An M sequence may refer to: *Regular sequence, which is an important topic in commutative algebra. *A maximum length sequence, which is a type of pseudorandom binary sequence …   Wikipedia

  • Cluster algebra — Cluster algebras are a class of commutative rings introduced by Fomin and Zelevinsky (2002, 2003, 2007). A cluster algebra of rank n is an integral domain A, together with some subsets of size n called clusters whose union generates the… …   Wikipedia

  • Von Neumann algebra — In mathematics, a von Neumann algebra or W* algebra is a * algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. They were originally introduced by John von Neumann,… …   Wikipedia

  • Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… …   Wikipedia

Share the article and excerpts

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