Lemma 65.37.5. A smooth morphism of algebraic spaces is locally of finite presentation.

Proof. Let $X \to Y$ be a smooth morphism of algebraic spaces. By definition this means there exists a diagram as in Lemma 65.22.1 with $h$ smooth and surjective vertical arrow $a$. By Morphisms, Lemma 29.34.8 $h$ is locally of finite presentation. Hence $X \to Y$ is locally of finite presentation by definition. $\square$

There are also:

• 2 comment(s) on Section 65.37: Smooth morphisms

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