Lemma 37.58.3. Let $f : X \to S$ be a morphism of schemes which is locally of finite type. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module.

If $f$ is locally of finite presentation, then $\mathcal{F}$ is of finite presentation relative to $S$ if and only if $\mathcal{F}$ is of finite presentation.

The morphism $f$ is locally of finite presentation if and only if $\mathcal{O}_ X$ is of finite presentation relative to $S$.

## Comments (0)