es normal en G, se puede proveer a G/H de una estructura de grupo tal que la