Álgebra abstracta... Problema sobre homomorfismo en acciones de grupos!

Gracias de antemano por su apoyo en este ejercicio!

El planteamiento nos dice que: si ψ∶G→S_Y es un homomorfismo, demuestre que ψ induce una acción de G sobre Y mediante G×Y→Y dada por σ*y∶=ϕ(σ)(x