Определение

Гомоморфизм групп - отношение $f: G \to G'$ группы $(G,*)$ в $(G',\circ)$, при котором выполняется:
$\forall a,b \in G \text{ } f(a*b)=f(a)\circ f(b)$