Remark 66.4.1. Before we give the proof of the next lemma let us recall some facts about étale morphisms of schemes:

1. An étale morphism is flat and hence generalizations lift along an étale morphism (Morphisms, Lemmas 29.35.12 and 29.25.9).

2. An étale morphism is unramified, an unramified morphism is locally quasi-finite, hence fibres are discrete (Morphisms, Lemmas 29.35.16, 29.34.10, and 29.20.6).

3. A quasi-compact étale morphism is quasi-finite and in particular has finite fibres (Morphisms, Lemmas 29.20.9 and 29.20.10).

4. An étale scheme over a field $k$ is a disjoint union of spectra of finite separable field extension of $k$ (Morphisms, Lemma 29.35.7).

For a general discussion of étale morphisms, please see Étale Morphisms, Section 41.11.

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