Un théorème majeur de la théorie des groupes finis : tout groupe fini d'ordre impair est résoluble. En particulier, il n'existe pas de groupes finis simples non abéliens d'ordre impair. La démonstration est longue et fait appel à des techniques profondes de théorie des représentations et d'analyse locale ; l'énoncé impose une restriction structurelle essentielle sur les groupes finis simples.

Principe

Principe de résolubilité en ordre impair : la parité de l'ordre du groupe impose de fortes contraintes sur les facteurs de composition et la structure des sous-groupes locaux ; dans le cadre d'ordre impair, certains obstacles à la résolubilité présents pour les ordres pairs disparaissent, permettant des arguments inductifs et des méthodes basées sur les caractères pour conclure à la résolubilité.

Démonstration

Application exemple : tout groupe d'ordre 21 = 3·7 est résoluble ; l'analyse de Sylow montre l'existence de sous-groupes de Sylow normaux ou une structure de produit semi-direct qui est résoluble. Le théorème de Feit–Thompson généralise ces raisonnements cas par cas à tous les ordres impairs.

Mauvaise application

Prétendre la réciproque (tout groupe fini résoluble a un ordre impair) ou étendre le théorème aux groupes infinis. Aussi l'utiliser pour déduire des propriétés qui exigent des hypothèses plus fortes comme la supersolvabilité ou la nilpotence est erroné : la résolubilité est une propriété plus faible et ne garantit pas ces renforcements.

Conséquence

Restreint radicalement les groupes finis simples possibles aux ordres pairs, contribuant à la classification et permettant des arguments structurels qui distinguent le comportement des ordres impairs et pairs ; il réduit les possibilités et élimine des obstructions simples d'ordre impair.

Inversion

La réciproque directe est fausse : il existe de nombreux groupes finis non résolubles d'ordre pair (par exemple des groupes simples d'ordre pair). Ce contraste met en évidence l'importance cruciale de la présence du facteur 2 pour l'existence de groupes finis non abéliens simples.

Limite

S'applique uniquement aux groupes finis et à la condition d'ordre impair ; il ne décrit pas la nature des groupes résolubles d'ordre impair au-delà de la résolubilité elle‑même, et ne s'étend pas aux groupes infinis ni à des raffinements comme la supersolvabilité sans hypothèses supplémentaires.

Tension sémantique

Tension entre cette conclusion générale de résolubilité et d'autres résultats de finitude tels que le théorème de Burnside p^a q^b ; bien que les deux restreignent la simplicité et la résolubilité, ils reposent sur des hypothèses différentes (patron de facteurs premiers contre parité) et ont des portées et forces distinctes.

Synthèse

Le Théorème de Feit–Thompson affirme que tout groupe fini d'ordre impair est résoluble, excluant ainsi l'existence de groupes finis simples non abéliens d'ordre impair et établissant une dichotomie structurelle déterminée par la parité qui alimente des résultats de classification plus profonds.