Regular sequence on a module
Definition
Let be a commutative unital ring, a -module, and be a sequence of elements in . We say that the s form a regular sequence on if the following two conditions hold:
- For , is a nonzerodivisor on
Let be a commutative unital ring,
a
-module, and
be a sequence of elements in
. We say that the
s form a regular sequence on
if the following two conditions hold: