Exercise 21, § 3
Commutative Algebra, III, 251
Let be a commutative Noetherian ring, an ideal of and and two finitely generated -modules.
(a) Suppose that is Hausdorff with the -adic topology. Show that in with the -adic topology the set of injective homomorphisms is open (use no. 1, Proposition 2 and the Artin-Rees Lemma).
(b) Suppose that is a complete Zariski ring and a defining ideal of
A. For every integer , let , , ; show that the topological -module is isomorphic to
Deduce that in the set of surjective homomorphisms is open.
Solution
No solution has been written yet.