Let G be a group and H a subgroup of G. Define, for a,b elements of G, a is an equivalence relation to b if a^-1b element of H. Prove that this defines an equivalence relation on G and show that [a] = aH = {ah,h is an element of H}. The sets aH are called left cosets of H in G