Definition (Ramification index). Suppose P∈C1, Q∈C2, ϕ:P↦Q. Let t∈K(C2) be a uniformiser at Q.
The ramification index of ϕ at P is
(always ≥1, independent of choice of t).