Otra posible definición, que se deriva de esto, es que una acción es un homomorfismo de grupos.