Over a locally Noetherian base, finite type is finite presentation.

Lemma 29.21.9. Let $f : X \to S$ be a morphism.

1. If $S$ is locally Noetherian and $f$ locally of finite type then $f$ is locally of finite presentation.

2. If $S$ is locally Noetherian and $f$ of finite type then $f$ is of finite presentation.

Proof. The first statement follows from the fact that a ring of finite type over a Noetherian ring is of finite presentation, see Algebra, Lemma 10.31.4. Suppose that $f$ is of finite type and $S$ is locally Noetherian. Then $f$ is quasi-compact and locally of finite presentation by (1). Hence it suffices to prove that $f$ is quasi-separated. This follows from Lemma 29.15.7 (and Lemma 29.21.8). $\square$

Comment #1113 by Simon Pepin Lehalleur on

Suggested slogan: Over a locally noetherian base, "finite type" = "finite presentation"

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