Regular sequence in a ring

From Commalg

Definition

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

  • is not a zero divisor in

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