For a in and n in Z, map (a, n) to n. That's trivial.

For what do you mean by " " and " "? My first thought was that " " was the set of permutations on 3 objects and " " was the set of pairs of complex numbers but in that case, isfinite(containing 6 members) while is infinite so therecannotbe such an epimorphism.