Let be a homomorphism of groups. If is also a bijection, then we say that is a (group) . If there exists an isomorphism between and , then we say that and are , denoted .
%%%%%
% DEPENDENCIES
% RequiredMacros: \DeclareMathOperator{\syl}{Syl}
%%%%%
\begin{definition}
Type the definition using LaTeX syntax.
\end{definition}