Lemma 29.35.12. Let $f : X \to S$ be a morphism of schemes.
If $f$ is unramified then for any $x \in X$ the field extension $\kappa (x)/\kappa (f(x))$ is finite separable.
If $f$ is locally of finite type, and for every $s \in S$ the fibre $X_ s$ is a disjoint union of spectra of finite separable field extensions of $\kappa (s)$ then $f$ is unramified.
If $f$ is locally of finite presentation, and for every $s \in S$ the fibre $X_ s$ is a disjoint union of spectra of finite separable field extensions of $\kappa (s)$ then $f$ is G-unramified.
Comments (0)