Image of a group homomorphism (source code)

= Image of a group homomorphism

The image of a group homomorphism $\phi:G\to H$ is the subgroup $\{\phi(g):g\in G\}$ of $H$.