I want to know the answer to the following question:
What theory address the phenomenon of homomorphisms being neither injective nor surjective?
All the background I'm provided with is that "Kernel and image of group homomorphisms and the first isomorphism theorem address this phenomenon.". Is that enough to answer the question?