Soit et un sous-groupe de .
On suppose que le groupe est de cardinal fini.
Démontrer que tout élément appartenant à est une matrice diagonalisable de .
Utiliser le fait que dans un groupe fini, tout élément est d'ordre fini.
Exploiter un polynôme annulateur classique pour les matrices de torsion (matrices telles que ).
Se ramener au critère de diagonalisation portant sur les racines d'un polynôme annulateur.
Utilisation de l'ordre d'un élément dans un groupe fini.
Critère de diagonalisabilité : existence d'un polynôme annulateur scindé à racines simples.
Résolution.
Soit un élément quelconque du groupe . Puisque est un groupe fini, l'ensemble des puissances de , à savoir , est inclus dans et est donc lui-même fini.
Il existe alors deux entiers distincts et , avec par exemple , tels que :
Comme , la matrice est inversible. En multipliant par , on en déduit :
Notons l'entier strictement positif ainsi obtenu. La matrice est annulée par le polynôme :
Cherchons les racines de ce polynôme dans et étudions leur multiplicité. Les racines de sont les racines -ièmes de l'unité, données par :
On observe que le polynôme dérivé est . Les racines de sont uniquement .
Comme n'est pas racine de , le polynôme et son dérivé n'ont aucune racine commune. Ainsi, toutes les racines de dans sont simples.
Le polynôme est donc scindé sur et ne possède que des racines simples.
D'après le cours sur la réduction, une matrice est diagonalisable sur un corps si et seulement s'il existe un polynôme annulateur scindé sur à racines simples.
On en conclut que la matrice est diagonalisable dans .
Attention à ne pas oublier de préciser que le corps de base est . Sur , une matrice d'un sous-groupe fini n'est pas nécessairement diagonalisable (penser aux matrices de rotation d'angle ).