Soit un nombre premier. On considère un vecteur . On définit la matrice par :
C'est-à-dire que pour tout , le coefficient est .
Exprimer comme un polynôme en la matrice de permutation circulaire .
Utiliser le petit théorème de Fermat pour factoriser le polynôme dans .
Conclure sur la diagonalisabilité de , puis celle de , en utilisant un critère polynomial.
Décomposition sur la base des matrices de permutation.
Utilisation du petit théorème de Fermat pour trouver les racines de l'unité.
Diagonalisabilité des polynômes d'endomorphismes diagonalisables.
Résolution.
On remarque par calcul direct des puissances de que la matrice s'écrit comme un polynôme en :
La matrice vérifie la relation . Par conséquent, le polynôme est un polynôme annulateur de .
Cherchons les racines de dans . D'après le petit théorème de Fermat, pour tout élément non nul , on a .
Comme le corps possède exactement éléments non nuls, le polynôme possède racines distinctes dans , qui sont . On a donc la factorisation :
Le polynôme annulateur est scindé à racines simples sur . On en déduit que la matrice est diagonalisable sur .
Comme est un polynôme en , et que est diagonalisable, alors est également diagonalisable dans .
Soit le polynôme tel que . Les valeurs propres de sont les images des valeurs propres de par . Ainsi, les valeurs propres de sont les éléments pour définis par :
Une matrice diagonale semblable à est donc donnée par :
Ne pas confondre la taille de la matrice () avec le nombre premier . Ici, la dimension est pour que les racines de l'unité soient exactement les éléments du corps privé de zéro.