Kernel and image of group homomorphisms and the first isomorphism theorem address this phenomenon.