Paper 2, Section II, E
Part IB, 2017
Let be a commutative ring.
(a) Let be the set of nilpotent elements of , that is,
Show that is an ideal of .
(b) Assume is Noetherian and assume is a non-empty subset such that if , then . Let be an ideal of disjoint from . Show that there is a prime ideal of containing and disjoint from .
(c) Again assume is Noetherian and let be as in part (a). Let be the set of all prime ideals of . Show that