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 :

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

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