Definition (Ramification index). Suppose PC1, QC2, ϕ:PQ. Let tK(C2) be a uniformiser at Q.

The ramification index of ϕ at P is

eϕ(P)=ordP(ϕt)

(always 1, independent of choice of t).