Ú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 pp e qq son relativamente primos polinomios y TT es un operador lineal, a continuación, ker(pq(T))=ker(p(T))⊕ker(q(T))ker(pq(T))=ker(p(T))⊕ker(q(T)).
Sigue fácilmente por el hecho de que F[x]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ó?