Développement : Dénombrement des matrices diagonalisables de Mn(Fq)

Détails/Enoncé :

Un petit dénombrement grâce, notamment, à la formule des classes.

Autres années :

Versions :

  • Auteur :
  • Remarque :
    J'ai ajouté un équivalent lorsque q tend vers l'infini. Il y a alors 1 chance sur n! de tomber sur une matrice diagonalisable. Ce qui change du cas réel ou complexe où l'ensemble des matrices diagonalisables est de mesure pleine.
  • Fichier :
  • Auteur :
  • Remarque :
    Recasage: 101, 106, 123, 152, 190

    Attention: le 1er lemme est inutile. En effet, le 2e lemme découle de la définition de la diagonalisabilité, quitte à ce que certains sous-espaces propres soient triviaux.

    Je fais la version endomorphismes diagonalisables i.e. pas automorphismes. Il suffit juste de rajouter la valeur propre 0. On peut consulter Carnet de voyage en Algébrie pour mieux comprendre certains passages de la preuve. Il se fait en 14min30.
  • Fichier :

Références utilisées dans les versions de ce développement :

Nouvelles histoires hédonistes de groupes et géométries, P. Caldero, J. Germoni (utilisée dans 76 versions au total)
Mathématiques pour l'agrégation: Algèbre et géométrie, Jean Etienne Rombaldi (utilisée dans 744 versions au total)
Nouvelles histoires hédonistes de groupes et géométrie, tome 2, Philippe Caldero et Jérôme Germoni (utilisée dans 42 versions au total)
Histoires hédonistes de groupes et géométries, Tome 1, Caldero, Germoni (utilisée dans 123 versions au total)
Carnet de voyage en Algébrie, Philippe Caldero, Marie Peronnier (utilisée dans 163 versions au total)