Smooth algebraic variety
= Smooth algebraic variety
= Smooth variety
{synonym}
An algebraic variety is smooth over its ground field when its structural morphism is smooth. Over an algebraically closed field its local rings are regular; on an irreducible variety its tangent spaces all have the variety's <dimension of a scheme>.