Lemma 6.4. Assuming that:

$ϕ : C_{1} \to C_{2}$ a non-constant morphism

Then

ϕ

is separable if and only if

ϕ^{*} : Ω_{C_{1}} \to Ω_{C_{2}}

is non-zero