Lemma 17.9.3 (01B7)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 1: Preliminaries
Chapter 17: Sheaves of Modules
Section 17.9: Modules of finite type
Lemma 17.9.3 (cite)

numberstags

Lemma 17.9.3. Let $X$ be a ringed space. The image of a morphism of $\mathcal{O}_ X$-modules of finite type is of finite type. Let $0 \to \mathcal{F}_1 \to \mathcal{F}_2 \to \mathcal{F}_3 \to 0$ be a short exact sequence of $\mathcal{O}_ X$-modules. If $\mathcal{F}_1$ and $\mathcal{F}_3$ are of finite type, so is $\mathcal{F}_2$.

Proof. The statement on images is trivial. The statement on short exact sequences comes from the fact that sections of $\mathcal{F}_3$ locally lift to sections of $\mathcal{F}_2$ and the corresponding result in the category of modules over a ring (applied to the stalks for example). $\square$

Comments (0)

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

Comments (0)

Post a comment