are all homomorphisms injective