Exercise 12, § 4
Commutative Algebra, VII, 574
Let be an integrally closed Noetherian domain and two torsion-free finitely generated -modules of the same rank such that ; let be the canonical injection. (a) Show that, for all , is pseudo-injective, that is a torsion -module and that:
(b) Using (a), show that, if is a torsion-free finitely generated -module, the torsion submodule of is pseudo-zero for all and
where is of rank ; in particular, .
Solution
No solution has been written yet.