Soit et un corps ( ou ). On considère un polynôme de degré et un polynôme . Pour tout , on note le reste de la division euclidienne du produit par .
Pour le noyau, utiliser la définition de la division euclidienne : si et seulement si divise . Utiliser ensuite le lemme de Gauss en posant et .
Pour l'image, remarquer que tout élément est un multiple de car divise à la fois et . Utiliser un argument de dimension.
Pour le spectre, chercher les polynômes tels que . Utiliser les polynômes d'interpolation de Lagrange aux racines de .
Pour l'application numérique, factoriser sur et , et calculer les valeurs de aux racines de .
Relation de divisibilité : .
Théorème du rang pour l'image.
Base de Lagrange : Si est à racines simples, les polynômes de Lagrange forment une base de vecteurs propres.
Résolution.
Attention à la définition du spectre. Sur , on ne conserve que les valeurs propres réelles. Si le polynôme caractéristique possède des racines complexes non réelles, l'endomorphisme n'est même pas trigonalisable sur .