Quotient Group

The quotient group $G/N$ of a Group $G$ by a Normal Subgroup $N\subseteq G$ is the universal group $\iota:G\to G/H$ such that $N$ lies in the Kernel of $\iota$.