Regular Sequence
In commutative algebra, if R is a commutative ring and M an R-module, a nonzero 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.
An R-regular sequence is usually called simply a regular 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 M-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.
Read more about Regular Sequence: Examples
Famous quotes containing the words regular and/or sequence:
““I couldn’t afford to learn it,” said the Mock Turtle with a sigh. “I only took the regular course.”
“What was that?” inquired Alice.
“Reeling and Writhing, of course, to begin with,” the Mock Turtle replied; “and then the different branches of Arithmetic—Ambition, Distraction, Uglification, and Derision.”
“I never heard of ‘Uglification,’” Alice ventured to say.”
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)
“It isn’t that you subordinate your ideas to the force of the facts in autobiography but that you construct a sequence of stories to bind up the facts with a persuasive hypothesis that unravels your history’s meaning.”
—Philip Roth (b. 1933)