Un campo
K
si dice
algebricamente chiuso
se ogni polinomio di grado positivo a coefficienti in
K
ammette almeno una radice in
K
.