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