De forma recíproca, cuando formula_27 sea un homomorfismo cualquiera de grupos, podemos definir una acción de formula_1 en formula_5 por: