254. Déterminer les n ∈ N* tels qu’existe A ∈Mn(R) de polynôme minimal X3 + 2X + 2. Même question dans Mn(Q).

Solution de Eric Pité

Que ce soit sur R ou Q, d’après le théorème de Cayley-Hamilton, on a nécessairement n 3.

De plus, la matrice A3 = ( 0  0  - 2)
( 1  0  - 2)
  0  1   0 admet X3 + 2X + 2 pour polynôme caractéristique et minimal.

Plaçons-nous sur Mn(R). Le polynôme X3 + 2X + 2 possède une racine réelle (et une seule) que l’on note a. Si n 4, la matrice A diagonale par blocs définie par

A = diag (A3 , a,.◟◝.◜.,a◞n-3 fois)

admet X3+2X+2 pour polynôme minimal. Donc, pour tout n 3, il existe A ∈ Mn (R) de polynôme minimal X3 + 2X + 2.

Plaçons nous sur Mn(Q). Si n = 3m, avec m ∈ N*, alors la matrice A diagonale par blocs définie par

A = diag (A3,...◟◝◜,A3◞m fois)

admet X3+2X+2 pour polynôme minimal. Étudions la réciproque.

Soient n∈N* et A ∈ Mn (Q ) de polynôme minimal X3 + 2X + 2. Si le polynôme unitaire X3+2X+2∈Z[X ] possède une racine dans Q alors elle est dans Z, or la seule racine réelle a ≃ -0, 771 ∈ Z. Alternativement, on peut remarquer qu’une racine entière doit diviser 2 et que ± 1,±2 ne sont pas racines. Ainsi X3 + 2X + 2 est irréductible sur Q[X].

Le polynôme caractéristique de A, χA ∈ Q[X], divise une puissance de  3
X  +2X  +2 . Ce dernier étant irréductible sur Q[X], il existe m ∈ N* tel que χA = (X3 + 2X + 2)m. Donc n = 3m.
[Liste des corrigés]