Schemamorphismus/Endlicher Typ/Etale/Charakterisierung/Fakt

Sei

$\varphi \colon Y\longrightarrow X$

ein Schemamorphismus vom endlichen Typ. Dann sind folgende Aussagen äquivalent.

1. ${}\varphi$ ist étale.
2. ${}\varphi$ ist flach und unverzweigt.

Einen Beweis erstellen