up:: Coset Let be a Group and be a Subgroup of . By hypothesis, left cosets equal right cosets, which means that, for a given , . That is, given , . Thus, is a Normal Subgroup.