Jika \(N\) merupakan subgrup normal dari suatu grup \(G\text{,}\) koset-koset \(N\) dalam \(G\) membentuk grup \(G/N\) di bawah operasi \((aN) (bN) = abN\text{.}\) Grup ini disebut grup hasil bagi atau grup kuosien dari \(G\) oleh \(N\text{.}\) Tugas pertama kita adalah membuktikan bahwa \(G/N\) benar-benar merupakan sebuah grup.