Lemma 15.23.2. Let $R$ be a domain and let $M$ be an $R$-module.
If $M$ is reflexive, then $M$ is torsion free.
If $M$ is finite, then $j : M \to \mathop{\mathrm{Hom}}\nolimits _ R(\mathop{\mathrm{Hom}}\nolimits _ R(M, R), R)$ is injective if and only if $M$ is torsion free
Comments (1)
Comment #9796 by Laurent Moret-Bailly on
There are also: