Pada tulisan ini akan berfokus pada pemetaan antar grup. Pemetaan ini akan didefinisikan dengan mempertahankan (mengawetkan) struktur aljabar yaitu grup. Lebih jauh, misal diberikan fungsi dari grup ke grup dengan dan merupakan operasi pada dan .
Sebagai contoh, diberikan fungsi yang didefinisikan untuk setiap . Perhatikan, ambil sebarang
Jadi, .
Contoh tersebut merupakan motivasi dari definisi homomorfisma grup.
Definisi 1.
Diberikan grup dan serta fungsi dari ke . Maka disebut homomorfisma jika untuk setiap , berlaku
Identitas pada grup dan berturut-turut dinotasikan dengan dan .
Setiap pemetaan dari grup dan pasti dapat ditemukan homomorfisma. Karena setiap grup pasti memiliki elemen identitas maka identitasnya . Definisikan dengan untuk semua . Perhatikan,
Jadi, merupakan homomorfisma dari ke .
Contoh 2.
Didefinisikan fungsi dari ke oleh untuk setiap . Apakah homomorfisma ?
Ambil sebarang , berakibat
.
Jadi, homomorfisma.
Contoh 3.
Diberikan pemetaan dengan definisi . Apakah homomorfisma ?
Ambil sebarang . Perhatikan bahwa
Di lain pihak,
Diperoleh . Jadi, bukan homomorfisma grup.
Teorema 4.
Diberikan grup . Misal homomorfisma dari ke . Maka
1.
2. untuk setiap
3. Jika subgrup maka subgrup
4. Jika subgrup maka merupakan subgrup dan jika subgrup normal dari maka subgrup normal dari
5. Jika grup komutatif maka komutatif
Bukti.
1. Karena homomorfisma berakibat
Karena dan grup, maka terdapat . Selanjutnya dengan mengalikan kedua ruas, diperoleh
Jadi,
2. Diambil sebarang . Akan dibuktikan atau ekuivalen dengan membuktikan . Perhatikan
Dengan cara yang sama diperoleh . Karena invers setiap elemen pada grup adalah tunggal, berakibat .
3. Misal subgrup . Pilih dan berdasarkan 1 diperoleh . Oleh karena itu, . Jadi, . Ambil sebarang . Perhatikan
Karena dan subgrup, maka . Oleh karena itu, . Jadi, subgrup .
4. Perhatikan bahwa , dengan kata lain . Jadi, . Akan dibuktikan subrgup. Ambil sebarang , maka . Perhatikan bahwa
Sehingga diperoleh . Jadi, subgrup.
Selanjutnya akan dibuktikan subgrup normal. Diketahui subgrup normal . Ambil sebarang . Akan dibuktikan . Ambil sebarang , artinya untuk suatu . Perhatikan bahwa
Karena subgrup normal dan , berakibat atau . Oleh karena itu . Jadi, . Dengan kata lain, subgrup normal .
5. Diketahui komutatif. Akan dibuktikan komutatif. Ambil sebarang . Diperoleh
Ping-balik: Homomorfisma Natural | Math IS Beautiful
Ping-balik: Kernel dan Image Homomorfisma Grup | Math IS Beautiful
Ping-balik: Isomorfisma Grup | Math IS Beautiful