Étale morphism

Definition

The following conditions are equivalent for a morphism of schemes $f:X\to Y$:

1. $f$ is flat and unramified.

The small étale site

The category of étale $S$-schemes becomes a Grothendieck topology, if one defines the sets of coverings to be jointly-surjective collections of $S$-morphisms $\{f_{i}:U_{i}\to U\}$; i.e., such that the union of images $\bigcup f_{i}(U_{i})$ covers $U$. That this forms a grothendieck essentially follows from the following three facts:

1. Open immersions are étale.
2. The étale property lifts by base change: that is, if $f:X\to Y$ is an étale morphism, and $g:Y'\to Y$ is any morphism, then the canonical fibered projection $f'X\times _{Y}Y'\to Y'$ is again étale.
3. If $f:X\to Y$ and $g:Y\to Z$ are such that $g\circ f$ is étale, then $f$ is étale as well.