, calculado en cualquier base como ; es un polinomio mónico de grado , invariante por semejanza (Teorema 2.17). Sus raíces en son exactamente los valores propios ( es valor propio no es inyectiva ), y
La multiplicidad algebraica de un valor propio es su multiplicidad como raíz de ; la multiplicidad geométrica es , y se cumple .
Ejemplos
Ejemplo 3.4 (Mismo , geometría distinta)
Las matrices
comparten el polinomio característico , la traza, el determinante y el espectro, y sin embargo no son semejantes: la primera tiene de dimensión (multiplicidad geométrica ) y la segunda de dimensión . El polinomio característico solo ve las multiplicidades algebraicas; las dimensiones de los subespacios propios son el invariante más fino, y el polinomio mínimo es quien arbitra ( frente a ). Moraleja para toda discusión sobre diagonalizabilidad: preselecciona a los candidatos, pero quienes votan son los núcleos.