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: