Singular locus
= Singular locus
{title2=$\operatorname{Sing}(X)$}
The closed subset of points where an <algebraic variety> is not smooth. Over a <perfect field> it is equivalently the locus whose <local rings> are not <regular local rings>. A <normal variety> has no singular points in codimension zero or one.