Lemma 18.24.1. Let (\mathcal{C}, \mathcal{O}) be a ringed site. Let \theta : \mathcal{G} \to \mathcal{F} be a surjective \mathcal{O}-module map with \mathcal{F} of finite presentation and \mathcal{G} of finite type. Then \mathop{\mathrm{Ker}}(\theta ) is of finite type.
Proof. Omitted. Hint: See Modules, Lemma 17.11.3. \square
Comments (0)