Développement : Théorème de Sylow (version opération de groupes)

Détails/Enoncé :

Soit $G$ un groupe fini et $p$ premier tel que $|G| = p^a m$ avec $a$ un entier non nul et $m$ premier à $p$. On note $n_p$ le nombre de $p$-Sylow de $G$. Alors $n_p$ est non nul et divise $m$. De plus $n_p = 1 [p]$ et tous les $p$-Sylow sont conjugés.

Ce développement présente une démonstration de ce théorème à l'aide d'opérations de groupes. Il existe une autre démonstration utilisant le principe de récurrence.

Recasages pour l'année 2024 :

Autres années :

Versions :

  • Auteur :
  • Remarque :
    D'après moi pour les leçons : 101 et 104.

    Je ne démontre que 3 des 4 théorèmes de Sylow (celui avec l'argument de Frattini étant nettement plus difficile), donc le développement se retrouve être un peu court.
    Rajouter la démonstration du théorème Cayley résout le problème.

    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.
  • Référence :
  • Fichier :
  • Auteur :
  • Remarque :
    Si on veut faire Sylow, il est important de savoir l'appliquer. Faire les exercices du Perrin, la plupart corrigé chez Ortiz ou Francinou-Gianella me parait indispensable.

    Je fais les trois théorèmes comme Perrin. Il faut être au clair sur les actions de groupes si on veut aller vite.

    Leçons 101, 103, 104, 190.
  • Référence :
  • Fichier :

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

Cours d'algèbre , Perrin (utilisée dans 381 versions au total)
Algèbre L3 , Szpirglas (utilisée dans 43 versions au total)
Algèbre : le grand combat: Cours et exercices, Grégory Berhuy (utilisée dans 85 versions au total)
Théorie des groupes (bis), Delcourt (utilisée dans 7 versions au total)