Lemma 29.35.3. Let $f : X \to S$ be a morphism of schemes. The following are equivalent
The morphism $f$ is unramified (resp. G-unramified).
For every affine open $U \subset X$, $V \subset S$ with $f(U) \subset V$ the ring map $\mathcal{O}_ S(V) \to \mathcal{O}_ X(U)$ is unramified (resp. G-unramified).
There exists an open covering $S = \bigcup _{j \in J} V_ j$ and open coverings $f^{-1}(V_ j) = \bigcup _{i \in I_ j} U_ i$ such that each of the morphisms $U_ i \to V_ j$, $j\in J, i\in I_ j$ is unramified (resp. G-unramified).
There exists an affine open covering $S = \bigcup _{j \in J} V_ j$ and affine open coverings $f^{-1}(V_ j) = \bigcup _{i \in I_ j} U_ i$ such that the ring map $\mathcal{O}_ S(V_ j) \to \mathcal{O}_ X(U_ i)$ is unramified (resp. G-unramified), for all $j\in J, i\in I_ j$.
Moreover, if $f$ is unramified (resp. G-unramified) then for any open subschemes $U \subset X$, $V \subset S$ with $f(U) \subset V$ the restriction $f|_ U : U \to V$ is unramified (resp. G-unramified).
Comments (2)
Comment #3027 by Anon on
Comment #3141 by Johan on