定義
K を可換体とする。
L/K を拡大(>>512)とする。
f(X) を K 係数の定数でない１変数多項式とする。
f(X) が L において１次多項式の積になるとき、f(X) は L で分解するという。