Show that

I'm using to represent the elements in and for those elements in . My first idea was to do this:

Map to since that forms a cyclic subgroup of the correct order.

Now I can't figure out where to go from here, or if my initial idea is even remotely in the ballpark.