Set ini mewarisi sebuah operasi grup (kadang-kadang disebut perkalian koset, atau penambahan coset) dari grup asli G: (gN) • (hN) = (gh)N untuk semua g dan h dalam G. Definisi ini dimotivasi oleh ide (dirinya sendiri sebuah contoh pertimbangan struktur umum yang diuraikan di atas) bahwa peta G → G / N yang menghubungkan ke setiap elemen g nya coset gN menjadi sebuah grup homomorfisme, atau oleh pertimbangan umum disebut sifat universal. Coset EN = N berfungsi sebagai identitas dalam kelompok ini, dan gN yang terbalik dalam kelompok quotient adalah (gN)1 = (g®1) N.e[ï]
Inverse dari gN tidak termasuk kelompok apa?
kelompok quotient