WikiPrépaLivrets

etet\mathbb{Z}$}

On considère les deux matrices suivantes de M2(Z)\mathcal{M}_{2}(\mathbb{Z}) :

A=(3143)etB=(5001)A = \begin{pmatrix} 3 & 1
4 & 3 \end{pmatrix}   \text{et}   B = \begin{pmatrix} 5 & 0
0 & 1 \end{pmatrix}

  1. Démontrer que les matrices AA et BB sont semblables dans M2(Q)\mathcal{M}_{2}(\mathbb{Q}).
  2. Montrer qu'elles ne sont pas semblables dans M2(Z)\mathcal{M}_{2}(\mathbb{Z}), c'est-à-dire qu'il n'existe pas de matrice P∈M2(Z)P \in \mathcal{M}_2(\mathbb{Z}) telle que det⁡(P)∈{−1,1}\det(P) \in \{-1, 1\} et B=P−1APB = P^{-1}AP.

1.

Pour la question 1, comparez les polynômes caractéristiques des deux matrices et vérifiez s'ils sont scindés à racines simples sur Q\mathbb{Q}.

2.

Pour la question 2, cherchez une matrice P=(abcd)P = \begin{pmatrix} a & b
c & d \end{pmatrix}
à coefficients entiers satisfaisant la relation AP=PBAP = PB. Calculez ensuite son déterminant et montrez qu'il ne peut pas être égal à ±1\pm 1.

Idées clés

•

Deux matrices sont semblables sur un corps si elles sont semblables à une même matrice diagonale.

•

La similitude sur Z\mathbb{Z} impose une condition très restrictive sur le déterminant de la matrice de passage : det⁡P∈Z×={−1,1}\det P \in \mathbb{Z}^\times = \{-1, 1\}.

Résolution.

  1. Similitude dans M2(Q)\mathcal{M_2(\mathbb{Q}) :} Calculons le polynôme caractéristique de la matrice AA :
    χA(X)=det⁡(XI−A)=∣X−3−1−4X−3∣=(X−3)2−4\chi_A(X) = \det(XI - A) = \begin{vmatrix} X-3 & -1
    -4 & X-3 \end{vmatrix} = (X-3)^2 - 4
    En développant, on obtient :
    χA(X)=X2−6X+9−4=X2−6X+5\chi_A(X) = X^2 - 6X + 9 - 4 = \boxed{X^2 - 6X + 5}
    Les racines de ce polynôme sont immédiatement identifiables (le produit vaut 5 et la somme vaut 6) :
    χA(X)=(X−1)(X−5)\chi_A(X) = (X-1)(X-5)
    Le polynôme caractéristique de BB est également :
    χB(X)=(X−5)(X−1)\chi_B(X) = (X-5)(X-1)
    Les matrices AA et BB ont le même polynôme caractéristique, lequel est scindé à racines simples sur Q\mathbb{Q} (les racines 1 et 5 appartiennent bien à Q\mathbb{Q}). Par conséquent, AA et BB sont toutes deux semblables dans M2(Q)\mathcal{M}_2(\mathbb{Q}) à la matrice diagonale D=diag(5,1)D = \text{diag}(5, 1). Par transitivité de la relation de similitude :
    A∼QB\boxed{A \sim_{\mathbb{Q}} B}

  2. Non-similitude dans M2(Z)\mathcal{M_2(\mathbb{Z}) :} Supposons qu'il existe une matrice P=(abcd)∈M2(Z)P = \begin{pmatrix} a & b
    c & d \end{pmatrix} \in \mathcal{M}_2(\mathbb{Z})
    telle que AP=PBAP = PB avec PP inversible dans M2(Z)\mathcal{M}_2(\mathbb{Z}). La condition P∈GL2(Z)P \in GL_2(\mathbb{Z}) équivaut à det⁡(P)∈{−1,1}\det(P) \in \{-1, 1\}. Développons l'égalité AP=PBAP = PB :
    (3143)(abcd)=(abcd)(5001)\begin{pmatrix} 3 & 1
    4 & 3 \end{pmatrix} \begin{pmatrix} a & b
    c & d \end{pmatrix} = \begin{pmatrix} a & b
    c & d \end{pmatrix} \begin{pmatrix} 5 & 0
    0 & 1 \end{pmatrix}
    Ce qui nous donne le système d'équations suivant :
    (3a+c3b+d4a+3c4b+3d)=(5ab5cd)\begin{pmatrix} 3a+c & 3b+d
    4a+3c & 4b+3d \end{pmatrix} = \begin{pmatrix} 5a & b
    5c & d \end{pmatrix}
    On en déduit les relations sur les coefficients :
    • 3a+c=5a  ⟹  c=2a3a + c = 5a \implies \boxed{c = 2a}
    • 3b+d=b  ⟹  d=−2b3b + d = b \implies \boxed{d = -2b}
    Les deux autres équations (4a+3c=5c4a+3c=5c et 4b+3d=d4b+3d=d) sont alors automatiquement vérifiées par ces expressions. La matrice PP doit donc être de la forme :
    P=(ab2a−2b)P = \begin{pmatrix} a & b
    2a & -2b \end{pmatrix}
    Calculons le déterminant de cette matrice PP :
    det⁡(P)=a(−2b)−(2a)b=−2ab−2ab=−4ab\det(P) = a(-2b) - (2a)b = -2ab - 2ab = \boxed{-4ab}
    Comme aa et bb sont des entiers (car P∈M2(Z)P \in \mathcal{M}_2(\mathbb{Z})), le déterminant de PP est nécessairement un multiple de 4. Or, pour que PP appartienne à GL2(Z)GL_2(\mathbb{Z}), il faudrait que :
    −4ab=1ou−4ab=−1-4ab = 1   \text{ou}   -4ab = -1
    Aucune de ces deux équations n'admet de solution dans Z\mathbb{Z} car 1 et -1 ne sont pas divisibles par 4. Conclusion : Il n'existe pas de matrice de passage dans GL2(Z)GL_2(\mathbb{Z}). Les matrices AA et BB ne sont pas semblables sur Z\mathbb{Z}.

Attention à ne pas oublier que la condition d'inversibilité dans Mn(Z)\mathcal{M}_n(\mathbb{Z}) est det⁡P=±1\det P = \pm 1, et non simplement det⁡P≠0\det P \neq 0. Une matrice à coefficients entiers peut avoir un déterminant non nul sans que son inverse soit à coefficients entiers (ex: diag(2,2)\text{diag}(2, 2)).