Nilradical and radical ideals
[10/50%]If is a commutative ring and is the ring of formal power series over , show that if is nilpotent, then all the elements are nilpotent. If is Noetherian, prove the converse, i.e., that if all the elements are nilpotent, then is nilpotent.
Show that the nilpotent elements of a commutative ring form a subring.
Show that the nilpotent elements of a commutative ring form a subring.
Show that has a nonzero nilpotent element if and only if is divisible by the square of some prime.
Let be a commutative ring and let be any ideal of . Show that the nil radical of , , is an ideal of .
(Definitions used elsewhere in this chapter's exercises: a prime ideal of a commutative ring is a proper ideal of such that and imply or ; a maximal ideal of is a proper ideal such that, whenever is an ideal of with , then or .)
is called the nil radical of .
Let . Find
.
.
.
Let . Find
.
.
.
Let be a commutative ring. Show that has no nonzero nilpotent elements.
Let be an ideal of a commutative ring. Prove that .