1. The problem statement, all variables and given/known data Let H be a subgroup of G and let X be the set of left cosets of H in G. Show that the formula g(xH) = gxH is an action of G on X. Prove that H is a normal subgroup of G if and only if every orbit of the induced action of H on X contains just one point. 2. Relevant equations 3. The attempt at a solution I've shown that the formula defines an action. For the second part, since H is normal its left and right cosets are equivalent. Thus we consider h(xH) for h in H. So h(xH) = hxH = Hhx. But since h is in H this is the same as Hx. So for all h, the orbit contains only the point Hx. However, the converse of the second part is what is giving me trouble. We know that each orbit contains only one element, but I'm not sure what else we can can from that.