Exercise 20, § 2
Commutative Algebra, IV, 294
Bourbaki marks this one as harder than the rest.
The notion of primary decomposition and that of reduced primary decomposition may be defined for any ring as in nos. 2 and 3 (using the notion of primary submodule defined in Exercise 12).
(a) Generalize Propositions 4 and 6 by replacing Ass by Ass, throughout.
(b) Let be a finitely generated -module and a submodule of . For every multiplicative subset of let denote the saturation of in with respect to . Show that, if admits a primary decomposition in , every saturation of in is of the form for some . (Let () be the elements of . Show first that, using (a), that for every multiplicative subset of there exists such that, if is the multiplicative subset of the (), then , taking such that if and otherwise. Then prove that we may take for sufficiently large.)
(c) Give an example of a -module such that is primary with respect to but there exist saturations which are not of the form : (a) (cf. Algebra, Chapter VII, § 2, Exercise 3).
Solution
No solution has been written yet.