Lemma 37.57.8. Let $f : X \to S$ be a finite morphism of schemes. Then $f$ is pseudo-coherent if and only if $f_*\mathcal{O}_ X$ is pseudo-coherent as an $\mathcal{O}_ S$-module.

Proof. Translated into algebra this lemma says the following: If $R \to A$ is a finite ring map, then $R \to A$ is pseudo-coherent as a ring map (which means by definition that $A$ as an $A$-module is pseudo-coherent relative to $R$) if and only if $A$ is pseudo-coherent as an $R$-module. This follows from the more general More on Algebra, Lemma 15.81.5. $\square$

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