Lemma 17.9.5. Let $X$ be a ringed space. Let $\mathcal{F}$ be an $\mathcal{O}_ X$-module. Let $x \in X$. Assume $\mathcal{F}$ of finite type and $\mathcal{F}_ x = 0$. Then there exists an open neighbourhood $x \in U \subset X$ such that $\mathcal{F}|_ U$ is zero.

Proof. This is a special case of Lemma 17.9.4 applied to the morphism $0 \to \mathcal{F}$. $\square$

There are also:

• 2 comment(s) on Section 17.9: Modules of finite type

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