諾特環
根據中山正引理，局部諾特環 formula_1 為正則局部環若且唯若 formula_8。