first isomorphism theorem

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