Últimamente he estado fascinado por el resultado que cabría estado un poco informal
Lema. (En el contexto del álgebra lineal sobre un campo.) Si $p$ e $q$ son relativamente primos polinomios y $T$ es un operador lineal, a continuación, $\ker(pq(T))=\ker(p(T))\oplus\ker(q(T))$.
Sigue fácilmente por el hecho de que $F[x]$ es un PID; se puede utilizar para iniciar una prueba de la existencia de la Forma Canónica de Jordan, también para una prueba de que la solución a un constante coeficiente lineal homogénea DE lo que es.
P: ¿este resultado tiene un nombre estándar? O no sabemos que lo probó?