Definition:Trivial Homomorphism