Un endomorphisme de polynômes

NB : ceci est une page de démonstration de mathprepa.fr

Soient {n} dans \mathbb{N}, {A,B} dans {\mathbb{C}[X]}, avec {A\ne0}, avec {\deg(B)= n+ 1}.
Soit {\varphi} l’endomorphisme de {\mathbb{C}_{n}[X]} qui à un polynôme P associe le reste de la division euclidienne de {AP} par {B}.

  1. Montrer que si {A} et {B} sont sans racine commune, alors {\varphi} est un isomorphisme.
  2. On suppose que toutes les racines de {B} sont simples.
    Que dire du spectre de {\varphi}? Cet endomorphisme est-il diagonalisable ?