Soit un corps fini de cardinal . On considère un entier tel que .
Déterminer le nombre de matrices possédant exactement valeurs propres distinctes appartenant à .
Caractériser les matrices ayant valeurs propres distinctes dans en termes de diagonalisabilité.
Utiliser l'action par conjugaison du groupe linéaire sur l'ensemble de ces matrices.
Pour une matrice diagonale fixée à valeurs propres distinctes, déterminer son centraliseur dans .
Se souvenir de la formule du cardinal de .
Lien entre spectre simple et diagonalisabilité.
Théorème de l'orbite-stabilisateur appliqué à l'action par similitude.
Cardinal du groupe linéaire sur un corps fini.
1. Caractérisation des matrices cibles.
Soit l'ensemble des matrices de ayant valeurs propres distinctes dans .
D'après le cours, une matrice de possédant valeurs propres distinctes est diagonalisable.
Ainsi, une matrice appartient à si et seulement si elle est semblable à une matrice diagonale où les sont des éléments distincts de .
2. Décompte des classes de similitude.
Deux matrices diagonales sont semblables si et seulement si leurs éléments diagonaux sont les mêmes à une permutation près.
Chaque classe de similitude incluse dans est donc caractérisée de manière unique par le sous-ensemble des valeurs propres .
Le nombre de telles classes de similitude est égal au nombre de façons de choisir éléments distincts parmi , soit :
3. Taille d'une classe de similitude.
Fixons un ensemble de valeurs propres distinctes et soit la matrice diagonale correspondante. La taille de sa classe de similitude (son orbite sous l'action de ) est donnée par :
4. Calcul du stabilisateur.
Soit . La condition se traduit par :
Puisque les sont distincts, si , alors , ce qui impose .
Par conséquent, est une matrice diagonale. Comme doit être inversible, ses coefficients diagonaux doivent être non nuls dans . Il y a choix pour chaque coefficient diagonal.
5. Conclusion du dénombrement.
Le cardinal de est classiquement donné par :
En regroupant les résultats, le nombre total de matrices est :
On peut simplifier l'expression en remarquant que .
Le résultat final est :
Attention à ne pas oublier que le stabilisateur ne contient que des matrices inversibles. Si l'on travaillait dans pour le centraliseur, on aurait matrices, mais ici on divise par le cardinal du stabilisateur dans .