Concept history

Concept created

Let $(G,*)$ and $(H,\cdot)$ be two [[Group|groups]]. A map $f:G \rightarrow H$ is a group homomorphism if for all $a,b\in G$ :
$$f(a*b)=f(a)\cdot f(b)$$