que asigna a cada formula_7 en formula_8 la función formula_21 en formula_26 Las suposiciones sobre la acción implican que esa función es un homomorfismo de grupos.