Exercise 12, § 2
Commutative Algebra, IV, 292
Bourbaki marks this one as harder than the rest.
Let be a ring, an -module and a submodule of . (a) For (§ 1, Exercise 17) to be reduced to a single element , it is necessary and sufficient that and that, for all , the homothety with ratio on be injective or almost nilpotent; then (Exercise 11) and we also say that is primay (or -*primay*) in . For every submodule of such that and , is then -primary in . (b) If is a maximal ideal of , show that is primary in . In particular, every ideal of which is only contained in a single prime ideal (necessarily maximal) is -primary. (c) Let be an integral domain and an element of such that is prime; then, for every integer , is -primary. Show that this result does not extend to the case where A is not an integral domain (take , where (K being a field), ).
(d) If A is an absolutely flat ring (Chapter I, § 2, Exercise 17), the primary ideals of A are identical with the prime ideals of A.
(e) Give an example of a Z-module M such that {0} is p-primary (for a prime number ) but that for no in is the homothety nilpotent (cf. Chapter II, § 2, Exercise 3).
Solution
No solution has been written yet.