Skip to content

Commit

Permalink
Improve statement lemma
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Oct 6, 2015
1 parent fd3e761 commit 90d4984
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions divisors.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1272,8 +1272,8 @@ \section{Reflexive modules}
\label{lemma-dual-reflexive}
Let $X$ be an integral locally Noetherian scheme.
Let $\mathcal{F}$, $\mathcal{G}$ be
quasi-coherent $\mathcal{O}_X$-modules.
If $\mathcal{G}$ is reflexive and $\mathcal{F}$ is coherent,
coherent $\mathcal{O}_X$-modules.
If $\mathcal{G}$ is reflexive,
then $\SheafHom_{\mathcal{O}_X}(\mathcal{F}, \mathcal{G})$ is reflexive.
\end{lemma}

Expand Down

0 comments on commit 90d4984

Please sign in to comment.