State/Kernel criterion for injectivity of group homomorphisms

 =Proof=