Homomorphism

$\pi :A\to B$ such that $\forall a\in A,b\in B$, we get that the group structure is preserved, i.e. $\pi (ab)=\pi (a)\pi (b)$.