Lemma 31.12.4. Let $X$ be an integral locally Noetherian scheme. Let $\mathcal{F}$ be a coherent $\mathcal{O}_ X$-module.

1. If $\mathcal{F}$ is reflexive, then $\mathcal{F}$ is torsion free.

2. The map $j : \mathcal{F} \longrightarrow \mathcal{F}^{**}$ is injective if and only if $\mathcal{F}$ is torsion free.

Proof. Omitted. See More on Algebra, Lemma 15.23.2. $\square$

Comment #6273 by Matthieu Romagny on

Add a point at the end of condition (2).

There are also:

• 2 comment(s) on Section 31.12: Reflexive modules

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