Suppose that is a group and that is a subgroup of . Show that for that if and only if .
Is there a trick to this one? My scratch work is leading nowhere.
I feel like I've made the same argument twice in the reverse direction. What do you think? Here is my work (I typed it up in LaTeX): http://i.imgur.com/e3LaW.jpg
-- Marc