Soient et . On considère la matrice par blocs définie par :
Pour le 1.(a), chercher une matrice de passage de la forme .
Pour le 2.(a), utiliser un polynôme annulateur à racines simples de et observer son action sur les blocs diagonaux.
Pour le 2.(b), la condition traduit le fait que est semblable à via une matrice de transvection par blocs.
Polynôme annulateur et stabilité par passage aux sous-blocs diagonaux.
Similitude par blocs (matrices de transvection ).
Équation de Sylvester .
Résolution.
Condition nécessaire : Supposons diagonalisable. Soit les valeurs propres distinctes de . L'espace est la somme directe des sous-espaces propres . Soit l'endomorphisme associé à dans la base canonique . Soit . est stable par et la restriction de à a pour matrice . L'endomorphisme induit par sur le quotient a pour matrice . Comme est diagonalisable, il existe un supplémentaire de dans stable par . Soit la matrice de passage vers une base adaptée à . est de la forme (quitte à changer de base dans ). La stabilité de impose que soit semblable à via cette matrice, ce qui mène à .
Attention à ne pas croire que diagonalisable implique diagonalisable sans condition sur . Le contre-exemple classique est où sont diagonalisables mais ne l'est pas.