Let be a group homomorphism. The of is the set of elements of that are mapped to by , namely
Remarks
I would like to use Cryptography to help the students see that the image of a group homomorphism must always be a subgroup of .
$\LaTeX$ version
%%%%%
% DEPENDENCIES
% RequiredMacros: \DeclareMathOperator{\syl}{Syl}
%%%%%
\begin{definition}
Type the definition using LaTeX syntax.
\end{definition}