Ivan Shishkin, Rye (1878)

Problems/Linear algebraReviewed

Powers of integer matrices

by Anduril·
47
Difficulty scaleÉchelle de difficulté

This score reflects both the level of the required concepts and the difficulty of the solution.Ce score tient compte à la fois du niveau des notions nécessaires et de la difficulté de la résolution.

  1. 110First steps / middle schoolPremiers pas / collège
  2. 1125Beginner / high schoolDébutant / lycée
  3. 2650Intermediate / undergraduateIntermédiaire / licence
  4. 5170Advanced / graduateAvancé / master
  5. 7190Expert / specializedExpert / spécialisé
  6. 91100Research levelNiveau recherche
These levels are approximate guides.Ces niveaux sont des repères approximatifs.
·
English
EnglishFrançais

Let MM2(Z)M \in M_2(\mathbb{Z}) so that for some nonzero integer nn, Mn=I2M^{n}=I_{2}. Show that
M12=I2.M^{12}=I_{2}.

I solved itMark it doneAdd to my listKeep it in your list

Hints

1

Hint 1

Open this only if you want a small nudge before looking at the solutions.

Available in Français; this hint has not been translated into the current language yet.

Solutions

1
Reveal solutionsAre you sure? Give it a try first.

Solution by SequoiaFR

Discussions2 useful votes

Le polynôme Xn1X^{n}-1 est scindé à racines simples et annule MM, qui est alors diagonalisable. C’est une matrice réelle qui possède donc un spectre inclus dans les racines nn-èmes de l’unité. Notons λ\lambda et μ\mu ses valeurs propres.
Si les deux valeurs propres sont réelles, alors elles valent 11 ou 1-1 et ainsi MM est semblable à une matrice avec des ±1\pm1 sur la diagonale. Donc son carré est semblable à l’identité et ainsi M2=I2M^2=I_2. En passant à la puissance 66, on trouve que M12=I2M^{12}=I_2.

Sinon, λ\lambda et μ\mu sont deux racines de l’unité complexes conjuguées. On note λ=eiθ=μ\lambda=e^{i\theta}=\overline{\mu} avec θ]π,π]\theta\in]-\pi,\pi].
La trace de MM, matrice à coefficients entiers, est ainsi un entier. On déduit de cela que λ+μ=2cos(θ)\lambda+\mu=2\cos(\theta) est un entier, soit valant ±2,±1\pm2,\pm1 ou 00.

En traitant ces cas un par un, on trouve que, si λ\lambda et μ\mu ne sont pas réels, ce sont des racines 33-èmes ou 44-ème de l’unité. Dans le premier cas M3M^3 est semblable à I2I_2 donc égale à I2I_2 et dans le second, c’est M4M^4 qui vaut I2I_2. Dans tous les cas, en passant à la puissance 44 ou 33, on trouve que M12=I2M^{12}=I_2, ce qui conclut.

Report

For an unclear, ambiguous, or possibly incorrect statement, please use the Discussion tab on the right. Report content that needs moderator intervention, such as dangerous, clearly non-mathematical, or plagiarized content.