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.
up:: Coset
Let G be a Group and N≤G be a Subgroup of G.
By hypothesis, left cosets equal right cosets, which means that, for a given g∈G, gN=Ng.
That is, given n∈N, gn=ng⟹gng−1∈N.
Thus, N is a Normal Subgroup.