Let RR be a commutative ring. The nilradical of RR is the set

(0)={aR:a is nilpotent},\sqrt{(0)}=\{a\in R : a \text{ is nilpotent}\},

i.e. the set of all of RR; it is an ideal (indeed, the radical of the zero ideal in the sense of ).

Remarks

The nilradical can also be characterized as the intersection of all (a standard fact recorded as ). A ring is reduced precisely when its nilradical is zero.

Examples
  • If RR is reduced, then its nilradical is {0}\{0\}.
  • In k[x]/(xn)k[x]/(x^n), the nilradical is the ideal generated by the class of xx.
  • In Z/nZ\mathbb Z/n\mathbb Z, the nilradical consists of classes divisible by every prime dividing nn.