Tal homomorfismo define una acción de formula_1 en formula_187 por