normal variety
Let be a variety![]()
. is said to be normal at a point if the local ring
![]()
is integrally closed
![]()
. is said to be normal if it is normal at every point. If is non-singular
at , it is normal at , since regular local rings
![]()
are integrally closed.