injective group homomorphism