Groupe résoluble

Un groupe résoluble est un groupe qui peut être construit à partir de sous-groupes abéliens via une chaîne de sous-groupes normaux, une propriété structurelle qui régit la résolubilité des équations polynomiales par radicaux.

Definition

Un groupe est résoluble s'il possède une série sous-normale finie dont les groupes quotients successifs sont tous abéliens, ou, de manière équivalente, si sa série dérivée se termine par le sous-groupe trivial.

Scope

Ce sujet aborde la série dérivée et les sous-groupes des commutateurs, les séries sous-normales à facteurs abéliens, l'équivalence des diverses définitions de la résolubilité, les groupes nilpotents comme condition plus forte, et le rôle des groupes résolubles dans la théorie de Galois.

Core questions

• Que signifie construire un groupe à partir de couches abéliennes ?
• Comment la série dérivée et les séries sous-normales caractérisent-elles la résolubilité ?
• Quelles familles de groupes standard sont résolubles, et lesquelles ne le sont pas ?
• Pourquoi la résolubilité est-elle la condition décisive pour résoudre des équations par radicaux ?

Key theories

Caractérisation par la série dérivée

Un groupe est résoluble si et seulement si sa série dérivée, obtenue en itérant le sous-groupe des commutateurs, atteint le groupe trivial en un nombre fini d'étapes.

Propriétés de clôture des groupes résolubles

Les sous-groupes et les groupes quotients de groupes résolubles sont résolubles, et une extension d'un groupe résoluble par un groupe résoluble est résoluble ; ainsi, la résolubilité est préservée sous les opérations structurelles standard.

Résolubilité et radicaux

Un polynôme sur un corps de caractéristique zéro est résoluble par radicaux si et seulement si son groupe de Galois est un groupe résoluble, critère qui prouve que la quintique générale ne peut être résolue par radicaux.

Clinical relevance

Les groupes résolubles constituent l'obstruction précise dans la théorie des équations : le critère de Galois relie la résolubilité d'un groupe à la résolubilité des polynômes par radicaux. Ce concept organise également la théorie des groupes finis, où le théorème de Feit-Thompson démontre que tout groupe d'ordre impair est résoluble.

History

La notion est née de l'étude par Galois des équations résolubles par radicaux, où 'résoluble' faisait initialement référence à l'équation ; la propriété de théorie des groupes correspondante a conservé ce nom. Le théorème de Feit-Thompson de 1963, selon lequel tous les groupes d'ordre impair sont résolubles, a constitué un jalon dans la classification des groupes simples finis.

Key figures

• Évariste Galois
• Walter Feit
• John G. Thompson

Seminal works

• dummit2004
• rotman1995
• isaacs2008

Frequently asked questions

Quelle est la différence entre les groupes résolubles et nilpotents ?

Les groupes nilpotents possèdent une série centrale et forment une classe strictement plus petite ; tout groupe nilpotent est résoluble mais la réciproque est fausse. Les groupes nilpotents finis sont exactement les produits directs de leurs sous-groupes de Sylow.

Pourquoi le groupe symétrique à cinq lettres n'est-il pas résoluble ?

Sa série dérivée se stabilise au niveau du groupe alterné non trivial à cinq lettres, qui est simple et non abélien, de sorte que la série n'atteint jamais le sous-groupe trivial. Cette non-résolubilité est la raison pour laquelle la quintique générale n'a pas de formule par radicaux.