Lemma 15.23.4. Let $R$ be a Noetherian domain. Let $M$ be a finite $R$-module. The following are equivalent:

1. $M$ is reflexive,

2. $M_\mathfrak p$ is a reflexive $R_\mathfrak p$-module for all primes $\mathfrak p \subset R$, and

3. $M_\mathfrak m$ is a reflexive $R_\mathfrak m$-module for all maximal ideals $\mathfrak m$ of $R$.

Proof. The localization of $j : M \to \mathop{\mathrm{Hom}}\nolimits _ R(\mathop{\mathrm{Hom}}\nolimits _ R(M, R), R)$ at a prime $\mathfrak p$ is the corresponding map for the module $M_\mathfrak p$ over the Noetherian local domain $R_\mathfrak p$. See Algebra, Lemma 10.10.2. Thus the lemma holds by Algebra, Lemma 10.23.1. $\square$

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