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.