Depth of an ideal

From Commalg

Definition

Let be a commutative unital ring and be an ideal inside . The depth of is the length of a maximal regular sequence in . A regular sequence is a sequence of elements where each element is not a zero divisor in the ideal spanned by the preceding elements.

A related notion is depth of an ideal on a module, where we replace zero divisor by zero divisor on the module.