有限体の代数閉包(algebraic closure)

Kを体とする時、n次の多項式の解を全て加えて作った体を代数閉包と呼びで表す。
Kが複素数体Cである時、その代数閉包はC自身である。
Kが素体 (p は素数)であるとき、その代数閉包は
となる。
素体が有限集合であるのに対し、その代数閉包は無限集合である。