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$ 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$ 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$

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