3.

6 Homomorfisme
Kita melihat di bagian terakhir bahwa isomorfisme antara dua kelompok
memberikan hubungan yang menunjukkan bahwa kedua kelompok tersebut memiliki
struktur yang relatif sama terhadap operasi kelompok tersebut. Karena alasan inilah
konsep isomorfisme sangat penting dalam aljabar.
Nama homomorfisme diberikan kepada jenis pemetaan penting lainnya yang
terkait, tetapi berbeda dari isomorfisma. Perbedaan dasarnya adalah bahwa
homomorfisme tidak diperlukan untuk menjadi satu satunya.
Definisi formal adalah sebagai berikut :
 
Definisi 3.27 ■ Homomorphism, Endomorphism, Epimorphism, Monomorphism
Andaikan G menjadi sebuah kelompok yang berkaitan dengan , dan biarkan G
'menjadi sebuah kelompok yang berkaitan dengan .  
Homomorfosme dari G ke G 'adalah pemetaan sedemikian rupa  
 
Untuk semua dan di . Jika ,
homomorfisme adalah endomorfisme. Homomorfisme disebut
dan epimorfisme jika ada, dan monomorfisme jika satu banding satu.    
       
 
Seperti yang kita lakukan dengan isomorfisma, kita menjatuhkan simbol
khusus dan dan hanya menulis untuk kondisi yang diberikan.      
Seperti yang telah dicatat, homomorfisme dari ke tidak perlu satu ke satu atau
ke. Jika keduanya (yaitu, jika adalah suatu penambangan), maka adalah isomorfisme
sebagaimana didefinisikan dalam Definisi 3.25.          
 
Contoh pertama kita tentang homomorfisme memiliki hubungan alami dengan pekerjaan
kita di Bab 2.
 
Contoh 1 untuk bilangan bulat tetap pertimbangkan pemetaan dari grup aditif Z ke grup
aditif yang ditentukan oleh      
 
di mana kelas kongruensi dalam yang berisi . Dari sifat-sifat tambahan dalam (lihat Bagian
2.6), berikut ini      
 
 
 
Dengan demikian adalah homomorfisma. Ini mengikuti dari definisi yang ada di atas,
demikian juga, pada kenyataannya, dan epimorphin dari Z ke . Sejak itu bukan satu-ke-satu
dan karenanya bukan monomorfisme.            
 
Contoh 2  Untuk dua grup sembarang G ang G ', misalkan e' menunjukkan
elemen identitas dalam G 'dan tentukan oleh untuk semua Kemudian, untuk
semua dan dalam ,          
 
  
 
Dan merupakan homomorfisme dari G ke G '. I G 'memiliki urutan lebih besar
dari 1, maka tidak ke dan karenanya bukan epimorfisme. Juga bukan 1-1, karena
untuk apa pun yang kita miliki . Jadi bukan monomorfisme.        
 
 
 
 
Dua contoh sebelumnya menunjukkan bahwa, tidak seperti situasi dengan
isomorfisma, keberadaan homomorfisme dari G ke G ' tidak menyiratkan
bahwa G dan G ' memiliki struktur yang sama . Namun, kita akan melihat bahwa
keberadaan homomorfisme dapat mengungkapkan informasi penting dan menarik
terkait struktur mereka. Seperti halnya isomorfisma, kita mengatakan bahwa
homomorfisme "mempertahankan operasi kelompok." Dua konsekuensi
sederhana dari kondisi ini adalah bahwa identitas harus sesuai dan invers harus
dipetakan ke invers. Ini dinyatakan dalam teorema kami berikutnya, dan bukti
diminta dalam latihan.
 
Teorema 3.28 ■ Gambar identitas dan Inversi
Membiarkan menjadi homomorfisme dari grup G ke grup G
'. Jika menunjukkan identitas di , dan menunjukkan identitas di , maka    
 
Sebuah.      dan  
b.         untuk semua di    
 
 
Contoh-contoh berikut memberikan beberapa indikasi varietas yang ada di
homomorfisme. Contoh lain muncul dalam latihan untuk bagian ini.
 
Contoh 3  Pertimbangkan grup G dari bilangan real bukan nol di bawah perkalian
dan grup aditif . Tentukan oleh  

 
Karena setiap bilangan bulat adalah genap atau ganjil dan keduanya, didefinisikan
dengan baik. Tabel berikut secara sistematis memeriksa kesetaraan  

 
 Perbandingan dari dua kolom terakhir menunjukkan bahwa memang
homomorfisme dari ke . Namun karena tidak ke, itu bukan
epimorfisme. Sejak itu bukan satu-ke-satu dan karenanya bukan monomorfisme.
         
 
Ujian 4   Pertimbangkan kelompok aditif dan pemetaan yang ditetapkan
oleh untuk semua . Sejak    
 
 
 
 adalah endomorfisme. Jelas, bukan epimorfisme karena tidak ke. Namun
karena tersirat dan kemudian adalah monomorfisme        
   
Kita melihat di bagian terakhir bahwa hubungan menjadi isomorfis adalah
hubungan ekivalen pada kumpulan G kelompok tertentu. Konsep homomorfisme
mengarah pada hubungan yang sesuai, tetapi berbeda. Jika ada sebuah
epimorphism dari kelompok G untuk kelompok G 'maka G ' disebut citra
homomorphic dari G . Contoh 1 dalam bagian ini menunjukkan bahwa
kelompok aditif adalah gambar homomorphic dari kelompok aditif Z .  
Pada kumpulan kelompok tertentu, hubungan menjadi gambar homomorfik
bersifat refleksif dan transitif tetapi mungkin tidak simetris. Fakta-fakta ini
disampaikan dalam latihan untuk bagian ini.
Arti penting homomorfisme akan jauh lebih jelas di akhir Bagian 4.6 di bab
selanjutnya. Inti dari homomorfisme adalah salah satu konsep kunci dalam bagian
itu.
 
Definisi 3.29 ■ Kernel
Membiarkan menjadi homomorfisme dari grup G ke grup G '. Kernel adalah
set    
ker
di mana menunjukkan identitas dalam  
 
Contoh 5  Untuk mengilustrasikan Definisi 3.29, kami mendaftar kernel
homomorphisms dari contoh sebelumnya di bagian ini.
Kernel homomorfisme yang didefinisikan dalam Contoh 1 diberikan oleh
   
ker  
karena jika dan hanya jika kelipatan .    
Homomorfisme dalam Contoh 3 didefinisikan oleh  

memiliki himpunan semua genap genap sebagai kernelnya, karena 1 adalah

identitas pada .  
Untuk didefinisikan oleh dalam Contoh 4, kita memiliki ker karena jika
dan hanya jika kernel ini adalah kasus ekstrim karena bagian a jika Teorema
 3.28 meyakinkan kita bahwa identitas selalu merupakan elemen dari kernel.
         
Pada ekstrem yang lain, homomorfisme yang didefinisikan dalam
Contoh 2 oleh untuk semua memiliki ker