Smoothness of an algebraic variety
= Smoothness of an algebraic variety
Over a <perfect field>, a point of an <algebraic variety> is smooth exactly when its <local ring> is a <regular local ring>. The <smooth locus of a variety> is open; its closed complement is the <singular locus>.