Dados dos grupos formula_1 y formula_2 la aplicación formula_3 es un homomorfismo de grupos si se verifica que para todos los pares de elementos formula_4