在交换代数中，正则局部环是使得其极大理想的最小生成元个数等于其Krull维度的局部诺特环。
定义.设 formula_1 为局部诺特环。设 formula_2 为 formula_3 的一组最小生成元，一般而言有 formula_4。当 formula_5 时，称 formula_6 为正则局部环。根据中山正引理，局部诺特环 formula_1 为正则局部环若且唯若 formula_8。
源流.正则局部环由 Wolfgand Krull 首先定义，而在