定義
K を可換体とする。
L を K の拡大体（>>512）とする。
α ∈ L を K 上代数的（>>553）とする。
α の K 上の最小多項式（>>557）が分離的（>>694）なとき
α を K 上分離的であるという。