正规局部环

normal local ring