分離的な射・従順な分岐・野性的な分岐

$f\colon X \to Y$ を曲線の有限射とする。

1. $K(X)/K(Y)$ が分離拡大のとき $f$ は分離的、$K(X)$ のすべての元のある $p$ 冪乗が $K(Y)$ に入るとき純非分離であるという。
2. 点 $P \in X$ の分岐指数 $e_P$（定義 5.1［曲線と Riemann–Roch の定理］）が $e_P > 1$ のとき $f$ は $P$ で分岐するという。$p \nmid e_P$（$p = 0$ なら常に）のとき分岐は従順、$p \mid e_P$ のとき野性的であるという。