Exercise 18, § 2
Commutative Algebra, IV, 294
(a) Let be a ring and an -module. Show that, if is a minimal element of , the saturation of with respect to in is -primary in (cf. § 1, Exercise 17 (b)).
(b) Let be a prime ideal of . Show that for every integer the saturation in of with respect to is -primary in (use Exercise 14 (a)); this saturation is denoted by and is called the -th symbolic power of .
(c) Show that, if every prime ideal of is maximal, then, for every -module and every submodule of , is the intersection of a family (finite or otherwise) of primary submodules in (use (a) and Exercise 17 (i) of § 1).
Solution
No solution has been written yet.