正則局部環 在交換代數中正則局部環是使得其極大理想的最小生成元個數等於其Krull維度的局部諾特環