reduced ring

noun1

1. •
   A ring R that has no nonzero nilpotent elements; equivalently, such that, for x ∈ R, x² = 0 implies x = 0.

   • We do this for reduced rings in Corollary 10, and for rings with nonzero nilpotents in Corollary 15. — 1997