suprayección canónica x ↦ xH es un homomorfismo.