Reduced ring (source code)

= Reduced ring
{wiki}

A reduced ring is a <commutative ring> with no nonzero <nilpotent element>. Equivalently, its <nilradical> is zero.