諾特環
定理（Rees）：若 formula_15 是局部諾特環，元素皆屬於 formula_16 的正則序列之置換仍是正則序列，而且這類序列中的極大者都具相同長度。