Groupe dérivé

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant l’algèbre
Cet article est une ébauche concernant l’algèbre.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, en algèbre 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 par son groupe dérivé est l'abélianisé de G.

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

Commutateurs[modifier | modifier le code]

Article détaillé : Commutateur (théorie des groupes).

Le commutateur de deux éléments et est par définition l'élément défini par[1] :

.

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

et donc :

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

  • L'inverse du commutateur de g et de h est le commutateur de h et de g :
  • L'ensemble des commutateurs est stable par les automorphismes de G. Pour tout automorphisme et pour tous g et h dans G :
  • Pour tous g, h, et k dans G, on a :

Groupe dérivé[modifier | modifier le code]

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].

En particulier, tout élément de D(G) est un produit fini de commutateurs. Comme l'image d'un commutateur par un endomorphisme de groupe est un commutateur, le groupe dérivé est stable par tout endomorphisme de G : c'est un sous-groupe pleinement caractéristique de G. En particulier, c'est un sous-groupe caractéristique, et donc normal, de G.

Exemples :

Propriétés

  • Le groupe dérivé d'une somme directe de groupes Gi est la somme directe des groupes dérivés D(Gi)[2].
  • Le groupe dérivé d'un produit direct de groupes Gi est, dans le produit direct des groupes dérivés D(Gi), le sous-groupe constitué des éléments g pour lesquels il existe un entier ng tel que, pour tout i, la composante gi de g soit un produit de ng commutateurs.

Abélianisé[modifier | modifier le code]

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 :

Pour tout groupe G, son abélianisé Ab(G) est un groupe abélien.

C'est même le plus grand quotient abélien de G au sens suivant :

Si H est un sous-groupe normal de G, le quotient G/H est abélien si et seulement si H contient le groupe dérivé de G.

En effet, G/H est abélien si et seulement si, pour tous éléments g et h de G, il existe x dans H tel que : gh = xhg, c'est-à-dire si et seulement si (pour tous g et h) le commutateur [g, h] appartient à H.

La propriété précédente se reformule en termes de morphismes :

Tout morphisme de G vers un groupe abélien se factorise à travers Ab(G).

L'abélianisé d'un groupe est son premier groupe d'homologie à coefficients entiers : Gab = H1(G, ℤ).

Suite dérivée[modifier | modifier le code]

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

et

Les sous-groupes de G apparaissant dans sa suite dérivée sont[3] des sous-groupes pleinement caractéristiques de G.
Si cette suite est stationnaire à , c'est-à-dire s'il existe un naturel n tel que , le groupe est dit résoluble.

Notes et références[modifier | modifier le code]

  1. Certains ouvrages définissent le commutateur de g et de h comme  ; ce n'est pas la convention ici adoptée.
  2. (en) W. R. Scott, Group Theory, Dover, (1re éd. 1964) (lire en ligne), p. 60, exerc. 3.4.13.
  3. (en) D. J. S. Robinson (de), A Course in the Theory of Groups, Springer, coll. « GTM » (no 80), , 2e éd. (DOI 10.1007/978-1-4419-8594-1, lire en ligne), p. 124.

Voir aussi[modifier | modifier le code]

Sur les autres projets Wikimedia :