Groupe résoluble

Groupe résoluble

En mathématiques, la théorie des groupes tire son origine de la recherche de solutions générales (ou de leur absence) pour les racines des polynômes de 5e degré ou plus. Le concept de groupe résoluble provient d'une propriété partagée par les groupes d'automorphismes des polynômes dont les racines peuvent être exprimées en utilisant seulement un nombre fini d'opérations (racine n-ièmes, addition, multiplication, etc.).

Sommaire

Définition

Un groupe G est résoluble lorsqu'il existe une suite finie G_0, G_1, \ldots, G_n de n + 1 sous-groupes de G telle que :

I= G_0\subset G_1\subset \ldots\subset G_{n-1}\subset G_n = G

\forall i\in[0,n-1], Gi est un sous-groupe distingué de Gi + 1 et le groupe quotient Gi + 1 / Gi est abélien (I est ici le sous-groupe trivial, i.e. constitué uniquement de l'élément neutre de G).

G_0, \ldots, G_n est donc une chaîne normale (en) dont tous les facteurs sont abéliens.

La suite G_0, \ldots, G_n est dite suite de résolubilité de G. Si \forall i<n, G_i\ne G_{i+1} (c’est-à-dire qu'il s'agit de sous-groupes propres), on l'appelle suite de résolubilité sans répétition.

Un groupe est résoluble si et seulement si sa suite dérivée est stationnaire à {e}.

Chaîne de composition

Il n'est pas nécessaire, dans la définition précédente, pour i < n qu'un groupe Gi soit un groupe distingué de G, ni que Gi soit un sous-groupe maximal de Gi + 1.

Si \forall i<n, Gi est un sous-groupe propre, maximal et distingué de Gi + 1, alors le groupe quotient Gi + 1 / Gi est simple à chaque fois. Dans ce cas, G_0, \ldots, G_n est une chaîne de composition.

Aucun sous-groupe additionnel ne peut être ajouté à une chaîne de composition, celle-ci cesse sinon d'être une chaîne normale. Si une chaîne de composition existe pour un groupe G, alors toute chaîne normale de G peut être transformée en chaîne de composition en insérant des sous-groupes adéquats.

Tout groupe fini possède une chaîne de composition. Ceci n'est pas forcément le cas pour un groupe infini (le groupe additif des entiers relatifs (\mathbb Z,+) n'en possède pas, par exemple).

Propriétés

  • Tout groupe abélien est résoluble.
  • Tout sous-groupe d'un groupe résoluble est résoluble.
  • Tout groupe quotient d'un groupe résoluble (par un sous-groupe normal) est résoluble (ce qu'on peut reformuler en : s'il existe un morphisme de groupes surjectif d'un groupe résoluble sur G, alors G est résoluble).
  • Si H et G/H sont résolubles, alors G est résoluble (en particulier : si H et K sont résolubles, alors H×K est résoluble).
  • Un groupe simple est résoluble si et seulement s'il est commutatif, ce qui a lieu si et seulement si c'est un groupe fini d'ordre premier.
  • Un groupe fini est résoluble si et seulement s'il admet une chaîne de composition dont les facteurs sont des groupes (cycliques) d'ordre premier (puisque tout groupe fini admet une chaîne de composition et que si le groupe en question est résoluble, les quotients d'une telle chaîne sont à la fois simples et résolubles).

Exemples

Théorème de Feit–Thompson

Tout groupe fini d’ordre impair est résoluble.

Il en résulte que tout groupe fini simple non abélien est d’ordre pair et contient donc au moins une involution (c'est-à-dire un élément d'ordre 2).

Article détaillé : Théorème de Feit et Thompson.

Bibliographie

  • K. Doerk et T. Hawkes, Finite Soluble Groups, Berlin, de Gruyter, 1992.
  • J. C. Lennox and D. J. S. Robinson, The theory of infinite soluble groups, Oxford University Press, 2004.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Groupe résoluble de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Groupe Résoluble — En mathématiques, la théorie des groupes tire son origine de la recherche de solutions générales (ou de leur absence) pour les racines des polynômes de 5e degré ou plus. Le concept de groupe résoluble provient d une propriété partagée par les… …   Wikipédia en Français

  • Groupe resoluble — Groupe résoluble En mathématiques, la théorie des groupes tire son origine de la recherche de solutions générales (ou de leur absence) pour les racines des polynômes de 5e degré ou plus. Le concept de groupe résoluble provient d une propriété… …   Wikipédia en Français

  • Theoreme de Burnside (groupe resoluble) — Théorème de Burnside (groupe résoluble) William Burnside En mathématiques, et plus précisément dans le contexte de la théorie des groupes finis, le théorème de Burnside traite des groupes résolubles. Ce théorème stipule que, si p et q sont deux… …   Wikipédia en Français

  • Théorème de burnside (groupe résoluble) — William Burnside En mathématiques, et plus précisément dans le contexte de la théorie des groupes finis, le théorème de Burnside traite des groupes résolubles. Ce théorème stipule que, si p et q sont deux nombres premiers et n et m deux …   Wikipédia en Français

  • Théorème de Burnside (groupe résoluble) — Pour les articles homonymes, voir Théorème de Burnside. William Burnside En mathématiques, le théorème de Burnside appartient à la théorie des groupes finis …   Wikipédia en Français

  • Groupe (mathématique) — Groupe (mathématiques) Pour les articles homonymes, voir Groupe.  Cet article concerne une introduction au concept de groupe. Pour un approfondissement, voir théorie des groupes …   Wikipédia en Français

  • Groupe caractéristiquement simple — En mathématiques, et plus précisément en théorie des groupes, un groupe est dit caractéristiquement simple s il n a pas d autre sous groupe caractéristique que lui même et son sous groupe réduit à l élément neutre. Certains auteurs[1] stipulent… …   Wikipédia en Français

  • Groupe parfait — En théorie des groupes (mathématiques), un groupe est dit parfait s il est égal à son dérivé. Sommaire 1 Exemples et contre exemples 2 Lemme de Grün 3 Notes et références …   Wikipédia en Français

  • Groupe (mathématiques) — Pour les articles homonymes, voir Groupe. Les manipulations possibles du cube de Rubik forment un groupe. En mathématiques, un groupe est un ensemble …   Wikipédia en Français

  • Groupe Alterné — En mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous groupe distingué du groupe symétrique des permutations d un ensemble fini de cardinal n. Ce sous groupe est composé des… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”