正則局部環

在交换代数中，正则局部环是使得其极大理想的最小生成元个数等于其Krull维度的局部诺特环。

定义

设  为局部诺特环。设  为  的一组最小生成元，一般而言有。当  时，称  为正则局部环。
根据中山正引理，局部诺特环 为正则局部环当且仅当。

源流

正则局部环由Wolfgand Krull 首先定义，而在扎里斯基的工作中展现其重要性。扎里斯基证明了代数簇在一点上平滑的充要条件是该点的局部环为正则局部环，此前平滑性系由雅可比矩阵定义，此定义涉及代数簇在仿射或射影空间中嵌入方式，而扎里斯基证明了这是代数簇的内在性质。事实上，定义中的 可以解释为该点的余切空间，因此正则性可以粗略地理解为该点的余切空间具有“好的”维度。
随着同调代数技术的发展，人们在1950年代以后对正则局部环有更深的了解。Auslander 与 Buchsbaum 证明了正则局部环必为唯一分解环，让-皮埃尔·塞尔则以同调维度刻划了局部诺特环的正则性。

性质

正则局部环的局部化仍为正则局部环，此点可由塞尔定理与同调维度对局部化的性质导出。借着同调维度，我们也可以推广正则性的定义：一个同调维度有限的交换环 称为正则环，此条件等价于 对每个素理想的局部化皆为正则局部环。
若  为正则环，则  皆为正则环。