Définition On appelle centre du groupe (G,
) le sous ensemble de G
. On note Z(G)
ce sous ensemble. Z(G) est l'ensemble des éléments de G qui commutent avec tout les autres éléments de G.
Remarque Le centre d'un groupe contient toujours l'élément neutre de ce groupe et donc est toujours non vide.
Proposition Le centre d'un groupe est un sous groupe distingué
de ce groupe.
Démonstration C'est très facile.
Définition On dit que deux sous groupes H et K de G sont conjugués si il existe un élément g de G tel que g.H.g
=K.
Proposition Si deux sous groupes de G sont conjugués alors ils sont en bijection. Dans le cas où leur cardinal est fini, ils ont même cardinal.
Démonstration Soient H et G deux sous groupes conjugués de G. Soit donc g dans G tel que g.H.g=K. Définissons
. L'égalité g.H.g=K nous permet d'être convaincu de la surjectivité de 
. Pour l'injectivité: si g.h.g=g.h'.g alors en multipliant cette égalité à gauche par g et à droite par g, on obtient h=h', Cqfd.
Définition On dit qu'un groupe est simple si les seuls sous groupes distingués de G sont G et
.
Définition On appelle commutateur des éléments g et g' de G l'élément de G noté [g,g'] et donné par [g,g']=g.g'.g.g'.
Définition (Proposition) L'ensemble des commutateurs des éléments de G est un sous groupe distingué de G appelé sous groupe dérivé de G et est noté D(G).
Démonstration Facile, il suffit d'écrire.
L'intérêt du sous groupe dérivé d'un groupe réside dans le fait que G/D(G) est le plus grand quotient abélien de G. Ceci signifie que si H est un sous groupe normal de G tel que G/H est abélien, alors on a une injection de G/H dans G/D(G).
Proposition G/D(G) est le plus grand quotient abélien de G.
Démonstration Montrons tout d'abord que G/D(G) est abélien ( On ne rappellera pas que G/D(G) a, comme D(G) est normal dans G, une structure de groupe). Soient 
et 
des éléments de G/D(G). Alors comme [g,g'] est élément de D(G), on a
![$\overline{e}=\overline{[g,g']}=\overline{g.g'.g^{-1}.g'^{-1}}=\overline{g}.\overline{g'}.\overline{g^{-1}}.\overline{g'^{-1}}$](/b/g/q/img110.gif){kind=small}
. Donc
. Comme g et g' sont quelconques dans G, on a bien montré que G/D(G) est abélien. Remarquons maintenant que si H est un sous groupe normal de G tel que G/H est abélien, alors si g et g' sont éléments de H et si
désigne la classe d'équivalence de g dans G/H,
. Soit encore
. Cette dernière égalité prouve que [g,g'] est élément de H. Comme g et g' sont quelconques dans G, nous venons d'établir que D(G)
H. Montrons l'existence d'une injection de G/H dans G/D(G). Soit
telle que si g est élément de G,
. On vérifie que est bien définie et que c'est un homomorphisme de groupe. Si (
)=
alors cela signifie que g
D(G). Mais d'après l'inclusion précédente, cela signifie aussi que gH et donc que
, Cqfd.