Проверяем вот это равенство:

$(G, ) \text{ и } (H, ∘) \text{ -- группы. Тогда } f \text{ является гомоморфизмом, если оно сохраняет операцию, то есть: } \newline f(ab)=f(a)∘f(b) \space \forall a, b \in G$