定義
K を可換体とする。
f(X) を K 係数の定数でない１変数多項式とする。
L を K の拡大体とする。
f(X) が L で分解（>>534）するとき L を f(X) の分解体と言う。