Lemma 30.9.3. Let $X$ be a locally Noetherian scheme. Let $\mathcal{F}$ be a coherent $\mathcal{O}_ X$-module. Any quasi-coherent submodule of $\mathcal{F}$ is coherent. Any quasi-coherent quotient module of $\mathcal{F}$ is coherent.

Proof. We may assume that $X$ is affine, say $X = \mathop{\mathrm{Spec}}(A)$. Properties, Lemma 28.5.2 implies that $A$ is Noetherian. Lemma 30.9.1 turns this into algebra. The algebraic counter part of the lemma is that a quotient, or a submodule of a finite $A$-module is a finite $A$-module, see for example Algebra, Lemma 10.51.1. $\square$

Comment #2650 by Student on

Isn't the quasi-coherence assumption superfluous? That is, any submodule of $\mathcal{F}$ is coherent, as the notions of finite type and finite presentations coincide over locally Noetherian schemes.

Comment #2651 by on

Nope because you can have things like $j_!(\mathcal{F}|_U)$ where $U \subset X$ is an open. Such modules aren't even locally generated by sections, and a fortiori not quasi-coherent and a fortiori not coherent.

Comment #2652 by on

In comment #2651 I forgot to say: $j : U \to X$ is the open immersion and $j_!$ is extension by zero.

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