Definition
(Separable morphism)
.
ϕ
is separable if
K
(
C
1
)
∕
ϕ
∗
K
(
C
2
)
is a separable field extension.