Nilradical that is not nilpotent

ID: nilradical-that-is-not-nilpotent

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.

New to topics? Read the docs here!