Lemma 31.2.10 (0AVL)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 2: Schemes
Chapter 31: Divisors
Section 31.2: Associated points
Lemma 31.2.10 (cite)

previous lemma
next lemma

numberstags

history
statistics
2 tags refer to this tag

Lemma 31.2.10. Let $X$ be a locally Noetherian scheme. Let $\varphi : \mathcal{F} \to \mathcal{G}$ be a map of quasi-coherent $\mathcal{O}_ X$ -modules. Assume that for every $x \in X$ at least one of the following happens

$\mathcal{F}_ x \to \mathcal{G}_ x$ is injective, or
$x \not\in \text{Ass}(\mathcal{F})$ .

Then $\varphi$ is injective.

Proof. The assumptions imply that $\text{Ass}(\mathop{\mathrm{Ker}}(\varphi )) = \emptyset$ and hence $\mathop{\mathrm{Ker}}(\varphi ) = 0$ by Lemma 31.2.6. $\square$

Comments (0)

There are also:

2 comment(s) on Section 31.2: Associated points

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

Comments (0)

Post a comment