Développement : Théorème de Burnside

Détails/Enoncé :

Soit $G$ un sous-groupe de $GL_n(\mathbb{C})$ tel qu'il existe $N \in \mathbb{N}^*$ tel que $\forall A \in G$, $A^N = I_n$. Alors $G$ est fini.

Autres années :

Versions :

  • Auteur :
  • Remarque :
    D'après moi pour les leçons : 106 et 157

    Je n'utilise pas Vandermonde pour démontrer le lemme préliminaire, pour pouvoir le caser dans la leçon 157.
    Attention à mon erreur de dénombrement à la fin...

    NB : tous mes développements sont généralement très détaillés car j'ai besoin de bien comprendre toutes les étapes. En l'état ils sont donc généralement trop longs pour tenir en 15 mins, et les parties "faciles" ne sont donc pas à mentionner ou juste à l'oral.
    J'écris assez mal également, toutes mes excuses.
  • Fichier :
  • Auteur :
  • Remarque :
    Développement classique faisant intervenir le déterminant de Vandermonde. Ici, on montre un lemme caractérisant les endomorphismes nilpotents sur C puis on montre le théorème.

    Résultats bonus:
    1. Déterminant de Vandermonde (par deux méthodes)
    2. Soit G sous-groupe de GL_n(C) et p=dim(Vect(G)), alors il existe une base (M_1;...;M_p) de Vect(G) telle que les M_i soient dans G.

    Développement n°25 sur 28.
    Pour une version de rekasator qui marche aller sur: https://docs.google.com/document/d/1vnBvwVGapXvQC4cU5CHUJWo04E4eezzDSjSIDRekaPE
  • Référence :
  • Fichier :