諾特環
設 formula_1 為局部諾特環。設 formula_2 為 formula_3 的一組最小生成元，一般而言有 formula_4。當 formula_5 時，稱 formula_6 為正則局部環。