Coba jelasin Sejarah dari Kohimpunan dong

Konsep koset berasal dari karya Galois tahun 1830-31. Dia memperkenalkan notasi tetapi tidak memberikan nama untuk konsep tersebut. Istilah "co-set" muncul untuk pertama kalinya pada tahun 1910 dalam makalah oleh G. A. Miller di Quarterly Journal of Mathmatics (vol. 41, p. 382). Berbagai istilah lain telah digunakan termasuk jerman Nebengruppen (Weber) dan grup konjugasi'' (Burnside).

Galois prihatin dengan menentukan kapan persamaan polinomial tertentu dapat diselesaikan dari radikal. Sebuah alat yang dia kembangkan adalah dengan mencatat bahwa subkelompok  dari sekelompok permutasi  menginduksi dua dekomposisi  (apa yang kita sekarang kohimpunan kiri dan kanan). Jika dekomposisi ini bertepatan, yaitu jika koset kiri sama dengan kohimpunan kanan, lalu ada cara untuk mengurangi masalah menjadi salah satu dengan mengerjakan , bukan . Camille Jordan dalam komentarnya tentang karya Galois pada tahun 1865 dan 1869 menguraikan ide-ide ini dan mendefinisikan subkelompok normal seperti yang telah kita bahas di atas, meskipun dia tidak menggunakan istilah ini.