Tour:Understanding the definition of a homomorphism