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.