Kurven/Endlicher Morphismus/Separabel/Definition

Separabel (Kurvenabbildung)

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

$\phi :C⟶D$

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