Un ensemble de trois résultats fondamentaux sur les p-sous-groupes d'un groupe fini : existence (il existe un sous-groupe d'ordre égal à la plus grande puissance de p divisant l'ordre du groupe), conjugaison (tous ces sous-groupes maximaux en p sont conjugués), et comptage (le nombre de ces sous-groupes satisfait des contraintes de congruence et de divisibilité).

Principe

Les p-sous-groupes maximaux d'un groupe fini ne sont pas isolés : ils existent, sont reliés par conjugaison, et leur nombre est contraint par des conditions arithmétiques dépendant de l'ordre du groupe.

Démonstration

Pour le groupe symétrique S3 d'ordre 6 et p = 3 : il existe un sous-groupe d'ordre 3 (le sous-groupe engendré par une 3-cycle), tous ces sous-groupes d'ordre 3 sont conjugués dans S3, et leur nombre est congru à 1 modulo 3 et divise 2, d'où l'unicité du Sylow 3-sous-groupe qui en découle et sa normalité.

Mauvaise application

Confondre l'unicité d'un Sylow p-sous-groupe avec des conclusions structurelles plus larges sans vérifier le contexte, ou tenter d'appliquer les résultats de Sylow à des groupes infinis ou à des diviseurs non puissances de p de l'ordre du groupe.

Conséquence

Impose des restrictions fortes sur la structure possible des groupes : l'existence fournit des sous-groupes candidats pour l'étude, la conjugaison réduit l'analyse à un représentant, et le comptage limite les arrangements possibles, conduisant souvent à l'existence de sous-groupes normaux ou à des décompositions en produit semi-direct.

Inversion

Inverser ces théorèmes reviendrait à affirmer soit la non-existence de p-sous-groupes maximaux, soit l'absence de conjugaison, soit l'absence de contraintes arithmétiques sur leur nombre ; un tel tableau inversé apparaît dans des groupes infinis ou lorsque les hypothèses de puissance de p et de finitude manquent, montrant la nécessité de ces conditions.

Limite

S'applique uniquement aux groupes finis et aux sous-groupes dont l'ordre est une puissance d'un nombre premier p divisant l'ordre du groupe ; il ne donne rien sur les sous-groupes d'ordres non puissances de p, ni sur les groupes infinis ou les groupes topologiques sans hypothèses supplémentaires.

Tension sémantique

L'expression « Sylow p-sous-groupe » est parfois confondue avec « sous-groupe p-maximal » en langage courant — formellement, un Sylow p-sous-groupe a pour ordre la plus grande puissance de p divisant |G|, alors que 'p-maximal' peut signifier maximal par inclusion parmi les p-sous-groupes ; ces notions coïncident pour les groupes finis mais la distinction importe pour les généralisations.

Synthèse

Les théorèmes de Sylow forment un outil compact : ils garantissent l'existence de p-sous-groupes maximaux dans les groupes finis, montrent que tous sont conjugués et imposent des contraintes arithmétiques sur leur nombre, permettant des déductions concrètes sur la structure du groupe.