You won't find ahomomorphicmap like that, since by the first isomorphism theorem, the image of will be isomorphic to , which is not cyclic, but will on the other hand be a subgroup of , which must be cyclic (subgroups of cyclic groups are cyclic). So are you just looking for any old injection? If so, why not ?