Un entero algebraico es una solución de una ecuación polinómica con coeficientes enteros y coeficiente líder igual a 1.