Acción de grupos. La acción de G en Y induce homomorfismo.