Exercise 2, § 4
Commutative Algebra, VII, 571
It is set in small type as supplementary.
Let be an integrally closed Noetherian domain and two finitely generated -modules. Suppose that is torsion-free, that is reflexive and that . Show then that is reflexive. (Prove first that is torsion-free; if , calculate in two ways using the exact sequence:
and Chapter IV, § 1, no. 4, Proposition 10.)
Solution
No solution has been written yet.