Definition Let be a ring. The nilradical of is where denotes the radical of the ideal. In explicit terms Connection to reduced rings A ring is reduced if and only if the nilradical .