A Group homomorphism is a function
between groups and
preserving the structure i.e.