Normal subgroups imply left cosets equal to right cosets

up:: Normal Subgroup

Let be a Group and a Normal Subgroup.

Let . We seek to prove that . It follows trivially from “summing zeros”.

1)

Let . Then

by the definition of normal subgroup.

2)

Let . Then, similarly,

by the definition of normal subgroup.

Thus, for normal subgroups.