Definition:G-module Homomorphism