is homomorphism injective