STRUKTUR ALJABAR I

      Pada pertemuan kali ini  mahasiswa akan berkenalan dengan konsep subgrup normal, yaitu suatu subgrup dengan sifat tambahan. Sebagai perkenalan pertama mengenai subgrup normal, yaitu subgrup yang memiliki sifat berikut: Misalkan G suatu grup dan N suatu subgrup dari G. N dinamakan suatu subgrup normal jika untuk setiap a anggota G berlaku aN = Na. Tampak bahwa setiap koset kiri dari suatu subgrup normal merupakan koset kanan. Koleksi koset-koset dari suatu subgrup normal dapat dibangun menjadi suatu struktur aljabar, dalam hal ini grup, dengan operasi biner yang didefinisikan sebagai perkalian kompleks. Grup yang anggotanya koset-koset dari suatu subgrup normal dinamakan grup faktor.

       Pertemuan ini memuat definisi tentang subgrup normal, teorema-teorema yang dapat menjadi alternatif dalam membuktikan subgrup normal dan contoh-contoh yang akan membantu mahasiswa memahami konsep subgrup normal. Selanjutnya Mahasiswa akan mempelajari definisi grup faktor, teorema-teorema terkait grup faktor beserta buktinya dan cara menentukan orde elemen suatu grup faktor. Seperti halnya dengan paket yang lalu, tingkat kesukaran paket ini makin lama makin meningkat. Dalam mempelajari bukti-bukti teorema, mahasiswa diminta untuk mentelaah sampai tuntas terutama alasan-alasan yang mendasari setiap langkah pembuktian.