Soit un -espace vectoriel de dimension finie . On considère deux endomorphismes et de vérifiant la relation :
Pour la question 1, procéder par récurrence sur en utilisant la linéarité du crochet.
Pour la question 2.(a), remarquer que si , alors est un vecteur propre de . Utiliser la dimension finie de .
Pour le contre-exemple, on pourra chercher des petites matrices dans .
Pour la question 3, utiliser le fait que est nilpotent et que les noyaux itérés sont stables par . Montrer que possède valeurs propres distinctes.
Utilisation d'un endomorphisme d'espace d'endomorphismes (opérateur adjoint).
Propriété de stabilité des noyaux itérés pour des endomorphismes qui commutent "presque".
Lien entre nilpotence maximale (indice ) et spectre de l'autre opérateur.
Résolution.
Dans la question 2.(a), ne pas oublier de mentionner que la caractéristique nulle est cruciale pour affirmer que les sont tous distincts dans le corps.