Defina $l_a : F(a) F(a) $ por $ l_a(x)=ax$ cuando $[F(a):F]=n$ .
muestran que el polinomio mínimo de $a$ en $F$ es igual al polinomio mínimo de $l_a$ como se define en álgebra lineal.
esto es lo que he hecho para probar :
la matriz asociada de $l_a$ es un $n*n$ (porque $F(a)$ es un $n$ espacio dimensional) con $"a"$ en todas las entradas de la diagonal principal y cero en todas las demás, por lo que el polinomio característico de $l_a$ es $(a-\lambda)^n$ que es un polinomio mónico de grado $n$ y con $a$ como raíz.
y porque tenemos $[F(a):F]=n$ por lo que el polinomio mínimo de $a$ en $F$ tiene grado $n$ .
por lo que el polinomio mínimo de $a$ en $F$ es igual al polinomio característico de $l_a$ .
¿hay algún error? ¿es una prueba completa?
gracias.