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 .

• Sometimes we may say that two groups are the same (or equal) when we mean that they are isomorphic.

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

• Group isomorphism