Kernel and image of group homomorphisms and the first isomorphism theorem address this phenomenon.
What theory address the phenomenon of homomorphisms being neither injective nor surjective?
the first isomorphism theorem