定義
K を可換体とする。
L/K を代数的拡大とする。
Ω を代数的閉体であるとする。
σ：K → Ω を埋め込みとする。
>>312より |E(σ、L/K、Ω)| は Ω と σ の取り方によらない。
|E(σ、L/K、Ω)| を L/K の分離次数と呼び [L : K]_s と書く。