On se place dans avec . Soit un polynôme non constant. On s'intéresse à l'équation d'inconnue .
Pour la question 1, si est diagonalisable, on peut construire comme une matrice diagonale dans une base de diagonalisation de . Si n'est pas diagonalisable, considérer un polynôme de la forme pour un bien choisi.
Pour la question 2 (sens direct), tester la surjectivité sur une matrice de la forme où est un bloc nilpotent de taille . Utiliser le fait qu'une matrice commutant avec un tel bloc est un polynôme en ce bloc.
Pour la question 2 (sens réciproque), utiliser la décomposition de Dunford ou la réduction par blocs pour se ramener à des matrices de la forme avec nilpotente.
Pour la question 3, étudier les valeurs critiques du polynôme .
Lien entre diagonalisabilité et existence de racines polynomiales.
Étude du commutant d'un bloc de Jordan (ou bloc nilpotent maximal).
Utilisation du développement de Taylor pour les polynômes de matrices.
Résolution.
Condition suffisante : Supposons que pour tout , il existe tel que et . Soit . Par réduction (Dunford ou réduction par blocs), il suffit de montrer que chaque bloc de la forme (avec nilpotente) possède un antécédent. On cherche sous la forme avec nilpotente. On veut :
Attention à la question 1 : une matrice peut avoir un antécédent par un polynôme donné sans être diagonalisable (par exemple ). L'énoncé demande que cela soit vrai pour tout . C'est cette universalité qui impose la diagonalisabilité.