Esta construcción produce un nuevo grupo, con un subgrupo normal isomorfo a "G" (el conformado por los elementos de la forma ("g",1)), y otro isomorfo a "H" (formado por los elementos (1,"h")).