Lemma 15.23.2. Let $R$ be a domain and let $M$ be an $R$-module.

1. If $M$ is reflexive, then $M$ is torsion free.

2. 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

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).