Nilradical as the intersection of prime ideals
ID: nilradical-as-the-intersection-of-prime-ideals
For every commutative ring ,Every nilpotent element lies in every prime ideal. If is not nilpotent, an ideal maximal among those disjoint from is a prime ideal avoiding , by the Zorn lemma and the maximality argument.
New to topics? Read the docs here!