En teoría de cuerpos, el polinomio mínimo sobre un cuerpo conmutativo K de un elemento algebraico de una extensión de K, es el polinomio mónico de grado mínimo entre los polinomios con coeficientes en el cuerpo base K que se cancelan con el elemento dado. Wikipedia