定義
K を可換体とする。
K 係数の定数でない任意の１変数多項式が K において根を持つとき K を代数的閉体と呼ぶ。