Lemma 17.12.5. Let (X, \mathcal{O}_ X) be a ringed space. Let \mathcal{F} be an \mathcal{O}_ X-module. Assume \mathcal{O}_ X is a coherent \mathcal{O}_ X-module. Then \mathcal{F} is coherent if and only if it is of finite presentation.
Proof. Omitted. \square
Comments (0)
There are also: