Théorème de la théorie des groupes finis qui affirme que tout groupe fini dont l'ordre n'est divisible par au plus deux nombres premiers distincts, c'est‑à‑dire de la forme p^a q^b, est un groupe résoluble.

Principe

Limiter la décomposition en facteurs premiers de l'ordre du groupe à deux premiers distincts impose des contraintes structurelles (via les sous-groupes de Sylow, leurs normalisateurs et des arguments de comptage ou de théorie des caractères) qui empêchent l'apparition de facteurs simples non abéliens, d'où la résolubilité.

Démonstration

Exemple concret : tout groupe d'ordre 18 = 2 · 3^2 est résoluble ; l'étude des sous-groupes de Sylow et de leurs actions sur les classes à gauche montre l'existence d'une série normale non triviale à quotients abéliens.

Mauvaise application

Appliquer ce théorème à des groupes dont l'ordre comporte trois nombres premiers distincts ou à des groupes infinis ; par exemple conclure la résolubilité pour un groupe d'ordre pqr sans vérifier les contraintes combinatoires spécifiques est incorrect.

Conséquence

Quand il s'applique, le théorème exclut l'existence de groupes simples non abéliens d'un tel ordre et permet de construire des séries normales explicites, simplifiant la classification et les problèmes de représentation pour ces groupes finis.

Inversion

L'énoncé « tout groupe fini résoluble a un ordre p^a q^b » est faux : la résolubilité n'implique pas que l'ordre comporte au plus deux diviseurs premiers, donc inverser le théorème donne un critère trompeur.

Limite

S'applique seulement aux groupes finis et aux ordres comportant au plus deux premiers distincts ; il ne couvre pas les ordres avec trois premiers ou plus, et ne classe pas exhaustivement la structure des groupes résolubles de cet ordre.

Tension sémantique

Souvent confondu avec d'autres résultats attribués à Burnside ou avec des versions nécessitant des hypothèses supplémentaires (par exemple des démonstrations par théorie des caractères) ; la tension est entre l'hypothèse numérique simple et les arguments plus profonds justifiant la résolubilité.

Synthèse

Le théorème de Burnside P^a Q^b relie une contrainte purement arithmétique sur l'ordre d'un groupe à une conclusion structurelle forte : la limitation à deux premiers distincts impose suffisamment de structure normale pour assurer la résolubilité.