J'imagine qu'on parle d'une matrice à coefficients dans Z

Je note \lambda_1,...,\lambda_n les valeurs propres de A
[TeX]tr(A)=\sum_{k=1}^n\lambda_k[/TeX][TeX]tr(A^p)=\sum_{k=1}^n(\lambda_k)^p[/TeX]
car les valeurs propres de [latex]A^p[/latex] sont les [latex](\lambda_k)^p[/latex]
[TeX]tr(A)^p=\left(\sum_{k=1}^n\lambda_k\right)^p
=\sum_{k=1}^n(\lambda_k)^p [p][/TeX]
La dernière égalité se montre par récurrence et en utilisant le résultat suivant :
[TeX]\forall 0 < k < p, p|C_p^k[/TeX]
Outre les puissances p-ièmes des différents [latex]\lambda_k[/latex], il y a toujours un facteur p dans les autres termes.

On arrive donc à l'égalité :
[TeX]tr(A^p)=tr(A)^p [p][/TeX]
Et on utilise le petit théorème de Fermat sur l'entier tr(A) :
[TeX]tr(A)^p=tr(A)[p][/TeX]
On a donc bien l'égalité cherchée :
[TeX]tr(A^p)=tr(A)[p][/TeX]

Pour  L00ping007 (et autres) s'occuper du cas n=2 donc des matrice 2*2 en faisant les calculs explicitement.

Sa sainteté arrive-t-il a trigonaliser dans [latex]Z[/latex]?

Ma seule erreur est de ne pas avoir fait attention au fait que les \lambda sont au pire algébriques, mais certainement pas nécessairement entiers. Mon facteur p n'est donc pas utilisable pour un modulo.

Je ne vois pas ma seconde erreur ?

EDIT
D'ailleurs, je pense que je peux m'en sortir avec le développement de la trace puissance p, grâce aux relations coeff/racines, les différents produits de valeurs propres ne doivent pas être bien loin d'être entiers. Du coup le modulo serait valable. Mais ça reste à prouver, j'ai la flemme

"c'est pas faux"

Yanyan a écrit:

Sa sainteté arrive-t-il a trigonaliser dans [latex]Z[/latex]?

Loin d'en être sûr.


Tout au plus l'énoncé m'a-t-il laissé penser que les valeurs propres étaient dans [latex]Z[/latex] et le cas général amène à une matrice trigonalisée.

L'invariance de la trace par similitude demeure. Même si cette trace est réelle, la matrice inverse pour trace l'inverse de la trace.
Le produit des deux est donc égal à 1.

On enchaîne ensuite valeur propre par valeur propre. 

la question devient me semble-t-il: une matrice à coefficients dans [latex]Z[/latex] a-t-elle ses valeurs propres dans [latex]Z[/latex].
Je serai tenté de répondre oui, mas il faut que je vérifie.

Et donc, on veut prouver quoi?

On travaille sur [latex]Z[/latex], [latex]Q[/latex] ou [latex]R[/latex]?

Donc, sauf erreur, les valeurs propres sont entières et tout a été dit...

Je maintiens mon premier post, jolie énigme, pas simple

Il me semble que tout ceci n'est pas très compliqué!

On commence par réduire modulo p notre petite matrice...

Ensuite, le truc est de travailler dans la cloture algébrique de [latex]\mathbb{F}_p[/latex] dans laquelle la matrice réduite est trigonalisable (comme toute matrice à coefficients dans un corps clos).

Par l'invariance de la trace par changement de base, on se ramène à une matrice triangulaire. Comme vous l'avez dit, si on pose [latex] \lambda_i[/latex] les valeurs propres de la matrices, on a:
[TeX]Tr(A^p)=\sum \lambda_i^p= (\sum \lambda_i)^p=Tr(A)^p \sim Tr(A)[/TeX]
la derniere congruence provenant de  ce qu'on est alors dans le corps premier.

Et le tour est joué.

Bravo à tout le monde. C' était trop dur et infaisable dans l'esprit du site, désolé.
Vous vous étonnerez peut-être de la puissance du peintre mais c'est un être polycéphale!