On considère la matrice suivante, appartenant à :
Commencer par calculer le polynôme caractéristique de pour déterminer ses valeurs propres.
Utiliser le lien entre le caractère diagonalisable (ou cyclique) d'une matrice et la structure de son commutant.
Se rappeler que pour une matrice , le commutant est égal à l'algèbre des polynômes en si et seulement si le polynôme minimal de est égal à son polynôme caractéristique.
Vérifier si le caractère cyclique de dépend du corps de base considéré.
Calcul du polynôme caractéristique .
Étude de la diagonalisabilité et du caractère cyclique.
Relation pour les matrices dont les valeurs propres sont simples.
1. Étude du commutant sur .}
Calculons tout d'abord le polynôme caractéristique de , défini par .
En effectuant l'opération sur les colonnes , on obtient :
En effectuant , on fait apparaître un zéro :
En développant, on trouve après simplification :
Cherchons les racines du trinôme . Le discriminant est . Les racines sont donc et .
Le spectre de dans est :
Comme possède trois valeurs propres réelles distinctes, est diagonalisable.
Pour une matrice diagonalisable à valeurs propres simples, le commutant est exactement l'ensemble des polynômes en cette matrice de degré inférieur ou égal à .
On en déduit que le commutant de dans est :
2. Étude du commutant sur .}
Sur , les valeurs propres ne sont pas des éléments du corps. Cependant, la structure du commutant est liée au caractère cyclique de la matrice.
Une matrice est dite cyclique si son polynôme minimal est égal à son polynôme caractéristique .
Le polynôme minimal ne dépend pas du corps d'extension considéré (il est identique sur , ou ).
Or, sur , possède trois racines simples, donc . La matrice est donc cyclique sur .
Le théorème du commutant affirme que pour toute matrice cyclique, le commutant est égal à l'algèbre des polynômes en cette matrice.
Ainsi, le commutant sur est l'ensemble des polynômes en à coefficients rationnels :
Une erreur classique consiste à penser que si une matrice n'est pas diagonalisable sur un corps , son commutant est plus "gros" que . C'est faux : la condition nécessaire et suffisante est que la matrice soit cyclique (), ce qui est plus faible que d'être diagonalisable à spectre simple.