Lemma 29.35.16. Let $f : X \to Y$ be a morphism of schemes over $S$.

1. If $X$ is unramified over $S$, then $f$ is unramified.

2. If $X$ is G-unramified over $S$ and $Y$ is locally of finite type over $S$, then $f$ is G-unramified.

Proof. Assume that $X$ is unramified over $S$. By Lemma 29.15.8 we see that $f$ is locally of finite type. By assumption we have $\Omega _{X/S} = 0$. Hence $\Omega _{X/Y} = 0$ by Lemma 29.32.9. Thus $f$ is unramified. If $X$ is G-unramified over $S$ and $Y$ is locally of finite type over $S$, then by Lemma 29.21.11 we see that $f$ is locally of finite presentation and we conclude that $f$ is G-unramified. $\square$

Comment #7363 by Alex Ivanov on

In (2), it should in fact suffice to assume that $Y$ is locally of finite type over $S$. (This is also consistent with Lemma 02FW, to which the proof refers).

Comment #7385 by Zhiyu Z on

@7363 I agree with you, and "Y of finite type" shall be "Y is of finite type".

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