Definition 15.23.1. Let $R$ be a domain. We say an $R$-module $M$ is reflexive if the natural map

$j : M \longrightarrow \mathop{\mathrm{Hom}}\nolimits _ R(\mathop{\mathrm{Hom}}\nolimits _ R(M, R), R)$

which sends $m \in M$ to the map sending $\varphi \in \mathop{\mathrm{Hom}}\nolimits _ R(M, R)$ to $\varphi (m) \in R$ is an isomorphism.

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