Homomorfisma Grup merupakan suatu suatu fungsi dari grup ke grup. Simak video berikut untuk memahami definisi dari homomorfisma grup. ... 

Misal diberikan himpunan tak kosong . Diperhatikan fungsi-fungsi bijektif dari ke . Suatu fungsi bijektif dari ke disebut permutasi dari .
Kita kumpulkan semua fungsi bijektif dari ke , sehingga kita peroleh himpunan ... 

Misalkan diberikan grup dan subgrup di . Untuk setiap , dapat dibentuk himpunan dan dengan ... 

Pendefinisian “koset” sangat berkaitan dengan materi “Subgrup Normal dan Grup Faktor” (lihat di sini). Definisi koset muncul dalam proses pembentukan Grup Faktor dengan bermodalkan suatu grup dan suatu subgrupnya. ... 

Dingat kembali definisi subgrup yang dibangun oleh suatu himpunan, yakni jika grup dan himpunan bagian dari maka subgrup di yang dibangun oleh adalah . ... 

Jika adalah grup, dan masing-masing adalah subgrup di , maka dapat didefinisikan

     ... 

Misal diberikan grup dan himpunan bagian tak kosong . Ada dua kemungkinan yang terjadi pada , yaitu merupakan subgrup atau bukan subgrup.
Pertanyaan: Apakah selalu bisa ditemukan subgrup yang memuat ?
Jawaban dari pertanyaan tersebut adalah “Ya, selalu bisa. Subgrup yang memuat adalah .” ... 

Diperhatikan himpunan bilangan bulat modulo :

Diingat kembali bahwa untuk setiap , jika dan hanya jika untuk suatu bilangan bulat . Selanjutnya didefinisikan operasi penjumlahan dengan definisi: ... 

Dalam teori grup, salah satu contoh grup yang sudah umum diketahui adalah himpunan semua bilangan bulat terhadap operasi penjumlahahan. Beberapa himpunan bagian tak kosong yang dimiliki himpunan diantaranya adalah himpunan (himpunan semua bilangan genap) dan himpunan (himpunan semua bilangan ganjil). ...