a group homomorphism is injective