Soit un espace vectoriel de dimension finie sur ( ou ). On considère deux endomorphismes et de satisfaisant la relation :
Pour 1.(a), procéder par récurrence sur . Pour 1.(b), considérer l'application opérant sur .
Pour 2.(a), si , calculer . Pour 2.(b), utiliser une récurrence sur la dimension de .
Pour 3.(a), utiliser la croissance des noyaux itérés pour un endomorphisme nilpotent.
Pour 3.(b), si est un vecteur propre de pour , regarder l'image de par .
Utilisation d'un endomorphisme de l'espace des endomorphismes (endomorphisme adjoint).
Stabilité des noyaux par un commutant.
Propriétés des chaînes de noyaux pour les nilpotents.
Résolution.
Attention à ne pas affirmer que est nilpotent simplement parce qu'il a une valeur propre nulle. Il faut bien utiliser l'argument de la dimension finie sur le spectre de l'opérateur de commutation .