Triptyque de résultats fondamentaux sur les p-sous-groupes dans les groupes finis : existence (pour un premier p divisant l'ordre du groupe il existe un sous-groupe d'ordre p^n où p^n est la plus grande puissance de p divisant |G|), conjugaison (tous les p-sous-groupes de Sylow sont conjugués), et comptage (le nombre n_p de p-sous-groupes de Sylow vérifie n_p ≡ 1 (mod p) et divise la partie p′ de |G|). Ces théorèmes restreignent fortement la structure des sous-groupes d'un groupe fini.

Principe

La théorie de Sylow combine des arguments de comptage et des actions de groupes sur des ensembles de classes à droite : les p-sous-groupes maximaux existent par analogues du théorème de Cauchy et sont conjugués ; les actions de groupe et le théorème orbite-stabilisateur fournissent des conditions de congruence et de divisibilité sur le nombre de tels sous-groupes.

Démonstration

Exemple : un groupe G d'ordre 12 = 2^2·3 a des p-sous-groupes de Sylow pour p = 3 de ordre 3 ; le nombre n_3 divise 4 et satisfait n_3 ≡ 1 (mod 3), donc n_3 = 1, ce qui implique que le sous-groupe de Sylow-3 unique est normal. Cela restreint immédiatement les structures possibles pour les groupes d'ordre 12.

Mauvaise application

Considérer les sous-groupes de Sylow comme automatiquement normaux ou uniques sans vérifier la condition de comptage. Par exemple, supposer que chaque p-sous-groupe de Sylow est normal conduit à des décompositions incorrectes ; autre erreur : appliquer les conclusions de Sylow à des groupes infinis ou à des ordres de sous-groupes qui ne sont pas des puissances p-maximales.

Conséquence

Fournit des outils puissants pour la classification des groupes finis et pour réduire les problèmes de structure de groupe à l'étude des p-sous-groupes et de leurs classes de conjugaison. Les contraintes de Sylow sont souvent la première étape dans la classification des groupes d'ordre petit et pour prouver l'existence de p-complements normaux sous des hypothèses supplémentaires.

Inversion

La perspective inverse étudie les p′-sous-groupes ou les sous-groupes de Hall (sous-groupes dont l'ordre est premier à p) ; tandis que les théorèmes de Sylow garantissent l'existence et la conjugaison pour les sous-groupes d'ordre puissance de p maximal, l'existence analogue pour les sous-groupes de Hall exige des hypothèses plus fortes et ne tient pas en général pour tous les groupes finis.

Limite

S'applique uniquement aux groupes finis et aux nombres premiers p divisant l'ordre du groupe. Il n'énonce rien pour les sous-groupes d'ordre arbitraire, pour les groupes infinis, et ne garantit pas la normalité sauf lorsque les conditions de comptage imposent l'unicité (n_p = 1).

Tension sémantique

Tension sémantique entre les p-sous-groupes de Sylow et d'autres notions de maximalité : les p-sous-groupes de Sylow sont maximaux parmi les p-sous-groupes mais ne sont pas nécessairement uniques ou caractéristiques ; ils contrastent avec les p-sous-groupes normaux, les sous-groupes de Hall et le sous-groupe de Fitting dont l'existence ou l'unicité relève d'hypothèses différentes.

Synthèse

Les Théorèmes de Sylow affirment que pour chaque premier p divisant |G| il existe des sous-groupes d'ordre p^n maximal, tous conjugués, et que leur nombre satisfait des contraintes de congruence et de divisibilité ; ces résultats contrôlent étroitement la structure p-locale des groupes finis et sont fondamentaux pour leur analyse.