group homomorphism is injective