Escogiendo un generadoraZ(G) paraG/Z(G), podemos escribir cualquier elementogZ(G) en el grupo cociente comoamZ(G) para algún entero dem; ahí,g=amx para al...Escogiendo un generadoraZ(G) paraG/Z(G), podemos escribir cualquier elementogZ(G) en el grupo cociente comoamZ(G) para algún entero dem; ahí,g=amx para algunosx en el centro deG. Similarmente, sihZ(G)∈G/Z(G), existe uny enZ(G) tal que h=anypara algunos enterosn. Ya quex yy están en el centro deG, ellos conmutan con todos los demás elementos deG; por lo tanto,