Lemma 30.9.2. Let X be a locally Noetherian scheme. The category of coherent \mathcal{O}_ X-modules is abelian. More precisely, the kernel and cokernel of a map of coherent \mathcal{O}_ X-modules are coherent. Any extension of coherent sheaves is coherent.
Proof. This is a restatement of Modules, Lemma 17.12.4 in a particular case. \square
Comments (0)
There are also: