Factor Group

A factor group or quotient group $G/N$ is formed from the cosets of a normal subgroup $N$.

Its multiplication is defined by

$(gN)(hN) = ghN$.

This definition works precisely because $N$ is normal.

One-line intuition

A factor group treats all elements of the same coset as equivalent.