Let $(G,\cdot)$ and $(H,\times)$ be groups. We say that the function $f:G\to H$ is a group homomorphism if $f(a\cdot b)=f(a)\times f(b)$ for every $a,b\in G$.

• I would like to add something along the lines of “The map is compatible with the group structures of both $G$ and $H$” to the definition above. If someone has a good way of stating this, feel free to add it above.

%%%%%
% DEPENDENCIES 
% RequiredMacros: \DeclareMathOperator{\syl}{Syl} 
%%%%%
\begin{definition}
Type the definition using LaTeX syntax.
\end{definition}

• Group_homomorphism

definition ben needsreview