Exercise 30, § 2
Commutative Algebra, IV
Let be an -module, and let be a submodule of admitting a reduced primary decomposition ; let p_i be the prime ideal associated with .
a) Now prove that if is an ideal of which is not contained in any of the , one has (cf. exerc. 17).
b) If each of the is strongly primary in , now prove conversely that if one has , is not contained in any of the .
(Notice that if and , one has for a suitable integer , and deduce that if one had , one would have .) Deduce from this that there then exists such that .
Solution
No solution has been written yet.