Ahora volvemos a la noción de equipar G/H, cuando HG, con una estructura grupal. Ya vimos que la multiplicación del coset izquierdo en G/H está bien definida cuando HG (Teorema 8.1.1); resulta que ant...Ahora volvemos a la noción de equipar G/H, cuando HG, con una estructura grupal. Ya vimos que la multiplicación del coset izquierdo en G/H está bien definida cuando HG (Teorema 8.1.1); resulta que ante esto, es muy fácil probar que G/H bajo esta operación es un grupo.
