在交换代数中， 深度是交换环与模的一种不变量，它可以由正则序列定义，或以同调代数中的Ext函子刻划。
正则序列.设 formula_1 为交换环，formula_2 为 formula_1-模。若元素 formula_4 满足 formula_5（即：formula_6 非 formula_2 的零因子），则称之为 formula_2-正则元。一组 M-正则序列是一个 formula_1 中的有限序列 formula_10，使得对每个 formula_11 有定理（Rees