Lemma 29.35.5. The base change of a morphism which is unramified is unramified. The same holds for G-unramified morphisms.

Proof. The proof of Lemma 29.35.3 shows that being unramified (resp. G-unramified) is a local property of ring maps. Hence the lemma follows from Lemma 29.14.6 combined with the fact that being unramified (resp. G-unramified) is a property of ring maps that is stable under base change, see Algebra, Lemma 10.151.3. $\square$

Comment #4627 by Shii on

typo(wrong link): "Hence the lemma follows from Lemma 28.13.5" -> "Hence the lemma follows from Lemma 28.13.6"

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