If $f : G\to H$ is a homomorphism of groups (or rings, or modules), then it induces an isomorphism $G/\ker f \cong {\rm im} f$ .