Quotient group (awaiting review)

If $G$ is a group and $N$ is a normal subgroup of $G$, then the operation \[ (aN)*(bN) = (ab)N\] is well-defined on the set of left cosets of $N$. The result is a group, called a quotient group of $G$ by $N$.