Commutateur

[ Definition ]
On appelle commutateur de \(x\) et \(y\) l’élément \(x.y.x^{-1}.y^{-1}\). On appelle groupe dérivé d’un groupe le sous-groupe engendré (Voir paragraphe [engend] pour la définition de sous-groupe engendré par une partie) par les commutateurs. On note \(D(G)\) le groupe dérivé de \(G\).
En savoir plus