rmula_2-正则元。一组 M-正则序列是一个 formula_1 中的有限序列 formula_10，使得对每个 formula_11 有定理（Rees）：若 formula_15 是局部诺特环，元素皆属于 formula_16 的正则序列之置换仍是正则序列，而且这类序列中的极大者都具相同长度。
深度.假设同上，并固定一个理想 formula_17。定义formula_1-模 formula_2 的I-深度为元素皆属于 formula_20 的 formula_2-正则