Regular sequence in a ring: Difference between revisions

From Commalg
(New page: ==Definition== Suppose <math>R</math> is a commutative unital ring, and <math>x_1, x_2, \ldots, x_n</math> is a sequence of elements in <math>R</math>. We say that the <math>x_i</math...)
 
m (2 revisions)
 
(One intermediate revision by the same user not shown)
Line 6: Line 6:
* <math>x_i</math> is not a zero divisor in <math>R/(x_1,x_2,\ldots,x_{i-1})</math>
* <math>x_i</math> is not a zero divisor in <math>R/(x_1,x_2,\ldots,x_{i-1})</math>


The notion generalizes to that of [[regular sequence of a module]].
The notion generalizes to that of [[regular sequence on a module]].

Latest revision as of 16:34, 12 May 2008

Definition

Suppose R is a commutative unital ring, and x1,x2,,xn is a sequence of elements in R. We say that the xis form a regular sequence in R if the following are true:

  • (x1,x2,,xn)R
  • xi is not a zero divisor in R/(x1,x2,,xi1)

The notion generalizes to that of regular sequence on a module.