prime radical
The prime radical or lower nilradical of a ring is the intersection of all the prime ideals of .
Note that the prime radical is the smallest semiprime ideal of , and that is a semiprime ring if and only if its prime radical is the zero ideal
.