The module depth of a nonzero finitely generated module
over a Noetherian local
ring
is the largest length of a ring regular sequence
for
contained in its maximal
ideal
. Such a sequence
, ...,
has the property that multiplication
by
is injective
on
and the final quotient module is nonzero
(Bruns and Herzog 1998, pp. 3 and 10).
The depth is at most the Krull dimension (Bruns and Herzog 1998, p. 12).
For
, it is the depth of the ring.
A Cohen-Macaulay ring that is a local
ring has depth equal to its Krull dimension
(Stacks Project Authors 2026).