Soit un entier supérieur ou égal à 2. On considère un polynôme et on définit l'application suivante sur l'espace des matrices carrées :
Pour la non-surjectivité, on pourra poser et remarquer que pour toute racine de , on a . Étudier alors si une matrice nilpotente d'indice peut être dans l'image.
Pour la fibre infinie, considérer le cas où est une matrice scalaire associée à une racine de .
Pour la densité, utiliser les matrices à valeurs propres distinctes et les propriétés des polynômes à racines simples.
Lien entre les valeurs propres de et celles de .
Utilisation du rang et de la nilpotence pour la non-surjectivité.
Densité des matrices à valeurs propres distinctes (matrices de à discriminant non nul).
Résolution.
Attention à ne pas oublier que si , n'est pas nécessairement un polynôme en si possède des valeurs propres multiples. C'est pour cela que la densité se restreint aux matrices à spectre simple.