WikiPrépaLivrets

On considère la matrice AA suivante, appartenant à M3(R)\mathcal{M}_{3}(\mathbb{R}) :

A=(2−212−32120)A = \begin{pmatrix} 2 & -2 & 1
2 & -3 & 2
1 & 2 & 0 \end{pmatrix}

  1. Déterminer l'ensemble des matrices M∈M3(R)M \in \mathcal{M}_{3}(\mathbb{R}) qui commutent avec AA. Cet ensemble, noté CR(A)\mathcal{C}_{\mathbb{R}}(A), est appelé le commutant de AA dans M3(R)\mathcal{M}_{3}(\mathbb{R}).
  2. On suppose maintenant que l'on travaille sur le corps des rationnels. Déterminer CQ(A)\mathcal{C}_{\mathbb{Q}}(A), c'est-à-dire l'ensemble des matrices de M3(Q)\mathcal{M}_{3}(\mathbb{Q}) commutant avec AA.

1.

Commencer par calculer le polynôme caractéristique de AA pour déterminer ses valeurs propres.

2.

Utiliser le lien entre le caractère diagonalisable (ou cyclique) d'une matrice et la structure de son commutant.

3.

Se rappeler que pour une matrice A∈Mn(K)A \in \mathcal{M}_n(K), le commutant est égal à l'algèbre des polynômes en AA si et seulement si le polynôme minimal de AA est égal à son polynôme caractéristique.

4.

Vérifier si le caractère cyclique de AA dépend du corps de base considéré.

Idées clés

•

Calcul du polynôme caractéristique χA\chi_A.

•

Étude de la diagonalisabilité et du caractère cyclique.

•

Relation C(A)=K[A]\mathcal{C}(A) = K[A] pour les matrices dont les valeurs propres sont simples.

1. Étude du commutant sur R\mathbb{R.}

Calculons tout d'abord le polynôme caractéristique de AA, défini par χA(X)=det⁡(XI3−A)\chi_A(X) = \det(XI_3 - A).

χA(X)=∣X−22−1−2X+3−2−1−2X∣\chi_A(X) = \begin{vmatrix} X-2 & 2 & -1
-2 & X+3 & -2
-1 & -2 & X \end{vmatrix}

En effectuant l'opération sur les colonnes C1←C1+C2+C3C_1 \leftarrow C_1 + C_2 + C_3, on obtient :

χA(X)=∣X−12−1X−1X+3−2X−3−2X∣\chi_A(X) = \begin{vmatrix} X-1 & 2 & -1
X-1 & X+3 & -2
X-3 & -2 & X \end{vmatrix}

En effectuant L2←L2−L1L_2 \leftarrow L_2 - L_1, on fait apparaître un zéro :

χA(X)=∣X−12−10X+1−1X−3−2X∣\chi_A(X) = \begin{vmatrix} X-1 & 2 & -1
0 & X+1 & -1
X-3 & -2 & X \end{vmatrix}

En développant, on trouve après simplification :

χA(X)=(X−1)(X2+2X−5)\chi_A(X) = (X-1)(X^2 + 2X - 5)

Cherchons les racines du trinôme X2+2X−5X^2 + 2X - 5. Le discriminant est Δ=4−4(1)(−5)=24=(26)2\Delta = 4 - 4(1)(-5) = 24 = (2\sqrt{6})^2. Les racines sont donc λ1=−1+6\lambda_1 = -1 + \sqrt{6} et λ2=−1−6\lambda_2 = -1 - \sqrt{6}.

Le spectre de AA dans R\mathbb{R} est :

SpR(A)={1,−1+6,−1−6}\boxed{\text{Sp}_{\mathbb{R}}(A) = \{1, -1 + \sqrt{6}, -1 - \sqrt{6}\}}

Comme A∈M3(R)A \in \mathcal{M}_3(\mathbb{R}) possède trois valeurs propres réelles distinctes, AA 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 à n−1n-1.

On en déduit que le commutant de AA dans M3(R)\mathcal{M}_3(\mathbb{R}) est :

CR(A)=Vect(I3,A,A2)={aI3+bA+cA2∣(a,b,c)∈R3}\boxed{\mathcal{C}_{\mathbb{R}}(A) = \text{Vect}(I_3, A, A^2) = \{ aI_3 + bA + cA^2 \mid (a,b,c) \in \mathbb{R}^3 \}}

2. Étude du commutant sur Q\mathbb{Q.}

Sur Q\mathbb{Q}, les valeurs propres −1±6-1 \pm \sqrt{6} 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 πA\pi_A est égal à son polynôme caractéristique χA\chi_A.

Le polynôme minimal πA\pi_A ne dépend pas du corps d'extension considéré (il est identique sur Q\mathbb{Q}, R\mathbb{R} ou C\mathbb{C}).

Or, sur C\mathbb{C}, χA\chi_A possède trois racines simples, donc πA=χA\pi_A = \chi_A. La matrice AA est donc cyclique sur Q\mathbb{Q}.

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 Q\mathbb{Q} est l'ensemble des polynômes en AA à coefficients rationnels :

CQ(A)=Q[A]={aI3+bA+cA2∣(a,b,c)∈Q3}\boxed{\mathcal{C}_{\mathbb{Q}}(A) = \mathbb{Q}[A] = \{ aI_3 + bA + cA^2 \mid (a,b,c) \in \mathbb{Q}^3 \}}

Une erreur classique consiste à penser que si une matrice n'est pas diagonalisable sur un corps KK, son commutant est plus "gros" que K[A]K[A]. C'est faux : la condition nécessaire et suffisante est que la matrice soit cyclique (πA=χA\pi_A = \chi_A), ce qui est plus faible que d'être diagonalisable à spectre simple.