HOMOMORFISMA GRUP

Oleh:
Alfadeo Adi Putratama (NIM. 0401520026)
Hadijah (NIM. 0401520028)
Rombel A2 Reguler

PROGRAM STUDI PENDIDIKAN MATEMATIKA

FAKULTAS PASCASARJANA
UNIVERSITAS NEGERI SEMARANG
2021
 Pengantar
 
Fungsi Injektif / Fungsi Into / Fungsi Satu-Satu
1 Artinya untuk maka
(Pasangan anggota himpunan daerah asal dengan
daerah kawan tidak boleh semua).
Jumlah anggota daerah asal ≤ jumlah anggota
daerah kawan
A B

a 1
b 2
3
c
4
 Pengantar
2 Fungsi Surjektif / Fungsi Onto / Fungsi Kepada
Suatu fungsi yang himpunan daerah hasilnya
merupakan himpunan daerah kawan, artinya
setiap anggota di daerah kawan, memiliki
pasangan dengan anggota himpunan daerah asal
(pasangan anggota himpunan daerah asal
dengan daerah kawan boleh sama).
Jumlah anggota daerah asal ≥ jumlah anggota
daerah kawan A B

a 1
b 2
c
3
d
 Pengantar
Fungsi Bijektif / Korespondensi Satu-Satu
3 Adalah suatu fungsi yang setiap anggota di daerah
asal hanya memiliki tepat 1 pasangan dengan
A B
daerah kawan, begitupun sebaliknya setiap
a 1 anggota himpunan daerah kawan, hanya memiliki
b
2 satu pasangan saja dengan daerah asal. Fungsi
c
3 bijektif merupakan gabungan dari fungsi surjektif
 
dan fungsi injektif dan sering disebut korespondensi
satu-satu.
Jumlah anggota daerah asal = jumlah anggota
daerah kawan
 5.1. Homomorfisma Grup
 
Definisi 5.1.1
Misalkan dan grup. Pemetaan
dinamakan homomorfisma grup apabila
untuk setiap .
 
Perhatikan bahwa pada ruas kiri merupakan
operasi biner pada grup sedangkan
merupakan operasi biner pada grup .
   
Contoh 5.1.1 Pembuktian:
dan keduanya merupakan Ambil sembarang , maka
grup. Didefinisikan dengan
untuk setiap . Jelas
merupakan fungsi dan . Jadi merupakan
homomorfisma grup. Dengan,

Karena , maka terbukti merupakan

homomorfisma grup.
Contoh
  5.1.2  
dan merupakan grup. Didefinisikan dengan untuk
setiap . merupakan homomorfisma grup.

Pembuktian
Ingat:
adalah grup dari himpunan semua matriks atas
bilangan real berukuran dengan determinan tidak
nol dengan operasi dot product.
adalah grup dari himpunan semua bilangan
real positif dengan operasi dot product.

Bukti

Terbukti bahwa merupakan homomorfisma grup.

Diambil sembarang , misalkan dan , maka diperoleh
bahwa:
 
Untuk sebarang dua grup dan dengan elemen netral di selalu terdapat homomorfisma grup
dengan mendefinisikan untuk setiap . Homomorfisma tersebut
dinamakan homomorfisma trivial.
Bukti:
oleh untuk .
Diperoleh untuk .

 
Demikian pula untuk setiap grup , pemetaan dengan untuk
setiap merupakan homomorfisma grup.
  
Diketahui fungsi : Fungsi dikatakan injektif jika dan hanya jika
 
Definisi 5.1.2
dengan berlaku .
Misalkan
Contoh:
homomorfisma grup.
Diketahui fungsi dengan . Tunjukkan
(i) dinamakan
bahwa fungsi merupakan monomorfisma.
Monomorfisma apabila
Jawab
injektif
Ambil sebarang dengan akan ditunjukkan
(definisi)

Terbukti bahwa injektif

Dengan demikian terbukti bahwa merupakan monomorfisma.
 
   
Diketahui fungsi , fungsi dikatakan surjektif jika dan hanya
Definisi 5.1.2
jika terdapat sehingga .
Misalkan Contoh:
adalah grup dari semua bilangan real positif dengan operasi
homomorfisma grup.
perkalian, adalah grup dari semua bilangan real dengan
ii) dinamakan
operasi penjumlahan. Didefinisikan pemetaan
epimorfisma apabila
dengan . Buktikan bahwa fungsi surjektif.
surjektif
Jawab:
Akan ditunjukkan surjektif, artinya
Ambil sebarang , perhatikan maka
berarti .
Terbukti bahwa surjektif.
Dengan demikian terbukti bahwa merupakan epimorfisma.
   
Suatu homomorfisma yang bijektif dinamakan isomorfisma. dan
Definisi 5.1.2 merupakan grup, pemetaan dikatakan isomorfisma jika dan hanya jika
Misalkan memenuhi syarat:
homomorfisma grup.   1. merupakan pemetaan homomorfisma, dan
iii) dinamakan 2. merupakan bijektif.
isomorfisma apabila Contoh
bijektif Misalkan dan merupakan dua buah grup dengan
pemetaan didefinisikan . Tunjukkan
bahwa merupakan pemetaan isomorfisma.
Jawab
1. Akan ditunjukkan bahwa merupakan pemetaan homomorf
Ambil sembarang , sehingga dan
Perhatikan bahwa berlaku sifat

Sehingga, .
Terbukti bahwa merupakan pemetaan homomorf.
   2. Akan ditunjukkan bahwa merupakan fungsi injektif
Definisi 5.1.2
Ambil sembarang dengan , atau dari maka atau
Misalkan
Terbukti bahwa merupakan fungsi injektif.
homomorfisma grup.  
iii) dinamakan
isomorfisma apabila
bijektif  Akan ditunjukkan bahwa merupakan fungsi surjektif
Ambil sembarang , pilih
atau
Jadi
Terbukti bahwa merupakan fungsi surjektif.
Dengan dipenuhi syarat-syarat diatas maka terbukti bahwa
merupakan pemetaan isomorfisma.
   
Suatu homomorfisma dari suatu grup ke dalam dirinya sendiri
Definisi 5.1.2
dinamakan endomorfisma.
Misalkan
Contoh:
homomorfisma grup.  
Diberikan dan grup. Jika didefinisikan oleh . Buktikan bahwa
iv) dinamakan
endomorfisma.
endomorfisma apabila
Jawab:
Ambil sembarang , sehingga

Jadi,
Ini berarti homomorfisma. Karena pemetaannya ke dalam diri
sendiri, maka endomorfisma.
   
Contoh:
Definisi 5.1.2
Diberikan dan grup. Jika didefinisikan oleh . Buktikan bahwa
Misalkan
endomorfisma.
homomorfisma grup.  
Jawab:
v) dinamakan
Ambil sembarang , sehingga
automorfisma apabila
dan bijektif

Jadi,
Ini berarti homomorfisma. Karena pemetaannya ke dalam diri
sendiri, maka endomorfisma.
  Selanjutnya, akan ditunjukkan bahwa injektif (monomorfisma)
Ambil sembarang
Jika , maka diperoleh , yang ekuivalen dengan
Jadi,
Ini berarti, injektif.
 
Kemudian akan ditunjukkan bahwa surjektif (epimorfisma)
Ambil sembarang
Pilih sehingga
Ambil , maka
Jadi,
Ini berarti surjektif.
Dengan demikian, dapat dsimpulkan bahwa merupakan endomorfisma dan automorfisma.
 
Contoh 5.1.3
pada contoh 5.1.1 merupakan monomorfisma, pada contoh
5.1.2 merupakan epimorfisma, dengan
untuk setiap merupakan isomorfisma, dengan untuk setiap di
grup merupakan endomorfisma
dan dengan untuk setiap di grup
merupakan automorfisma.
 
Teorema 5.1.1
Jika epimorfisma dan grup abelian maka juga merupakan grup
abelian.
 
Bukti:
Ambil sebarang .
Karena surjektif maka terdapat sehingga dan
.
Diperoleh .
Jadi grup abelian.
 
  
  Bukti:
Teorema 5.1.2
Ambil sebarang .
Jika
Karena surjektif maka terdapat sehingga dan .
epimorfisma (surjektif)
Jika siklik, andaikan , maka .
dan grup siklik maka
Dengan menuliskan , dan memperhatikan bahwa mengartikan
juga merupakan grup
adalah subgroup dari . Jadi hal ini sudah cukup untuk
siklik.
membuktikan bahwa setiap elemen milik .
Buktikan.
Setiap elemen dari adalah bentuk dari , dengan .
Gunakan fakta bahwa adalah siklik dengan menuliskan sebagai
integral power dari .
 THANK YOU
D
D