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}