Kurven/Endlicher Morphismus/Separabel/Definition

Separabel (Kurvenabbildung)

Es seien ${}C$ und ${}D$ irreduzible algebraische Kurven über einem algebraisch abgeschlossenen Körper ${}K$ und sei

$\varphi \colon C\longrightarrow D$

eine endliche Abbildung. Man nennt ${}\varphi$ separabel, wenn die zugehörige Körpererweiterung der Funktionenkörper ${}Q(D)\subseteq Q(C)$ separabel ist.