正则局部环是局部环的子类，有正则参数系的局部环(R,m)称为正则局部环，即m可由dimR个元素生成。