Indices and intersections

Suppose A and B are subgroups of a group G, and suppose B is of finite index in G.

  1. Show that the index of ABA is finite, and in fact |A:AB||G:B|. Hint: Find a set map A/ABG/B.
  2. Prove that equality holds in (a) if and only if G=AB.