Groups of Cosets

Our goal now is to place a group structure on the set of right cosets of a subgroup of a given group, just as we did for the cosets of an ideal in a given ring. Given a group G with a subgroup H, our experience with ring theory would suggest that the group operation on the set of cosets should be defined like this:

(Ha)(Hb) = Hab.