不分岐

定理 2.2 の 4 の $e(\mathfrak{P}\mid\mathfrak{p})$ を分岐指数という。$\mathfrak{p}$ の上のすべての $\mathfrak{P}$ で $e(\mathfrak{P}\mid\mathfrak{p}) = 1$ のとき、$L/K$ は $\mathfrak{p}$ で不分岐であるという。$S$ を $K$ の素点の有限集合とするとき、$S$ に属さないすべての有限素点で不分岐な拡大を $S$ の外で不分岐という。