Lemma 76.14.7. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. The following are equivalent:

The morphism $f$ is unramified,

the morphism $f$ is locally of finite type and $\Omega _{X/Y} = 0$, and

the morphism $f$ is locally of finite type and formally unramified.

## Comments (0)