_n(\mathbb{C})$}
On considère une sous-algèbre de (ou de ). On dit que est réduite si son seul élément nilpotent est la matrice nulle :
L'objectif de cet exercice est de montrer que les éléments de sont simultanément diagonalisables.
Pour la question 1, considérer le polynôme minimal de et introduire sa partie réduite (produit des facteurs linéaires sans multiplicité).
Pour la question 2, utiliser les projecteurs spectraux de et montrer qu'ils s'expriment comme des polynômes en .
Pour la question 3(a), utiliser le fait que est réduite : tout élément dont le carré est nul est lui-même nul.
Pour la question 4, utiliser un résultat classique sur la réduction simultanée de familles d'endomorphismes qui commutent.
Lien entre absence de nilpotents et racines simples du polynôme minimal.
Utilisation des polynômes d'interpolation de Lagrange pour obtenir les projecteurs spectraux.
Caractérisation de la commutativité par l'étude des éléments de carré nul.
Théorème de codiagonalisation des familles commutantes d'endomorphismes diagonalisables.
Résolution.
Attention à ne pas oublier de justifier que les projecteurs spectraux appartiennent bien à l'algèbre . L'argument clé est qu'ils sont des polynômes en la matrice .