Recíprocamente, si tenemos un homomorfismo formula_44, el lector puede verificar que las aplicaciones formula_32 por formula_46 determinan una acción de grupo.