深さ (環論)
R を可換ネーター局所環でその極大イデアルを m {\displaystyle {\mathfrak {m}}} とし、M を有限生成 R-加群とする。このとき M のすべての極大正則列 x1,..., xn、ただし各 xi は m {\displaystyle {\mathfrak {m}}} に属する、は M の m {\displaystyle {\mathfrak {m}}} -深度と同じ長さ n をもつ。