The nilradical of a commutative ring is its ideal of nilpotent elements, equivalently the radical of an ideal applied to its zero ideal.
In , the nilradical is generated by all . Every element uses finitely many variables and is nilpotent, while each square-free product is nonzero. Thus this nilradical is not a nilpotent ideal. A Noetherian ring cannot have this behavior: finitely many nilpotent generators give a nilpotent ideal.
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.

Articles by others on the same topic (0)

There are currently no matching articles.