Reflexive-module second-syzygy criterion

ID: reflexive-module-second-syzygy-criterion

Let be a Noetherian ring that is an integral domain. If
is exact, is a finitely generated free module, and is a torsion-free module, then is a reflexive module. In particular, the dual of every finitely generated -module is reflexive.

New to topics? Read the docs here!