Exercise 7, § 4
Commutative Algebra, VII, 572
Let be an integrally closed Noetherian domain, a finitely generated torsion-free -module and its dual. (a) Show that the canonical homomorphism is a pseudo-isomorphism. (b) Deduce from (a) that for to be a projective -module, it is necessary and sufficient that be a reflexive -module. (Note that, if is reflexive, the canonical homomorphism is bijective.)
Solution
No solution has been written yet.