auffassen
(zum Einsetzungshomomorphismus ).
Auf der Ringebene beschrieben geht es um die -Algebra
mit der durch definierten Multiplikationsregel für . Daher ist diese Abbildung endlich und frei vom Rang und insbesondere
flach.
Der Modul der relativen Differentiale ist
Daher ist die Einschränkung auf das Komplement der Verzweigungspunkte, also auf die offene Menge , ein étaler Morphismus. Diese Einschränkung ist im Allgemeinen nicht endlich und bei auch keine Überlagerung. Wenn man dagegen aus
(dem Bildbereich)
sämtliche Bildpunkte der Verzweigungspunkte herausnimmt und die Abbildung auf diese offene Menge und ihr Urbild einschränkt, so erhält man eine endliche étale Abbildung. Es handelt sich ja einfach um eine Nenneraufnahme zu der vorgegebenen endlichen Abbildung, wobei sich die Endlicheit und der Rang überträgt. Zu jedem Punkt besteht die Faser aus Punkten, da die zugehörige -Algebra, die die Faser beschreibt, die -Dimension besitzt, separabel
(wegen der Unverzweigtheit)
über ist und sämtliche Restklassenkörper wegen der algebraischen Abgeschlossenheit isomorph zu sind.