Ensemble de théorèmes décrivant, pour un groupe fini et un nombre premier p divisant son ordre, l'existence de sous‑groupes d'ordre maximum puissance de p (sous‑groupes p‑Sylow), leurs propriétés de conjugaison et des contraintes de comptage/congruence sur leur nombre.

Principe

La factorisation de l'ordre du groupe en p^k fois la partie p′ impose l'existence de sous-groupes d'ordre p^k ; les propriétés de conjugaison et de comptage contrôlent la position de ces sous-groupes dans le groupe et quand ils sont normaux.

Démonstration

Si |G|=12=2^2·3, les théorèmes de Sylow garantissent des sous-groupes d'ordre 4 et 3 ; la contrainte de comptage impose que le nombre de sous-groupes de Sylow-3 soit congru à 1 modulo 3 et divise 4, ce qui force l'unicité et donc la normalité du Sylow-3 dans tout groupe d'ordre 12.

Mauvaise application

Prétendre que les conclusions de Sylow valent pour des groupes infinis ou pour des nombres premiers ne divisant pas l'ordre du groupe, ou déduire l'abélianité de l'existence de sous-groupes de Sylow ; l'unicité implique normalité mais pas commutativité.

Conséquence

Fournit des contraintes structurelles puissantes utiles en classification : l'existence donne des sous-groupes à étudier, la conjugaison réduit l'étude aux normalisateurs, et les contraintes de comptage éliminent des ordres de groupe impossibles.

Inversion

Au lieu d'étudier les p-sous-groupes, on peut considérer les sous-groupes de Hall (dont l'ordre est composé d'un ensemble de premiers donnés) ou les compléments de Sylow ; ces conclusions structurelles diffèrent et ne découlent pas des théorèmes de Sylow en général.

Limite

S'applique uniquement aux groupes finis et aux premiers divisant l'ordre du groupe. Il ne précise pas la structure interne des sous-groupes de Sylow à isomorphisme près, seulement existence, conjugaison et contraintes numériques par congruence.

Tension sémantique

Tension entre la théorie de Sylow et d'autres résultats d'existence de sous-groupes (par exemple Sylow vs théorèmes de Hall ou classification des groupes simples) : Sylow donne une information locale p‑primaire tandis que la structure globale exige souvent des outils supplémentaires.

Synthèse

Les théorèmes de Sylow forment un triplé—existence, conjugaison et comptage—qui identifie les sous-groupes p-maximaux comme blocs locaux canoniques dans l'étude des groupes finis et impose des contraintes arithmétiques guidant la classification et les arguments de normalité.