Homomorphism

A homomorphism is a map $\phi :G\to H$ between groups such that

$\phi (ab)=\phi (a)\phi (b)$

for all $a,b\in G$.

It preserves the group structure: identity, inverses, and products.

One-line intuition

A homomorphism is a map that respects the multiplication law.