Paper 2, Section II, E

Groups, Rings and Modules | Part IB, 2017

Let RR be a commutative ring.

(a) Let NN be the set of nilpotent elements of RR, that is,

N={rRrn=0 for some nN}N=\left\{r \in R \mid r^{n}=0 \text { for some } n \in \mathbb{N}\right\}

Show that NN is an ideal of RR.

(b) Assume RR is Noetherian and assume SRS \subset R is a non-empty subset such that if s,tSs, t \in S, then stSs t \in S. Let II be an ideal of RR disjoint from SS. Show that there is a prime ideal PP of RR containing II and disjoint from SS.

(c) Again assume RR is Noetherian and let NN be as in part (a). Let P\mathcal{P} be the set of all prime ideals of RR. Show that

N=PPPN=\bigcap_{P \in \mathcal{P}} P

Typos? Please submit corrections to this page on GitHub.