Schemamorphismus/Etale über relative Differentiale/Definition

Etaler Morphismus

Es sei

$\varphi \colon Y\longrightarrow X$

ein Schemamorphismus von endlichem Typ. Er heißt étale, wenn er flach ist und wenn die Garbe der relativen Differentiale ${}\Omega _{Y{|}X}$ gleich ${}0$ ist.