Z("G") es un grupo: El elemento neutro "e" del grupo conmuta con todos los elementos de "G" y luego "e" ∈ Z{"G").