Soient et deux entiers naturels non nuls. On considère l'ensemble des matrices de dont la puissance -ième est l'identité, noté :
Commencer par justifier que toute matrice est diagonalisable et préciser ses valeurs propres possibles.
Identifier les classes de similitude au sein de en utilisant les multiplicités des valeurs propres.
Utiliser la connexité par arcs de pour montrer que chaque classe de similitude est connexe par arcs.
Montrer que deux matrices ayant des polynômes caractéristiques différents appartiennent à des composantes connexes distinctes en exploitant la continuité des coefficients du polynôme caractéristique.
Conclure par un dénombrement combinatoire.
Diagonalisabilité par polynôme annulateur à racines simples.
Caractérisation des classes de similitude par le spectre.
Connexité par arcs du groupe linéaire .
Continuité des applications coefficients du polynôme caractéristique.
1. Analyse de la structure des matrices de .}
Soit . Par définition, le polynôme est un polynôme annulateur de .
Ce polynôme est scindé à racines simples sur . Ses racines sont les racines -ièmes de l'unité :
Puisque admet un polynôme annulateur scindé à racines simples, on en déduit que :
Le spectre de est inclus dans l'ensemble .
2. Identification des classes de similitude.
Soit . Notons la multiplicité de la valeur propre pour (avec si n'est pas valeur propre).
Comme est diagonalisable, la somme des multiplicités est égale à la dimension de l'espace :
Deux matrices de sont semblables si et seulement si elles ont le même polynôme caractéristique, ce qui revient ici à dire qu'elles ont les mêmes multiplicités .
Soit la classe de similitude associée à un -uplet tel que . On a :
3. Connexité par arcs des classes de similitude.
Soit une classe de similitude dans . Il existe une matrice diagonale telle que :
On sait que est connexe par arcs.
Soient . Il existe tels que et .
Soit un chemin continu reliant à . Alors le chemin défini par :
4. Séparation des classes de similitude.
Considérons l'application qui à une matrice associe son polynôme caractéristique. Cette application est continue car ses coefficients sont des polynômes en les coefficients de la matrice.
Sur , l'image par est un ensemble fini de polynômes (ceux dont les racines sont dans ).
Si deux matrices et appartiennent à la même composante connexe par arcs de , alors par continuité de , l'image d'un chemin reliant à doit être un chemin continu dans l'ensemble des images.
Comme l'ensemble des images est fini (donc discret), ce chemin doit être constant.
Ainsi, deux matrices de sont dans la même composante connexe si et seulement si elles ont le même polynôme caractéristique.
Les composantes connexes par arcs de sont exactement les classes de similitude .
5. Dénombrement final.
Le nombre de composantes connexes est le nombre de solutions entières naturelles à l'équation :
D'après le résultat classique de combinatoire (méthode des "étoiles et barres"), ce nombre est :
Ne pas oublier que l'on travaille sur . Sur , le résultat serait très différent car n'est pas connexe (il a deux composantes connexes selon le signe du déterminant) et les matrices ne sont pas forcément diagonalisables.