Soit et . On s'intéresse à la relation de similitude entre et ses multiples scalaires.
Pour la question 1, utiliser le fait que si deux matrices sont semblables, elles ont le même spectre. Raisonner par l'absurde sur l'existence d'une valeur propre non nulle.
Pour la question 2, si n'est pas nilpotente, elle possède au moins une valeur propre . Étudier l'image de cette valeur propre par l'opération de multiplication par .
Pour la question 3, on pourra procéder par récurrence sur la dimension ou utiliser la décomposition de l'espace en sous-espaces cycliques (structure des endomorphismes nilpotents).
Invariance du spectre par similitude : .
Lien entre spectre et nilpotence (sur ).
Propriétés des puissances des matrices semblables : pour .
Résolution.
Supposons qu'il existe tel que . Par une récurrence immédiate, on aurait :
Comme , les éléments de la suite sont tous distincts deux à deux. Cela impliquerait que le spectre de est infini, ce qui est impossible puisque possède au plus valeurs propres distinctes. On en conclut que la seule valeur propre possible est .
Soit non nilpotente. Son spectre contient au moins une valeur propre non nulle . Si , alors et sont semblables, donc :
En particulier, puisque , on doit avoir . Considérons l'application :
Puisque , cette application est injective : . L'ensemble est donc en bijection avec un sous-ensemble de . Comme est un ensemble fini (de cardinal au plus ), on en déduit que :
Soit une matrice nilpotente et . Nous voulons montrer que et sont semblables. Une méthode consiste à utiliser le résultat suivant : deux matrices nilpotentes sont semblables si et seulement si elles ont les mêmes rangs pour toutes leurs puissances. Soit . On a :
Comme , on a aussi . La multiplication par un scalaire non nul ne modifie pas le rang d'une matrice. Ainsi :
D'après le théorème de classification des endomorphismes nilpotents (souvent abordé via la réduction de Jordan ou l'étude des noyaux itérés), cette égalité des rangs des puissances successives suffit à garantir que et sont semblables.
Alternative (construction directe) : On peut décomposer l'espace en somme directe de sous-espaces cycliques de dimensions . Sur chaque , il existe une base telle que et pour . En définissant par , on vérifie que .
Attention à la question 1(b). Le fait que le spectre soit n'implique la nilpotence que si le polynôme caractéristique est scindé. Sur , c'est toujours vrai, mais sur un corps quelconque, il faut être vigilant.