A subgroup if normal iff its left cosets equal its right cosets

up:: Coset

Normal subgroups imply left cosets equal to right cosets follows trivially from definition of Normal Subgroup.

Left cosets equal right cosets implies normal subgroup.

---

References