Soit . On considère la matrice de permutation circulaire définie par :
Pour , remarquer que l'endomorphisme associé effectue une permutation de la base canonique : (indices modulo ).
Utiliser le fait que si , alors toute base de vecteurs propres de est aussi une base de vecteurs propres de .
Pour , penser au lien entre l'algèbre et le polynôme minimal, ou utiliser l'interpolation de Lagrange sur les valeurs propres.
Pour le déterminant avec , utiliser la formule du produit des en simplifiant les sommes géométriques.
Structure de l'algèbre engendrée par la matrice de permutation.
Théorème de réduction des polynômes d'endomorphismes : si , alors .
Utilisation des racines -ièmes de l'unité .
Résolution.
Attention à l'ordre des coefficients . Selon que la matrice circule vers la droite ou la gauche, l'expression peut changer ( ou ). Ici, est en position , ce qui correspond bien à .