The first isomorphism theorem for groups describes all the possible homomorphisms of a group G. It shows that every homomorphic image of G is actually a quotient group G/H for some choice of a normal subgroup H of G.