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

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

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

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

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

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

## Comments (0)