Exercise 8, § 2
Commutative Algebra, IV, 292
Bourbaki marks this one as harder than the rest.
Let be a Noetherian ring, a finitely generated -module, a submodule of and an ideal of . Let be a reduced primary decomposition of in . Show that the closure of in under the -adic topology on is equal to , where is the set of such that . (Consider first the case where is -primary in and show that, if , is dense in ; proceed to the general case using Exercise 15 of § 1 and Chapter 111, § 3, no. 4, Corollary 1 to Theorem 3).
Solution
No solution has been written yet.