# Polinomio mínimo

En matemáticas, el polinomio mínimo de un elemento α es el polinomio mónico p de menor grado tal que p(α)=0. Las propiedades del polinomio no dependen de la estructura algebraica a la cual pertenece α.

## Teoría de cuerpos

En teoría de cuerpos, dada una extensión de cuerpo E/F y un elemento α de E que sea algebraico sobre F, el polinomio mínimo de α es el polinomio mónico p, con coeficientes en F, de menor grado tal que p(α) = 0. El polinomio mínimo es irreducible, y cualquier otro polinomio no nulo f que cumpla f(α) = 0 es un múltiplo de p.

## Álgebra lineal

En álgebra lineal, el polinomio mínimo de un endomorfismo $f$ de un espacio vectorial $E$ de dimensión finita sobre un cuerpo $\mathbb {K}$ es el único polinomio mónico $\mu _{f}(t)\in \mathbb {K} [t]$ de grado mínimo que anula a $f$, es decir, tal que $\mu _{f}(f)=0$. Por extensión, dada una matriz $A\in {\mathcal {M}}_{n}(\mathbb {K} )$, definimos el polinomio mínimo de $A$ como el polinomio mínimo del endomorfismo que define la matriz $A$ en un espacio vectorial $E$ de dimensión $n$ (en cualquier base, pues el polinomio mínimo no depende de la elección de esta).
Cualquier otro polinomio $p\in \mathbb {K} [t]$ con $p(f)=0$ es un múltiplo de $\mu _{f}$. Veamos la demostración de esto último, juntamente con que el polinomio mínimo es único:
* ${\text{Todos los polinomios anuladores de }}f{\text{ son múltiplos de un único polinomio mónico anulador de }}f,$
* ${\text{ al que llamaremos polinomio mínimo de }}f.$
* Observamos en primer lugar que seguro que existen polinomios anuladores. Como $f$ es un endomorfismo de un espacio vectorial $E$ de dimensión finita $n$, podemos considerar una base ${\mathcal {B}}$ del espacio y la matriz $A\in {\mathcal {M}}_{n}(\mathbb {K} )$, la matriz de $f$ en base ${\mathcal {B}}$.
* Como ${\text{dim}}({\mathcal {M}}_{n}(\mathbb {K} ))=n^{2}$, el conjunto de matrices $\{A^{i}\}_{i=0}^{n^{2}}$, de cardinal $n^{2}+1$, es necesariamente linealmente dependiente, es decir,
* $\exists \{a_{i}\}_{i=0}^{n^{2}}\subseteq \mathbb {K}$ tales que $a_{0}I+a_{1}A+...+a_{n^{2}}A^{n^{2}}=0\Rightarrow \exists p(t)=a_{0}+a_{1}t+...+a_{n^{2}}t^{n^{2}}\in \mathbb {K} [t]$ anulador de $A\Rightarrow$
* $\Rightarrow \exists p(t)=a_{0}+a_{1}t+...+a_{n^{2}}t^{n^{2}}$ anulador de $f$.
* Esto último por ser $A$ la matriz de $f$ en base ${\mathcal {B}}$.
* Por tanto, existen polinomios anuladores y podemos tomar, pues, uno que sea de grado mínimo. Si lo dividimos por el coeficiente del término de grado máximo, sigue siendo anulador y ahora también es mónico. Este polinomio, al que denotaremos por $m(t)\in \mathbb {K} [t]$, es nuestro candidato a polinomio mínimo.
* Sea pues $p(t)\in \mathbb {K} [t]$ un polinomio anulador de $f$. Queremos ver que $m$ divide a $p$. Hacemos la división entera de $p$ entre $m$:
* $p(t)=m(t)\cdot c(t)+r(t)$, con $c,r\in \mathbb {K} [t],r=0$ o ${\text{gr}}~r<{\text{gr}}~m\quad (*)$
* Si aplicamos la igualdad a $f$, obtenemos que
* $p(f)=m(f)\circ c(f)+r(f)$,
* pero como $p$ y $m$ son anuladores de $f$ por definición,
* $0=0\circ c(f)+r(f)\Rightarrow r(f)=0\Rightarrow r$ es anulador de $f$.
* Pero, por definición, $m$ es el polinomio anulador de grado mínimo, luego ${\text{gr}}~r\geq {\text{gr}}~m$, de forma que, por $(*)$, necesariamente $r=0\Rightarrow m$ divide a $p$.
* Para ver la unicidad, supongamos que hubiera dos polinomios $m$ y $m'$ mónicos de grado mínimo tales que fueran anuladores de $f.$ Por lo anterior, uno tiene que dividir al otro. Podemos suponer que $m$ divide a $m'$. Pero como son mónicos y tienen el mismo grado, necesariamente $m=m'$. $\quad \square$
Los siguientes tres enunciados son equivalentes:
* $\lambda \in \mathbb {K}$ es una raíz de $m_{f}(t)$,
* $\lambda$ es una raíz del polinomio característico de $A$,
* $\lambda$ es un valor propio de $A$.
La multiplicidad de la raíz $\lambda$ de $p(t)$ es el tamaño del mayor bloque de Jordan correspondiente a $\lambda$.
El polinomio mínimo no es siempre el mismo que el polinomio característico. Consideremos la matriz $4I_{n}$, que tiene como polinomio característico $(x-4)^{n}$. Sin embargo, el polinomio mínimo es $x-4$, ya que $4I-4I=0$, por lo que son distintos para $n\geq 2$. El hecho que el polinomio mínimo siempre divida el polinomio característico es consecuencia del teorema de Cayley–Hamilton.