Nonreduced scheme (source code)

= Nonreduced scheme
{wiki=Reduced_scheme}

A scheme is nonreduced when its structure sheaf contains a nonzero <nilpotent element>. For an affine scheme $\operatorname{Spec}(A/I)$, this is equivalent to the ideal $I$ not being radical.