STRUKTUR DAN SIFAT-SIFAT K-ALJABAR - lib.unnes.ac.idlib.unnes.ac.id/32181/1/4111412056.pdfdalam...
Transcript of STRUKTUR DAN SIFAT-SIFAT K-ALJABAR - lib.unnes.ac.idlib.unnes.ac.id/32181/1/4111412056.pdfdalam...
STRUKTUR DAN SIFAT-SIFAT K-ALJABAR
Skripsi
disajikan sebagai salah satu syarat
untuk memperoleh gelar Sarjana Sains
Program Studi Matematika
oleh
Deni Nugroho
4111412056
JURUSAN MATEMATIKA
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
UNIVERSITAS NEGERI SEMARANG
2017
ii
PERNYATAAN
Saya menyatakan bahwa skripsi ini bebas plagiat, kecuali yang secara tertulis
dirujuk dalam skripsi ini dan disebutkan dalam daftar pustaka. Apabila di kemudian
hari terbukti terdapat plagiat dalam skripsi ini, maka saya bersedia menerima sanksi
sesuai ketentuan perundang-undangan.
Semarang, Maret 2017
Deni Nugroho
NIM 4111412056
iii
PENGESAHAN
Skripsi yang berjudul
Struktur dan Sifat-Sifat K-aljabar
Disusun oleh
Deni Nugroho
NIM 4111412056
Telah dipertahankan di hadapan sidang Panitia Ujian Skripsi FMIPA UNNES pada
tanggal 9 Maret 2017.
Panitia :
Ketua Sekretaris
Prof. Dr. Zaenuri, S. E., M. Si., Akt. Drs. Arief Agoestanto, M. Si.
NIP 196412231988031001 NIP 196807221993031005
Ketua Penguji
Dra. Kristina Wijayanti, MS
NIP 196012171986012001
Anggota Penguji/Pembimbing I Anggota Penguji/Pembimbing II
Dra. Rahayu Budhiati V, M. Si. Drs. Mashuri, M.Si.
NIP 196406131988032002 NIP 19670810199203003
iv
MOTTO
β Tiap-tiap diri bertanggung jawab atas apa yang telah diperbuatnya
(Al Mudattsir: 38).
β Satu-satunya kepastian yang ada hanyalah ketidakpastian.
β Tak apa jika kau meniru orang yang kau hormati, tetapi jangan bertindak
layaknya kau adalah dia.
β Jika kebersamaan adalah suatu keinginan, maka sendirian adalah suatu
keharusan. Antara kebersamaan dan sendirian juga merupakan suatu
kebutuhan.
PERSEMBAHAN
β’ Untuk kedua orang tua tercinta Ibu Darmiasih dan
Bapak Ali Ahmadi.
β’ Untuk kakakku Didi Kurniawan dan adik-adikku Alfin
Hidayat dan Rizqi Amalia.
β’ Teman-teman Kontrakan, Dhani, Tiko, Azam,
Hengky, Irfan, Syahrudin, Zaidin, Taufik, Umar, Isroβ.
β’ Teman-teman Matholiβul Huda, Karyanto, Fathillah,
Uswah.
β’ Untuk teman-teman Matematika Angkatan 2012.
β’ Untuk Universitas Negeri Semarang (Unnes).
v
KATA PENGANTAR
Puji Syukur kehadirat Allah SWT atas segala rahmat dan hidayah-Nya
sehingga skripsi yang berjudul βStruktur dan Sifat-Sifat K-Aljabarβ dapat
terselesaikan dengan baik. Penyelesaian skripsi ini dimaksudkan untuk melengkapi
persyaratan agar memperoleh gelar Sarjana Sains Fakultas Matematika dan Ilmu
Pengetahuan Alam Universitas Negeri Semarang.
Sehubungan dengan pelaksanaan penelitian sampai tersusunnya skripsi ini,
dengan rasa rendah hati disampaikan rasa terima kasih yang sebesar-besarnya
kepada yang terhormat:
1. Prof. Dr. Fathur Rokhman, M.Hum., Rektor Universitas Negeri Semarang.
2. Prof. Dr. Zaenuri, S.E., M.Si., Akt., Dekan FMIPA Universitas Negeri
Semarang.
3. Drs. Arief Agoestanto, M.Si., Ketua Jurusan Matematika FMIPA Universitas
Negeri Semarang.
4. Drs. Mashuri, M.Si., selaku Ketua Prodi Matematika, Dosen Wali dan Dosen
Pembimbing II yang telah memberikan bimbingan, pengarahan, nasehat, saran,
dan dorongan selama penyusunan skripsi ini.
5. Dra. Rahayu Budhiati Veronica selaku Dosen Pembimbing I yang telah
memberikan bimbingan, pengarahan, nasehat, saran, dan dorongan selama
penyusunan skripsi ini.
6. Dra. Kristina Wijayanti, M.S selaku Dosen Penguji yang telah memberikan
penilaian dan saran dalam perbaikan skripsi ini.
vi
7. Staf Dosen Matematika dan Staf Tata Usaha Universitas Negeri Semarang
yang telah membekali dengan berbagai ilmu selama mengikuti perkuliahan
sampai akhir penulisan skripsi ini.
8. Ibu dan Bapak tercinta, Ibu Darmiasih dan Bapak Ali Ahmadi yang senantiasa
memberikan dukungan dan doa yang tiada putusnya.
9. Teman-teman Matematika angkatan 2012 yang berjuang bersama untuk
mewujudkan cita-cita.
10. Semua pihak yang tidak dapat disebutkan satu per satu yang telah memberikan
bantuan.
Penulis menyadari bahwa dalam penyusunan skripsi ini masih terdapat
banyak kekurangan. Oleh karena itu, penulis mengharapkan saran dan kritik yang
membangun dari pembaca. Semoga amal baik dari semua pihak yang terlibat
mendapat pahala yang berlipat dari Allah SWT. Amin.
Semarang, Maret 2017
Penulis
vii
ABSTRAK
Nugroho, Deni. 2017. Struktur dan Sifat-Sifat K-Aljabar. Skripsi, Matematika,
Jurusan Matematika Fakultas Matematika dan Ilmu Pengetahuan Alam, Universitas
Negeri Semarang. Pembimbing I: Dra. Rahayu Budhiati Veronica, M.Si,
Pembimbing II: Drs. Mashuri, M.Si.
Kata Kunci: Operasi biner, grup, K-aljabar, K-subaljabar, dan K-homomorfisma.
K-aljabar merupakan struktur aljabar < πΊ,β,β, π >, di mana πΊ merupakan
grup terhadap operasi biner β dengan elemen identitas π, operasi β didefinisikan
oleh βπ₯, π¦ β πΊ, π₯ β π¦ = π₯ β π¦β1, dan memenuhi kelima aksioma dari K-aljabar.
Konsep yang terdapat dalam K-aljabar hampir sama dengan konsep yang terdapat
dalam grup. Jika dalam grup terdapat konsep subgrup dan homomorfisma grup,
maka dalam K-aljabar terdapat konsep K-subaljabar dan K-homomorfisma.
Penelitian ini membahas mengenai struktur dan sifat-sifat yang terkait
dengan K-aljabar, K-subaljabar, dan K-homomorfisma. Tujuan penelitian ini
adalah menjelaskan struktur dan sifat-sifat dari kajian K-aljabar, K-subaljabar, dan
K-homomorfisma.
Penelitian ini menggunakan metode kajian pustaka. Dengan cara
mengumpulkan berbagai sumber dan teorema-teorema yang mendukung pada
kajian K-aljabar.
Pada penelitian ini dapat disimpulkan:1) Dalam K-aljabar berlaku sifat-sifat
berikut: hukum kanselasi; K-aljabar dapat dibangun oleh grup komutatif atau grup
tak komutatif. 2) K-subaljabar memiliki sifat sebagai berikut: misalkan
< πΊ,β,β, π > K-aljabar dan π β πΊ; Jika π» suatu subgrup dari πΊ, maka
π»π2 = {π β (π β π₯)|π₯ β π»} adalah suatu K-subaljabar dari < πΊ,β,β, π >. 3)
Homomofisma K-aljabar π:π΄1 β π΄2 memiliki sifat-sifat sebagai berikut: βπ₯1 βπ΄1, π₯2 β π΄2 berlaku π(π1) = π2; π(π1 β π₯1) = π2 β π(π₯1); π(π₯1 β π₯2) = π2 βπ(π₯1) = π(π₯2); dan jika π»1 adalah K-subaljabar dari π΄1 maka π(π»1) adalah K-
subaljabar dari π΄2.
viii
DAFTAR ISI
HALAMAN JUDUL ............................................................................................. i
PERNYATAAN .................................................................................................... ii
PENGESAHAN ................................................................................................... iii
MOTTO DAN PERSEMBAHAN ....................................................................... iv
KATA PENGANTAR .......................................................................................... v
ABSTRAK .......................................................................................................... vii
DAFTAR ISI ..................................................................................................... viii
DAFTAR TABEL ................................................................................................. x
BAB 1 PENDAHULUAN
1.1 Latar Belakang ....................................................................................... 1
1.2 Rumusan Masalah .................................................................................. 2
1.3 Tujuan Penelitian ................................................................................... 3
1.4 Manfaat Penelitian ................................................................................. 3
1.5 Sistematika Penulisan ............................................................................ 4
BAB 2 TINJAUAN PUSTAKA
2.1 Himpunan ............................................................................................... 6
2.2 Operasi Biner ......................................................................................... 8
2.3 Teori Grup .............................................................................................. 9
2.4 Konsep Dasar K-Aljabar ...................................................................... 16
BAB 3 METODE PENELITIAN
3.1 Kajian Pustaka ..................................................................................... 21
ix
3.2 Perumusan Masalah ............................................................................. 21
3.3 Pemecahan Masalah ............................................................................. 21
3.4 Penarikan Kesimpulan ......................................................................... 22
BAB 4 HASIL DAN PEMBAHASAN
4.1 K-Aljabar .............................................................................................. 24
4.2 K-Subaljabar ........................................................................................ 31
4.3 Homomorfisma K-aljabar .................................................................... 37
BAB 5 PENUTUP
5.1 Kesimpulan ............................................................................................... 43
5.2 Saran ......................................................................................................... 44
DAFTAR PUSTAKA ........................................................................................ 45
x
DAFTAR TABEL
Tabel 4.1 Operasi β pada π3 ................................................................................ 33
Tebel 4.2 Operasi β pada π3 .............................................................................. 34
Tabel 4.3 Operasi β pada π΄3 ............................................................................. 36
1
BAB 1
PENDAHULUAN
1.1 Latar Belakang
Aljabar abstrak adalah bidang matematika yang mempelajari struktur
aljabar, seperti grup, ring, medan, modul, ruang vektor, dan aljabar medan. Frasa
aljabar abstrak diciptakan pada awal abad ke-20 untuk membedakannya dengan
bidang yang biasa disebut sebagai aljabar, yaitu studi aturan manipulasi rumus dan
ekspresi aljabar yang melibatkan variabel dan bilangan riil atau kompleks, yang saat
ini lebih sering disebut sebagai aljabar elementer.
Teori grup merupakan salah satu bidang kajian aljabar abstrak yang
mempelajari struktur himpunan. Sebuah himpunan tak kosong dengan satu operasi
biner dapat dinyatakan sebagai grup jika operasi biner pada himpunan tersebut
memenuhi sifat assosiatif, adanya elemen identitas, dan setiap anggota himpunan
tersebut mempunyai invers (Milne, 2013).
Grup digunakan dalam dunia matematika dan ilmu pengetahuan alam.
Dalam bidang kimia, grup dapat digunakan untuk mengklasifikasikan simetri
molekul serta mengidentifikasi titik molekul tersebut. Grup juga diterapkan dalam
bidang kriptografi yaitu untuk sistem kriptografi kunci publik.
Misalkan πΊ =< πΊ,β> suatu grup terhadap operasi biner β. Jika π adalah
elemen identitas pada πΊ dan untuk setiap π₯, π¦ di πΊ didefinisikan operasi
π₯ β π¦ = π₯ β π¦β1 sedemikian sehingga operasi tersebut merupakan operasi biner
2
yang memenuhi aksioma-aksioma tertentu maka πΊ akan membentuk struktur
aljabar yang dinamakan K-aljabar (Dar & Akram, 2006).
K-aljabar dibagi menjadi dua kelas berdasarkan grup pembangunnya, yaitu
Q-aljabar apabila grup yang membangun K-aljabar adalah grup yang komutatif dan
B-Aljabar apabila grup yang membangun K-aljabar adalah grup yang tidak
komutatif (Dar & Akram, 2006).
Hal yang menarik dalam K-aljabar adalah konsepnya yang hampir sama
dengan konsep grup. Jika dalam grup terdapat konsep subgrup dan homomorfisma,
maka dalam K-aljabar juga terdapat konsep K-subaljabar dan K-homomorfisma.
Oleh karena itu, dalam pengembangan pembahasannya, penulis tertarik untuk
membahas dan mengkaji kembali strukur dan sifat-sifat yang terkait dengan K-
aljabar.
Dalam penelitian ini akan dibahas mengenai struktur dan sifat-sifat yang
terkait dengan K-aljabar.
1.2 Rumusan Masalah
Berdasarkan latar belakang di atas, maka penulis merumuskan beberapa
masalah sebagai berikut:
1. Bagaimana struktur dan sifat-sifat terkait K-aljabar?
2. Bagaimana struktur dan sifat-sifat terkait K-subaljabar?
3. Bagaimana struktur dan sifat-sifat terkait homomorfisma K-aljabar?
3
1.3 Tujuan Penelitian
Berdasarkan rumusan masalah di atas, penulis bertujuan untuk:
1. Menjelaskan struktur dan sifat-sifat terkait K-aljabar.
2. Menjelaskan struktur dan sifat-sifat terkait K-subaljabar.
3. Menjelaskan struktur dan sifat-sifat terkait homomorfisma K-aljabar.
1.4 Manfaat Penelitian
Manfaat yang diharapkan dari hasil penelitian ini adalah sebagai berikut:
1. Bagi Penulis
Penelitian ini digunakan sebagai tambahan informasi dan wawasan
pengetahuan tentang teori terkait K-aljabar, untuk pengembangan dalam
permasalahan matematika, khususnya pada bidang aljabar.
2. Bagi Lembaga
Hasil penelitian ini dapat digunakan untuk bahan kepustakaan yang dijadikan
sarana pengembangan wawasan keilmuan khususnya jurusan matematika
untuk bidang aljabar.
3. Bagi Pengembangan Ilmu
Hasil penelitian ini dapat digunakan untuk bahan referensi bagi pihak yang
ingin mengetahui lebih banyak tentang teori-teori terkait K-aljabar serta
pengembangan dari teori-teori tersebut.
4
1.5 Sistematika Penulisan
Penulisan skripsi disusun dalam tiga bagian utama, yaitu bagian awal,
bagian inti, dan bagian akhir skripsi.
1.5.1 Bagian Awal
Dalam penulisan skripsi ini, bagian awal berisi halaman judul, pernyataan,
pengesahan, motto dan persembahan, kata pengantar, abstrak, daftar isi, dan daftar
tabel.
1.5.2 Bagian Inti
Bagian inti dari penulisan skripsi ini adalah isi skripsi yang terdiri dari lima
bab, yaitu:
BAB 1: PENDAHULUAN
Berisi tentang latar belakang, rumusan masalah, tujuan penulisan, manfaat
penulisan, sistematika penulisan.
BAB 2: TINJAUAN PUSTAKA
Berisi tentang himpunan, operasi biner, teori grup, dan konsep dasar K-aljabar.
BAB 3: METODE PENELITIAN
Berisi tentang prosedur atau langkah-langkah yang dilakukan dalam penelitian ini
meliputi kajian pustaka, merumuskan masalah, pemecahan masalah, penarikan
kesimpulan.
BAB 4: HASIL DAN PEMBAHASAN
Berisi tentang definisi-definisi dan teorema-teorema tentang K-aljabar, K-
subaljabar, dan homomorfisma K-aljabar.
5
BAB 5: PENUTUP
Berisi simpulan dan saran dari penulisan skripsi ini.
1.5.3 Bagian Akhir
Berisi daftar pustaka sebagai acuan penulisan yang memberikan informasi
tentang buku dan literatur lain yang digunakan dalam skripsi ini serta lampiran yang
mendukung kelengkapan skripsi.
6
BAB 2
TINJAUAN PUSTAKA
2.1 Himpunan
Definisi 2.1 (Judson, 2013)
Himpunan adalah suatu kumpulan objek yang didefinisikan dengan jelas. Objek-
objek dalam himpunan tersebut dinamakan elemen atau anggota himpunan.
Himpunan dinotasikan dengan huruf kapital, seperti π΄ atau π; jika π adalah elemen
dari himpunan π΄, ditulis π β π΄.
Untuk membentuk suatu himpunan, beberapa cara yang dapat digunakan
adalah menyebutkan anggota-anggotanya, menyebutkan syarat anggota-
anggotanya, dan dengan notasi pembentuk himpunan.
Contoh 2.1
Dengan menyebutkan anggota-anggotanya:
π΄ = {1,3,5,7}.
Dengan menyebutkan syarat enggota-anggotanya:
π΄ = Himpunan empat bilangan ganjil pertama.
Dengan notasi pembentuk himpunan:
π΄ = {π₯|π₯ < 8, π₯ bilangan asli ganjil}.
Jelas 3 anggota himpunan π΄, dapat ditulis 3 β π΄. 2 bukan anggota π΄, dapat ditulis
2 β π΄.
7
Jika π΄ dan π΅ himpunan maka π΄ dikatakan himpunan bagian sejati (proper
subset) dari π΅ jika dan hanya jika setiap anggota π΄ merupakan anggota π΅ (dapat
ditulis π΄ β π΅) dan π΄ β π΅. Notasi yang biasa digunakan adalah π΄ β π΅.
Dua himpunan dikatakan sama jika dan hanya jika keduanya mengandung
elemen yang sama. Hal itu berarti bahwa π΄ = π΅ jika dan hanya jika setiap anggota
π΄ juga menjadi anggota π΅ dan sebaliknya setiap anggota π΅ juga menjadi anggota
π΄. Untuk membuktikan π΄ = π΅ maka haruslah dibuktikan bahwa π΄ β π΅ dan π΅ β π΄.
Komplemen himpunan π΄ adalah semua anggota dalam semesta yang bukan
anggota π΄. Notasi komplemen π΄ adalah π΄π. Secara matematik dapat ditulis sebagai
π΄π = {π₯|π₯ β π dan π₯ β π΄}.
Gabungan (union) dua himpunan π΄ dan π΅ adalah suatu himpunan yang
anggota-anggotanya terdiri atas semua anggota dari himpunan π΄ atau π΅. Notasi
yang digunakan adalah π΄ βͺ π΅, yang secara matematik dapat ditulis
π΄ βͺ π΅ = {π₯|π₯ β π΄ atau π₯ β π΅}.
Irisan (intersection) dari dua himpunan π΄ dan π΅ adalah suatu himpunan
yang anggotanya terdiri atas anggota himpunan π΄ yang juga merupakan anggota π΅.
Dalam hal ini digunakan notasi π΄ β© π΅. Secara matematik dapat ditulis
π΄ β© π΅ = {π₯|π₯ β π΄ dan π₯ β π΅}.
8
2.2 Operasi Biner
Definisi 2.2 (Anton, 2000)
Misalkan π΄ dan π΅ himpunan tak kosong, π: π΄ β π΅ disebut pemetaan (fungsi) jika
dan hanya jika untuk setiap elemen di π΄ mempunyai pasangan di π΅, dan untuk
setiap dua elemen sama dari π΄ mempunyai pasangan yang sama di π΅. Secara
matematis dapat ditulis:
π: π΄ β π΅ fungsi jika dan hanya jika
1. βπ₯ β π΄ berlaku π(π₯) β π΅
2. βπ₯1, π₯2 β π΄, π₯1 = π₯2, berlaku π(π₯1) = π(π₯2)
Definisi 2.3 (Setiawan, 2011)
Misalkan π: π΄ β π΅ pemetaan:
1. Pemetaan π disebut injektif (satu-satu) jika dan hanya jika:
βπ₯1, π₯2 β π΄, π₯1 β π₯2, berlaku π(π₯1) β π(π₯2), atau
βπ₯1, π₯2 β π΄, π(π₯1) = π(π₯2) berlakuπ₯1 = π₯2.
2. Pemetaan π disebut surjektif (pada) jika:
βπ¦ β π΅ βπ₯ β π΄ β π(π₯) = π¦.
3. Pemetaan π disebut bijektif (korespondensi satu-satu) jika π injektif dan
surjektif.
4. Permutasi pada himpunan π΄ adalah pemetaan bijektif π΄ β π΄.
9
Definisi 2.4 (Setiawan, 2011)
Operasi biner β pada himpunan tak kosong π΄ adalah pemetaan dari setiap pasangan
berurutan (π, π) di π΄Γπ΄ dengan tepat satu elemen π β π di π΄.
Sifat-sifat operasi biner
Misalkan β operasi biner pada himpunan tak kosong π΄
1. Operasi biner β dikatakan bersifat komutatif jika π β π = π β π, βπ, π β π΄
2. Operasi biner β dikatakan bersifat assosiatif jika
(π β π) β π = π β (π β π), βπ, π, π β π΄
3. Elemen π β π΄ dikatakan elemen identitas untuk β pada π΄ jika
π β π = π β π = π, βπ β π΄
4. Elemen π β π΄ dikatakan mempunyai invers π untuk β pada π΄ jika
π β π = π β π = π, π disebut invers untuk π, dapat dinotasikan dengan
π = πβ1.
2.3 Teori Grup
2.3.1 Grup
Definisi 2.5 (Milne, 2013)
Suatu grup (group) < πΊ,β> terdiri dari himpunan tak kosong πΊ bersama dengan
operasi biner β yang didefinisikan pada πΊ dan memenuhi:
1) Operasi biner β bersifat assosiatif
2) Terdapat elemen identitas π β πΊ untuk β pada πΊ
3) βπ β πΊ βπβ1 β πΊ β π β πβ1 = πβ1 β π = π, (setiap elemen di πΊ mempunyai
invers)
10
Contoh 2.2:
β€ merupakan grup terhadap operasi +.
Penyelesaian:
Operasi + pada β€ bersifat tertutup karena βπ, π β β€, π + π β β€.
Operasi + pada β€ bersifat assosiatif karena
βπ, π, π β β€, (π + π) + π = π + (π + π).
0 β β€ merupakan elemen identitas untuk + pada β€ karena
βπ β β€, π + 0 = 0 + π = π.
βπ β β€, β(βπ) β β€ sehingga π + (βπ) = (βπ) + π = 0, βπ β β€ merupakan
invers untuk π β β€.
Jadi β€ merupakan grup terhadap operasi + karena memenuhi aksioma-aksioma
yang berlaku pada grup, dapat dinotasikan dengan < β€, +>.
Definisi 2.6 (Setiawan, 2011)
Order dari grup πΊ adalah banyaknya elemen grup πΊ, dinyatakan dengan |πΊ|.
Definisi 2.7 (Fraleigh, 1989)
Grup πΊ dikatakan abelian jika operasi biner β bersifat komutatif.
Contoh 2.3:
Berdasarkan contoh 2.2 diperoleh bahwa < β€, +> merupakan suatu grup.
< β€, +> juga merupakan grup abelian karena βπ, π β β€, π + π = π + π.
11
Teorema 2.1 (Fraleigh, 1989)
Misalkan < πΊ,β> grup, dan π, π, π β πΊ:
1. Jika π β π = π β π maka π = π (hukum kanselasi kiri).
2. Jika π β π = π β π maka π = π (hukum kanselasi kanan).
Bukti:
1. Hukum kanselasi kiri
Diberikan π β π = π β π.
Karena πΊ grup dan π β πΊ maka βπβ1 β π β πβ1 = πβ1 β π = π dengan π
identitas.
Akibatnya
πβ1 β (π β π) = πβ1 β (π β π)
Dengan menggunakan hukum assosiatif diperoleh
(πβ1 β π) β π = (πβ1 β π) β π
Dengan hukum invers diperoleh
π β π = π β π
Dengan hukum identitas diperoleh
π = π.
2. Analog untuk hukum kanselasi kanan.
Teorema 2.2 (Fraleigh 1989)
Misalkan πΊ grup
1. Elemen identitas pada πΊ adalah tunggal.
2. Invers elemen pada πΊ adalah tunggal.
12
Bukti:
1. Misalkan π1 dan π2 elemen identitas untuk β pada πΊ.
Akan ditunjukkan bahwa π1 = π2.
Penyelesaian
Karena π1 dan π2 merupakan elemen identitas di πΊ, maka
βπ₯ β πΊ berlaku π₯ β π1 = π1 β π₯ = π₯
βπ¦ β πΊ berlaku π¦ β π2 = π2 β π¦ = π¦
Karena π1 β πΊ berlaku π1 β π2 = π2 β π1 = π1
Karena π2 β πΊ berlaku π2 β π1 = π1 β π2 = π2
Akibatnya π1 = π1 β π2 = π2
Jadi π1 = π2.
2. Misalkan π dan π merupakan invers dari π₯ di πΊ.
Akan ditunjukkan bahwa π = π.
Karena π dan π merupakan invers dari π₯ di πΊ, maka
π β π₯ = π₯ β π = π
π β π₯ = π₯ β π = π
Diperoleh
π = π
π β π₯ = π β π₯
Dengan menggunakan hukum kanselasi kanan diperoleh
π = π.
13
2.3.2 Subgrup
Definisi 2.8 (Block, 2009)
Misalkan πΊ grup, π β πΊ, π β β dan operasi biner β di π bersifat tertutup. Himpunan
π disebut subgrup πΊ jika π merupakan grup terhadap operasi biner β pada πΊ.
Teorema 2.3 (Block, 2009)
Misalkan πΊ grup dan π β πΊ, π β β . π subgrup πΊ jika dan hanya jika:
1. π β π
2. π tertutup terhadap operasi biner pada πΊ
3. Untuk sebarang π₯ β π, inversnya π₯β1 β π.
Bukti:
(β)
Diketahui πΊ grup dan π β πΊ, π β β . π subgrup πΊ. Akan ditunjukkan π memenuhi
syarat 1 sampai 3.
1. Dengan mengingat definisi π subgrup maka π merupakan grup sehingga
identitasnya πβ² β π.
Akan ditunjukkan bahwa πβ² = π yaitu elemen identitas dalam πΊ.
Karena πβ² elemen identitas dalam π maka πβ²πβ² = πβ².
Dengan menggunakan sifat identitas dari π maka πβ² = πβ²π sehingga
πβ²πβ² = πβ²π
Dengan hukum kanselasi didapat πβ² = π.
2. Karena π grup maka π tertutup pada operasi biner dalam πΊ.
3. Misalkan π₯ sebarang elemen π.
Karena π grup maka π₯ mempunyai invers π₯β² dalam π.
14
Dengan mengingat ketunggalan dari suatu invers maka π₯β² = π₯β1 yaitu invers
dalam πΊ.
(β)
Diketahui πΊ grup dan π β πΊ, π β β . π memenuhi syarat 1 sampai 3. Akan
ditunjukkan π subgrup πΊ.
Syarat 1 sampai 3 merupakan tiga syarat supaya suatu himpunan merupakan grup.
Syarat lain yang harus dipenuhi adalah hukum assosiatif.
Karena (ππ)π = π(ππ) untuk semua elemen dalam πΊ maka tentu saja berlaku untuk
semua elemen dalam π β πΊ.
Karena π juga merupakan grup, maka π subgrup πΊ.
2.3.3 Homomorfisma Grup
Definisi 2.9 (Setiawan, 2011)
Misalkan < πΊ,β> dan < π»,β> grup. Pemetaan π: πΊ β π» dinamakan
homomorfisma grup jika π mengawetkan operasi, yaitu:
π(π₯ β π¦) = π(π₯) β π(π¦) βπ₯, π¦ β πΊ.
Ada beberapa definisi khusus mengenai homomorfisma grup pada fungsi π
yaitu apabila fungsi π surjektif, maka homomorfisma π dari πΊ ke π» disebut
epimorfisma. Apabila fungsi π injektif maka homomorfisma π disebut
monomorfisma, sedangkan apabila fungsi π bijektif, maka homomorfisma π
disebut isomorfisma.
15
Contoh 2.4:
Misalkan < πΊ,β> suatu grup abelian dengan π bilangan bulat tertentu, akan
ditunjukkan bahwa π: πΊ β πΊ dengan π(π₯) = π₯π mendefinisikan suatu
homomorfisma.
Penyelesaian:
Jelas π(π₯π¦) = (π₯π¦)π (definisi π)
= π₯ππ¦π (komutatif)
= π(π₯)π(π¦) (definisi π)
sehingga π mengawetkan operasi. Jadi π merupakan homomorfisma.
Teorema 2.4 (Setiawan, 2011)
Misalkan π: πΊ β πΊβ² suatu homomorfisma grup, maka:
a. π(π) = πβ², dengan π dan πβ² berturut-turut menyatakan elemen identitas dari
grup πΊ dan πΊβ².
b. π(πβ1) = (π(π))β1
, βπ β πΊ.
Bukti:
Diketahui π: πΊ β πΊβ² suatu homomorfisma grup.
a. Karena ππ = π. Maka π(π)π(π) = π(π).
Berakibat π(π) = πβ².
b. βπ β πΊ berlaku ππβ1 = πβ1π = π.
Diketahui π(π)π(πβ1) = π(πβ1)π(π) = π(π) = πβ².
Karena invers dari π(π) di πΊ tunggal.
Maka π(πβ1) = (π(π))β1
.
16
2.4 Konsep Dasar K-Aljabar
Struktur aljabar merupakan himpunan tak kosong dengan paling sedikit
satu operasi biner dan memenuhi aksioma-aksioma yang berlaku. Salah satu
struktur aljabar tersebut adalah K-aljabar. K-aljabar dibangun atas grup dengan
menggunakan operasi biner β pada < πΊ,β>, sehingga untuk setiap π₯, π¦ di πΊ
didefinisikan π₯ β π¦ = π₯ β π¦β1 dan π adalah elemen identitas di πΊ.
Definisi 2.10 (Dar & Akram, 2006)
Misalkan < πΊ,β> suatu grup dan pada πΊ didefinisikan operasi β sedemikian
sehingga βπ₯, π¦ β πΊ, π₯ β π¦ = π₯ β π¦β1 maka akan membentuk struktur aljabar baru
yaitu < πΊ,β,β, π >. Suatu < πΊ,β,β, π > dinamakan K-aljabar, jika πΊ adalah grup
dengan order lebih dari 2 dan βπ₯, π¦, π§ β πΊ berlaku:
(C1) (π₯ β π¦) β (π₯ β π§) = (π₯ β ((π β π§) β (π β π¦))) β π₯
(C2) π₯ β (π₯ β π¦) = (π₯ β (π β π¦)) β π₯
(C3) π₯ β π₯ = π
(C4) π₯ β π = π₯
(C5) π β π₯ = π₯β1
Dengan operasi β yang didefinisikan tersebut, dapat disimpulkan bahwa πΊ bersifat
tertutup terhadap operasi β.
17
Contoh 2.5:
Misalkan < β€, +> adalah grup dengan identitas π = 0. Didefinisikan operasi β
pada β€, dengan π β π = π + (βπ), βπ, π β β€. Akan ditunjukkan bahwa
< β€, +,β, 0 > adalah K-aljabar.
Penyelesaian:
Jelas |β€| β β, jadi β€ adalah grup dengan order lebih 2.
Ambil sebarang π, π, π β β€,
(C1) Akan ditunjukkan bahwa
(π β π) β (π β π) = (π β ((π β π) β (π β π))) β π
Ruas kiri = (π β π) β (π β π)
= (π + (βπ)) β (π + (βπ))
= (π β π) + (β(π β π))
= (π β π) + (π β π)
= π β π
Ruas kanan = (π β ((π β π) β (π β π))) β π
= (π β ((βπ) β (βπ))) β π
= (π β ((βπ) + π)) β π
= (π + ((βπ) + π) + (βπ)
= (π β π) + (π β π)
= π β π
18
Karena (π β π) β (π β π) = π β π dan
(π β ((π β π) β (π β π))) β π = π β π maka
(π β π) β (π β π) = (π β ((π β π) β (π β π))) β π.
(C2) Akan ditunjukkan bahwa
π β (π β π) = (π β (π β π)) β π
Ruas kiri = π β (π β π)
= π β (π β π)
= π + (π β π)
= π
Ruas kanan = (π β (π β π)) β π
= (π β (βπ)) β π
= (π + π) + (βπ)
= π
Karena π β (π β π) = π dan
(π β (π β π)) β π = π maka
π β (π β π) = (π β (π β π)) β π.
(C3) π β π = π + (βπ) (definisi β)
= π β π
= 0
Jadi π β π = 0.
(C4) π β 0 = π + 0
= π
19
Jadi π β 0 = π.
(C5) 0 β π = 0 + (βπ) (definisi β)
= βπ
Jadi 0 β π = βπ.
Karena kelima aksioma terpenuhi, maka < β€, +,β, 0 > adalah K-aljabar.
Jika < πΊ,β> merupakan grup komutatif, maka aksioma 1 dan 2 menjadi:
(C1) (π₯ β π¦) β (π₯ β π§) = π§ β π¦
(C2) π₯ β (π₯ β π¦) = π¦
Contoh 2.6
Berdasarkan contoh 2.5 didapat < β€, +,β, 0 > merupakan K-aljabar, karena
< β€, +> merupakan grup komutatif, akan ditunjukkan apakah C1 dan C2
terpenuhi.
Penyelesaian:
Ambil sebarang π₯, π¦, π§ β β€
(C1) (π₯ β π¦) β (π₯ β π§) = (π₯ + (βπ¦)) β (π₯ + (βπ§))
= (π₯ β π¦) + (β(π₯ β π§))
= (π₯ β π¦) + (π§ β π₯)
= (π₯ β π₯) + (π§ β π¦)
= π§ + (βπ¦)
= π§ β π¦
20
(C2) π₯ β (π₯ β π¦) = π₯ β (π₯ + (βπ¦))
= π₯ + (β(π₯ β π¦))
= π₯ + (π¦ β π₯)
= π¦
Jadi, C1 dan C2 terpenuhi untuk grup komutatif < β€, +>.
43
BAB 5
PENUTUP
5.1 Kesimpulan
1. Dalam struktur K-aljabar < πΊ,β,β, π > berlaku sifat-sifat berikut.
a. Hukum kanselasi kiri dan kanselasi kanan.
b. Misalkan < πΊ,β> grup komutatif. Jika < πΊ,β,β, π > adalah suatu K-
aljabar, maka βπ₯, π¦, π§ β πΊ berlaku:
i. (π β π₯) β (π β π¦) = π¦ β π₯ = π β (π₯ β π¦)
ii. (π₯ β π§) β (π¦ β π§) = π₯ β π¦
iii. π β (π β π₯) = π₯
iv. π₯ β (π β π¦) = π¦ β (π β π₯)
c. Jika πΊ merupakan K-aljabar komutatif, maka βπ₯, π¦, π§ β πΊ berlaku:
i. (π₯ β π¦) β π§ = (π₯ β π§) β π¦,
ii. (π₯ β (π₯ β π¦)) β π¦ = π,
iii. π β (π₯ β π¦) = (π β π₯) β (π β π¦).
d. Misalkan < πΊ,β,β π > suatu K-aljabar. Jika < πΊ,β> tidak komutatif, maka
βπ₯, π¦, π§, π’, π£ β πΊ berlaku:
i. (π₯ β π¦) β (π’ β π£) = (π₯ β (π β π£) β (π β π¦)) β π’
ii. (π₯ β π¦) β π§ = π₯ β (π§ β (π β π¦))
iii. π β (π β π₯) = π₯
iv. π β (π₯ β π¦) = π¦ β π₯
44
v. π₯ β π¦ = π β π₯ = π¦
2. Dalam struktur K-subaljabar berlaku sifat-sifat sebagai berikut.
a. Jika π» himpunan bagian tak kosong dan merupakan K-subaljabar dari
< πΊ,β,β, π >, maka π» juga merupakan K-aljabar.
b. Misalkan < πΊ,β,β, π > adalah suatu K-aljabar dan π β πΊ. Jika π» suatu
subgrup dari πΊ, maka π»π2 = {π β (π β π₯)|π₯ β π»} adalah suatu K-
subaljabar dari < πΊ,β,β, π >.
3. Dalam struktur homomorfisma K-aljabar berlaku sifat berikut.
Misalkan π΄1 =< πΊ1,β,β, π1 > dan π΄2 =< πΊ2,β,β, π2 >, π΄1 K-aljabar
komutatif, serta π: π΄1 β π΄2 suatu K-homomorfisma, berlaku sifat-sifat berikut:
i. π(π1) = π2
ii. βπ₯1 β π΄1, π(π1 β π₯1) = π2 β π(π₯1)
iii. βπ₯1, π₯2 β π΄1, π(π₯1 β π₯2) = π2 β π(π₯1) = π(π₯2)
iv. Jika π»1 adalah K-subaljabar dari π΄1 maka π(π»1) adalah K-subaljabar
dari π΄2.
v. Jika π»2 adalah K-subaljabar dari π΄2, maka πβ1(π»2) adalah K-
subaljabar dari π΄1.
5.2 Saran
Saran yang dapat diberikan untuk penelitian berikutnya adalah menurunkan
sifat-sifat pada K-aljabar terhadap subkelas dari K-aljabar yaitu Q-aljabar dan B-
aljabar, demikian juga subkelas dari Q-aljabar yaitu BCK-aljabar, BCI-aljabar dan
BCH-aljabar.
45
DAFTAR PUSTAKA
Anton, H. 2000. Dasar-dasar Aljabar Linear. Batam: Interaksara.
Block, N. J. 2009. Abstract Algebra with Applications. New Jersey: Prentice-Hall
Inc.
Dar, K. H dan Akram, M. 2006. On Subclasses of K(G)-algebras. Annals of
University of Craiova, Math. Comp. Sci. Ser. 33:235-240.
______________________. 2007. On K-Homomorphisms of K-Algebras. IMF.
46:2283-2293.
______________________. 2010. Characterization of K-algebras by self maps II.
Annals of University of Craiova, Math and Computer Science Series.
37:96-103.
Dar, K. H dkk. 2006. A note on left K(G)-algebras. SEA Bull. Math. 2006:30.
Fraleigh, J. B. 1989. A First Course in Abstract Algebra. Columbia: Addison-
Wesley.
Handam, A.H. 2012. Soft K(G)-Algebras. Tamkang Journal of Mathematics.
2012:43:203-213.
Judson, T.W. 2013. Abstract Algebra Theory and Applications. Stephen F. Austin
State University.
Milne, J.S. 2013. Group Theory. Course Notes. Tersedia di:
http://www.jmilne.org/math/CourseNotes/
Setiawan, A. 2011. Aljabar Abstrak (Teori Grup dan Teori Ring). Salatiga: UKSW.