Soient un nombre premier et . On considère une matrice satisfaisant les deux conditions suivantes :
Démontrer que la matrice est nécessairement nulle.
Commencer par déterminer un polynôme annulateur simple pour et en déduire que est diagonalizable.
Exprimer la trace de en fonction des multiplicités de ses valeurs propres, qui sont des racines de l'unité.
Utiliser l'irréductibilité sur du polynôme cyclotomique .
Conclure en comparant la somme des multiplicités avec la taille de la matrice.
Utilisation d'un polynôme annulateur à racines simples pour la diagonalisabilité.
Lien entre trace, valeurs propres et arithmétique des polynômes (irréductibilité sur ).
Résolution.
L'erreur classique consiste à oublier que les multiplicités sont des entiers. Sans cette information, on ne pourrait pas affirmer que est un multiple de dans . Si les étaient des complexes quelconques, la trace nulle n'impliquerait absolument pas .