Un campo K si dice algebricamente chiuso se ogni polinomio

in K[x] di grado almeno 1 ha una radice in K.