Abélianisé

Abélianisé

Groupe dérivé

Dans un groupe G, le groupe dérivé, noté D(G) ou [G,G], est le plus petit sous-groupe normal pour lequel le quotient G/[G,G] est abélien. Le groupe dérivé de G est trivial ssi le groupe G est abélien. Le quotient de G par son groupe dérivé est l'abélianisé de G.

Le procédé d'abélianisation permet en pratique de prouver que deux groupes ne sont pas isomorphes. Il intervient aussi en géométrie.

Sommaire

Commutateurs

Le commutateur de deux éléments g \in G et h \in G est par définition l'élément [g,h] défini par:

[g,h]= g h g^{-1} h^{-1}\, .

Certains ouvrages définissent le commutateur de g et de h comme g − 1h − 1gh ; ce n'est pas la convention ici adoptée.

Le commutateur mesure le défaut de commutation des éléments g et h :

gh = [g,h]hg et donc : [g,h]=e\Leftrightarrow gh=hg

En particulier, dans un groupe abélien G, tous les commutateurs valent l'élément neutre e.

  • L'inverse du commutateur de g et de h est le commutateur de h et de g :
[g,h] − 1 = [h,g]
  • Les commutateurs sont stables par les automorphismes de G. Pour tout automorphisme ψ et pour tous g et h dans G :
ψ([g,h]) = [ψ(g),ψ(h)]
  • Pour tous g, h, et k dans G, on a :
[g,hk] = [g,h].h[g,k]h − 1

Groupe dérivé

L'ensemble des commutateurs est stable par l'inverse mais pas nécessairement par composition. Il n'est pas, en général, un sous-groupe de G. Le sous-groupe engendré par les commutateurs est appelé le groupe dérivé de G, noté D(G) ou [G,G].

 D(G) = [G,G] = < \{ [g,h] \, | \, (g,h) \in G^2 \} >

En particulier tout élément de D(G) est un produit fini de commutateurs. Comme l'image d'un commutateur par un automorphisme de groupe est un commutateur, le groupe dérivé est stable par les automorphismes de G : c'est un sous-groupe caractéristique. Par suite, c'est un sous-groupe normal.

Exemples : Le groupe dérivé du groupe symétrique \mathcal{S}_n est le groupe alterné \mathcal{A}_n.

Abélianisé

Comme [G,G] est un sous-groupe normal de G, on peut définir le quotient de G par [G,G], par définition l'abélianisé de G :

Ab(G) = Gab = G / [G,G]
Pour tout groupe G, son abélianisé Ab(G) est un groupe abélien.

En effet, pour tout élément g et h de G, on a : gh = hg[g − 1,h − 1]. Donc, modulo le groupe dérivé, g et h commutent.

L'abélianisé est le plus grand quotient abélien de G au sens où tout sous-groupe normal dont le quotient correspondant est abélien contient le groupe dérivé de G.

Si H est un sous-groupe normal de G, et que G/H est abélien, alors, pour tous éléments g et h, il existe x dans H tel que : gh = hgx. De fait, x est le commutateur de g − 1 et h − 1.

La propriété précédente se reformule en termes de morphismes. Tout morphisme surjectif d'un groupe vers un groupe abélien se factorise à travers l'abélianisé.

Suite dérivée

La suite dérivée de G est la suite des sous-groupes de G définie par récurrence :

D^k(G)=D\left[D^{k-1}(G)\right]=[D^{k-1}(G),D^{k-1}(G)]

Si cette suite est stationnaire à {e}, c'est à dire il existe un naturel non nul n tel que Dn(G) = {e}, le groupe est dit résoluble.

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Groupe d%C3%A9riv%C3%A9 ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Groupe Dérivé — Dans un groupe G, le groupe dérivé, noté D(G) ou [G,G], est le plus petit sous groupe normal pour lequel le quotient G/[G,G] est abélien. Le groupe dérivé de G est trivial ssi le groupe G est abélien. Le quotient de G par son groupe dérivé est l… …   Wikipédia en Français

  • Groupe derive — Groupe dérivé Dans un groupe G, le groupe dérivé, noté D(G) ou [G,G], est le plus petit sous groupe normal pour lequel le quotient G/[G,G] est abélien. Le groupe dérivé de G est trivial ssi le groupe G est abélien. Le quotient de G par son groupe …   Wikipédia en Français

  • Theoreme d'Hurewicz — Théorème d Hurewicz En topologie algébrique, le théorème d Hurewicz est une description du premier groupe d homologie singulière d un espace topologique X à l aide du groupe fondamental de X. Il a été attribué au mathématicien Hurewicz. Sommaire… …   Wikipédia en Français

  • Théorème d'Hurewicz —  Ne doit pas être confondu avec Théorème de Hurwitz. En topologie algébrique, le théorème d Hurewicz est une description du premier groupe d homologie singulière d un espace topologique X à l aide du groupe fondamental de X. Il a été… …   Wikipédia en Français

  • Groupe dérivé — Dans un groupe G, le groupe dérivé, noté D(G) ou [G,G], est le plus petit sous groupe normal pour lequel le groupe quotient G/[G,G] est abélien. Le groupe dérivé de G est trivial si et seulement si le groupe G est abélien. Le groupe quotient de G …   Wikipédia en Français

  • Transfert (théorie des groupes) — Si G est un groupe (au sens mathématique) et Q un sous groupe d indice fini de G, on définit un certain homomorphisme, appelé transfert, allant de G dans l abélianisé de Q, c est à dire dans le groupe quotient Q/Q , où Q désigne le groupe dérivé… …   Wikipédia en Français

  • Algèbre universelle — Pour les articles homonymes, voir Algèbre (homonymie). L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces …   Wikipédia en Français

  • Caractère d'un groupe fini — En mathématiques, un caractère d un groupe fini est une notion associée à la théorie des groupes. Un caractère d un groupe fini G est un morphisme de groupes de G dans le groupe multiplicatif ℂ* des nombres complexes non nuls. Ce concept permet… …   Wikipédia en Français

  • Complexe simplicial — Pour les articles homonymes, voir Complexe. Représentation d un complexe simplicial. En mathématiques, un complexe simplicial est un objet géométri …   Wikipédia en Français

  • Déterminant (mathématiques) — Pour les articles homonymes, voir Déterminant. En mathématiques, le déterminant fut initialement introduit en algèbre, pour résoudre un système d équations linéaires comportant autant d équations que d inconnues. Il se révèle un outil très… …   Wikipédia en Français

Share the article and excerpts

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