Introduction to homomorphism