SPEKTRUM GRAF SUBGRUP DARI GRUP SIMETRI ...etheses.uin-malang.ac.id/15221/1/14610069.pdfSPEKTRUM...
Transcript of SPEKTRUM GRAF SUBGRUP DARI GRUP SIMETRI ...etheses.uin-malang.ac.id/15221/1/14610069.pdfSPEKTRUM...
SPEKTRUM GRAF SUBGRUP
DARI GRUP SIMETRI
SKRIPSI
OLEH
DURROTUN NAFISAH
NIM. 14610069
JURUSAN MATEMATIKA
FAKULTAS SAINS DAN TEKNOLOGI
UNIVERSITAS ISLAM NEGERI MAULANA MALIK IBRAHIM
MALANG
2019
SPEKTRUM GRAF SUBGRUP
DARI GRUP SIMETRI
SKRIPSI
Diajukan Kepada
Fakultas Sains dan Teknologi
Universitas Islam Negeri Maulana Malik Ibrahim Malang
untuk Memenuhi Salah Satu Persyaratan dalam
Memperoleh Gelar Sarjana Matematika (S.Mat)
Oleh
Durrotun Nafisah
NIM. 14610069
JURUSAN MATEMATIKA
FAKULTAS SAINS DAN TEKNOLOGI
UNIVERSITAS ISLAM NEGERI MAULANA MALIK IBRAHIM
MALANG
2019
MOTO
Positive Thinking
PERSEMBAHAN
Skripsi ini penulis persembahkan untuk:
Bapak Romli dan ibu Khullatul Lutfiyah.
viii
KATA PENGANTAR
Assalamuโalaikum Warahmatullahi Wabarakatuh
Segala puji bagi Allah Swt atas rahmat, taufik dan hidayahNya, sehingga
penulis dapat menyelesaikan penyusunan skripsi ini sebagai salah satu syarat untuk
memperoleh gelar sarjana dalam bidang matematika di Fakultas Sains dan
Teknologi, Universitas Islam Negeri Maulana Malik Ibrahim Malang. Shalawat
serta salam semoga tercurah kepada rasulullah Muhammad Saw yang telah
membimbing manusia kepada ajaran yang paling benar, yakni ajaran agama Islam.
Dalam penyusunan skripsi ini, penulis banyak mendapat bimbingan dan
arahan dari berbagai pihak. Untuk itu, ucapan terima kasih yang sebesar-besarnya
dan juga doa agar segala sesuatu yang telah diberikan dibalas oleh Allah Swt
dengan balasan yang sebaik-baiknya, penulis sampaikan terutama kepada:
1. Prof. Dr. Abd. Haris, M.Ag, selaku rektor Universitas Islam Negeri Maulana
Malik Ibrahim Malang.
2. Dr. Sri Harini, M.Si, selaku dekan Fakultas Sains dan Teknologi, Universitas
Islam Negeri Maulana Malik Ibrahim Malang.
3. Dr. Usman Pagalay, M.Si, selaku ketua Jurusan Matematika, Fakultas Sains
dan Teknologi, Universitas Islam Negeri Maulana Malik Ibrahim Malang.
4. Dr. Turmudi, M.Si, Ph.D, selaku dosen pembimbing I yang telah banyak
memberikan ilmu, nasihat, motivasi, dan arahan kepada penulis.
5. Dr. Abdussakir, M.Pd, selaku dosen pembimbing II yang telah banyak
memberikan ilmu, nasihat, motivasi, dan arahan kepada penulis.
ix
6. Seluruh dosen Jurusan Matematika, Fakultas Sains dan Teknologi, Universitas
Islam Negeri Maulana Malik Ibrahim Malang yang telah ikhlas dan sabar
dalam mendidik dan memberikan ilmu kepada penulis.
7. Bapak dan ibu yang dengan ikhlas dan sabar merawat, mendidik, membesarkan
penulis dan selalu memberikan doa, nasihat, dan motivasi kepada penulis.
8. KH. Yahya Djaโfar dan ibu Syafiah yang telah memberikan kesempatan kepada
penulis untuk menuntut ilmu dan mendapat banyak pengalaman di PPP. Al-
Hikmah Al-Fathimiyyah.
9. Teman-teman di Jurusan Matematika angkatan 2014 dan PPP Al-Hikmah Al-
Fathimiyyah yang telah berjuang bersama dalam menuntut ilmu.
10. Semua pihak yang ikut membantu dalam menyelesaikan skripsi ini.
Akhirnya penulis berharap semoga skripsi ini bermanfaat bagi penulis dan
bagi pembaca.
Wassalamuโalaikum Warahmatullahi Wabarakatuh
Malang, Desember 2018
Penulis
x
DAFTAR ISI
HALAMAN JUDUL
HALAMAN PENGAJUAN
HALAMAN PERSETUJUAN
HALAMAN PENGESAHAN
HALAMAN PERNYATAAN KEASLIAN TULISAN
HALAMAN MOTO
HALAMAN PERSEMBAHAN
KATA PENGANTAR ....................................................................................... viii
DAFTAR ISI ..................................................................................................... x
DAFTAR TABEL ............................................................................................ xiii
DAFTAR GAMBAR ........................................................................................ xiv
ABSTRAK ........................................................................................................ xv
ABSTRACT ...................................................................................................... xvi
xvii ................................................................................................................... ู ูุฎุต
BAB I PENDAHULUAN
1.1 Latar Belakang .................................................................................... 1
1.2 Rumusan Masalah .............................................................................. 5
1.3 Tujuan Penelitian ................................................................................ 6
1.4 Manfaat Penelitian .............................................................................. 6
1.5 Batasan Masalah .................................................................................. 6
1.6 Metode Penelitian ............................................................................... 7
1.7 Sistematika Penulisan .......................................................................... 9
BAB II KAJIAN PUSTAKA
2.1 Grup ..................................................................................................... 10
2.1.1 Operasi Biner ........................................................................... 10
2.1.2 Definisi Grup ........................................................................... 11
2.1.3 Sifat-sifat Grup ........................................................................ 12
2.1.4 Order dari Suatu Unsur ............................................................ 15
2.2 Grup Simetri ........................................................................................ 16
2.2.1 Definisi Grup Simetri ............................................................... 16
2.2.2 Sifat-sifat Unsur pada Grup Simetri ......................................... 18
2.3 Subgrup ................................................................................................ 21
xi
2.3.1 Definisi Subgrup ....................................................................... 21
2.3.2 Subgrup Normal ........................................................................ 22
2.4 Graf ...................................................................................................... 23
2.4.1 Definisi Graf ............................................................................ 23
2.4.2 Derajat Titik ............................................................................. 24
2.4.3 Graf Terhubung ....................................................................... 26
2.4.4 Graf Subgrup ........................................................................... 27
2.5 Graf Subgrup dari Grup Simetri .......................................................... 29
2.5.1 Sisi pada Graf Subgrup dari Grup Simetri ................................ 29
2.5.2 Titik pada Graf Subgrup dari Grup Simetri .............................. 29
2.5.3 Ukuran pada Graf Subgrup dari Grup Simetri ......................... 31
2.6 Graf dan Matriks .................................................................................. 32
2.6.1 Matriks Keterhubungan dari Graf ............................................ 32
2.6.2 Matriks Derajat dari Graf ......................................................... 33
2.6.3 Matriks Laplace dari Graf ........................................................ 33
2.6.4 Matriks Signless Laplace dari Graf ......................................... 35
2.7 Spektrum Graf ...................................................................................... 36
2.8 Keteraturan Ciptaan Allah ................................................................... 42
BAB III PEMBAHASAN
3.1 Spektrum Keterhubungan Graf Subgrup dari Grup Simetri ๐๐ ........... 45
3.1.1 Grup Simetri ๐3 ........................................................................ 45
3.1.2 Grup Simetri ๐4 ......................................................................... 48
3.1.3 Grup Simetri ๐5 ......................................................................... 55
3.1.4 Grup Simetri ๐6 ......................................................................... 56
3.1.5 Grup Simetri ๐7 ......................................................................... 57
3.1.6 Grup Simetri ๐8 ......................................................................... 58
3.1.7 Grup Simetri ๐9 ......................................................................... 59
3.1.8 Grup Simetri ๐10 ....................................................................... 60
3.2 Spektrum Laplace Graf Subgrup dari Grup Simetri ๐๐ ....................... 65
3.2.1 Grup Simetri ๐3 ........................................................................ 65
3.2.2 Grup Simetri ๐4 ......................................................................... 67
3.2.3 Grup Simetri ๐5 ......................................................................... 68
3.2.4 Grup Simetri ๐6 ......................................................................... 69
3.2.5 Grup Simetri ๐7 ......................................................................... 69
3.2.6 Grup Simetri ๐8 ......................................................................... 70
3.2.7 Grup Simetri ๐9 ......................................................................... 71
3.2.8 Grup Simetri ๐10 ....................................................................... 71
3.3 Spektrum Signless Laplace Graf Subgrup dari Grup Simetri ๐๐ ......... 76
3.3.1 Grup Simetri ๐3 ........................................................................ 76
3.3.2 Grup Simetri ๐4 ......................................................................... 78
3.3.3 Grup Simetri ๐5 ......................................................................... 79
3.3.4 Grup Simetri ๐6 ......................................................................... 80
3.3.5 Grup Simetri ๐7 ......................................................................... 80
xii
3.3.6 Grup Simetri ๐8 ......................................................................... 81
3.3.7 Grup Simetri ๐9 ......................................................................... 81
3.3.8 Grup Simetri ๐10 ....................................................................... 82
3.4 Keteraturan Spektrum Graf .................................................................. 86
BAB IV PENUTUP
4.1 Kesimpulan .......................................................................................... 88
4.2 Saran .................................................................................................... 88
DAFTAR RUJUKAN ......................................................................................... 90
RIWAYAT HIDUP
xiii
DAFTAR TABEL
Tabel 2.1 Tabel Cayley Grup ๐ ......................................................................... 28
Tabel 3.1 Tabel Cayley Grup Simetri ๐3 ........................................................... 45
Tabel 3.2 Polinomial Karakteristik Matriks Keterhubungan dari
Graf Subgrup dari Grup Simetri ๐๐ .................................................... 61
Tabel 3.3 Spektrum Keterhubungan dari Graf Subgrup
dari Grup Simetri ๐๐ ........................................................................... 62
Tabel 3.4 Polinomial Karakteristik Matriks Laplace dari Graf Subgrup
dari Grup Simetri ๐๐........................................................................... 72
Tabel 3.5 Spektrum Laplace dari Graf Subgrup dari Grup Simetri ๐๐ ............. 73
Tabel 3.6 Polinomial Karakteristik Matriks Signless Laplace dari
Graf Subgrup dari Grup Simetri ๐๐ .................................................... 83
Tabel 3.7 Spektrum Signless Laplace dari Graf Subgrup
dari Grup Simetri ๐๐........................................................................... 83
xiv
DAFTAR GAMBAR
Gambar 2.1 Graf ๐บ1 .......................................................................................... 24
Gambar 2.2 Graf ๐บ2 .......................................................................................... 25
Gambar 2.3 Graf ๐บ3 .......................................................................................... 27
Gambar 2.4 Graf ๐บ4 .......................................................................................... 27
Gambar 2.5 Graf ๐ค๐ด(๐) ...................................................................................... 28
Gambar 2.6 Graf ๐บ5 .......................................................................................... 32
Gambar 2.7 Graf ๐บ6 .......................................................................................... 33
Gambar 2.8 Graf ๐บ7 .......................................................................................... 34
Gambar 2.9 Graf ๐บ8 .......................................................................................... 35
Gambar 2.10 Graf ๐บ ............................................................................................ 38
Gambar 3.1 Graf ๐ค๐ป(๐3) .................................................................................... 45
Gambar 3.2 Graf ๐ค๐ป(๐4) .................................................................................... 49
xv
ABSTRAK
Nafisah, Durrotun. 2019. Spektrum Graf Subgrup dari Grup Simetri. Skripsi.
Jurusan Matematika Fakultas Sains dan Teknologi, Universitas Islam Negeri
Maulana Malik Ibrahim Malang. Pembimbing: (I) Dr. H. Turmudi, M.Si,
Ph.D. (II) Dr. Abdussakir, M.Pd.
Kata kunci: spektrum, graf subgrup, grup simetri
Misalkan ๐บ grup dan ๐ป subgrup dari ๐บ. Graf subgrup ๐ค๐ป(๐บ) adalah graf
dengan himpunan titik semua unsur di ๐บ dan dua titik berbeda ๐ dan ๐ terhubung
langsung di ๐บ jika dan hanya jika ๐๐ โ ๐ป dan ๐๐ โ ๐ป. Pada penelitian ini ditentukan
spektrum keterhubungan, Laplace, dan signless Laplace graf subgrup dari grup
simetri ๐๐, dengan subgrup ๐ป = {(1)}. Hasil penelitian ini berupa spektrum
keterhubungan, Laplace, dan signless Laplace dari ๐ค๐ป(๐๐) yang berkaitan langsung
dengan banyaknya titik terasing pada ๐ค๐ป(๐๐) serta banyaknya sisi pada ๐ค๐ป(๐๐).
Spektrum keterhubungan dari ๐ค๐ป(๐๐) adalah ๐ ๐๐๐๐ด(๐ค๐ป(๐๐)) = [1 0 โ1๐ฟ๐
2๐๐
๐ฟ๐
2
].
Spektrum Laplace dari ๐ค๐ป(๐๐) adalah ๐ ๐๐๐๐ฟ(๐ค๐ป(๐๐)) = [2 0๐ฟ๐
2๐๐ +
๐ฟ๐
2
]. Spektrum
signless Laplace dari ๐ค๐ป(๐๐) adalah ๐ ๐๐๐๐ฟ+(๐ค๐ป(๐๐)) = [2 0๐ฟ๐
2๐๐ +
๐ฟ๐
2
], dengan ๐๐
adalah banyaknya titik terasing pada ๐ค๐ป(๐๐) dan ๐ฟ๐
2 adalah banyaknya sisi pada
๐ค๐ป(๐๐), dengan ๐ฟ๐ adalah banyaknya titik ujung.
xvi
ABSTRACT
Nafisah, Durrotun. 2019. Spectra of Subgroup Graph of Symmetry Group.
Thesis. Departement of Mathematics, Faculty of Science and Technology,
State Islamic University of Maulana Malik Ibrahim Malang. Advisors: (I) Dr.
H. Turmudi, M.Si, Ph.D. (II) Dr. Abdussakir, M.Pd.
Keyword: spectrum, subgroup graph, symmetry group
Let ๐บ be a group and ๐ป is subgroup of ๐บ. Subgroup graph ๐ค๐ป(๐บ) is a graph
whose it is vertex set is all elements in ๐บ and two distinct vertices ๐ and ๐ are adjacent
in ๐บ if and only if ๐๐ โ ๐ป and ๐๐ โ ๐ป. This study determined the spectrum of
adjacency, Laplacian, and signless Laplacian of subgroup graph of symmetry group
๐๐, with subgroup ๐ป = {(1)}. The results of this study related to the number of
isolated vertices of ๐ค๐ป(๐๐) and the number of edges of ๐ค๐ป(๐๐). The adjacency
spectrum of ๐ค๐ป(๐๐) is ๐ ๐๐๐๐ด(๐ค๐ป(๐๐)) = [1 0 โ1๐ฟ๐
2๐๐
๐ฟ๐
2
]. The Laplacian spectrum of
๐ค๐ป(๐๐) is ๐ ๐๐๐๐ฟ(๐ค๐ป(๐๐)) = [2 0๐ฟ๐
2๐๐ +
๐ฟ๐
2
]. The signless Laplacian spectrum of
๐ค๐ป(๐๐) is ๐ ๐๐๐๐ฟ+(๐ค๐ป(๐๐)) = [2 0๐ฟ๐
2๐๐ +
๐ฟ๐
2
], where ๐๐ is the number of isolated
vertices of ๐ค๐ป(๐๐) and ๐ฟ๐
2 is the number of edges of ๐ค๐ป(๐๐), and ๐ฟ๐ is the number of
end vertices.
xvii
ู ูุฎุต
ุจุญุซ ุงูุฌุงู ุนู. ุดุนุจุฉ ุงู. ุชูุงุธุฑ ู ู ุฒู ุฑุฉ ูุฉุฒู ุฑุฉ ุฌุฒุฆ ูู ุฎุทุทSpectrum . ูฉูกู ูข. ุฏุฑุฉุ ุงููููุณุฉ ุงูุฅุณูุงู ูุฉ ุงูุญููู ูุฉ ู ููุงูุง ู ุงูู ุฅุจุฑุงููู ู ุงูุงูุฌ ุงูุฑูุงุถูุงุชุ ูููุฉ ุงูุนููู ูุงูุชูููููุฌูุงุ ุงูุฌุงู ุนุฉ
( ุงูุฏูุชูุฑ ุนุจุฏ ุงูุดุงูุฑ ุงูู ุงุฌุณุชูุฑ.ูฉ).ุงูู ุงุฌุณุชูุฑ ุฐู ุชุฑู ุงูุฏูุชูุฑ ( ู .ุงูู ุดุฑู: )
:ุฉุงูููู ุงุชุงูุฑุฆูุณู spectrum ุฒู ุฑุฉ ุชูุงุธุฑ ุูู ุฎุทุท ุฒู ุฑุฉ ุฌุฒุฆูุฉ ุ ูู ๐ค๐ป (๐บ) ุฉ ู. ู ุฎุทุท ุฒู ุฑุฉ ุฌุฒุฆ๐บู ูุฌุฒุฆูุฉ ููุฑู ู ุฒู ุฑุฉ ๐ป ู ุฒู ุฑุฉ ูู ๐บ ุนูู ุณุจูู ุงูู ุซุงู
ู ุจุงุดุฑุฉ ุฅุฐุง ุชุตูู ๐ ู ๐ูุทุชูู ูุชู ุชูุตูู ูู ๐บุงูุนูุงุตุฑ ุฑุคูุณ ูุฌู ูุน ุนูู ู ุฌู ูุนุฉ ู ู ู ุฎุทุท ูุญุชูู ๐๐ ูููุท ุฅุฐุง โ ๐ป ู๐๐ โ ๐ป .ุชุญุฏูุฏ ุงูุฏุฑุงุณุฉ ูุฐู ูู spectrum ู ุ ู ุชุฌุงูุฑุฉLaplacian ู ุ
Laplacian signless ุชูุงุธุฑ ู ู ุฒู ุฑุฉ ูู ุฎุทุท ุฒู ุฑุฉ ุฌุฒุฆูุฉู ู ๐๐ ุุฒู ุฑุฉ ุฌุฒุฆูุฉ ุจ ๐ป = ูุชุงุฆุฌ . {(1)} ๐ ๐๐๐๐ด(๐ค๐ป(๐๐))ูู ๐ค๐ป(๐๐)ู ู ู ุชุฌุงูุฑุฉ Spectrumูุฐู ุงูุฏุฑุงุณุฉ ูู = [
1 0 โ1๐ฟ๐
2๐๐
๐ฟ๐
2
]ุ
Spectrum Laplacian ู ู ๐ค๐ป(๐๐)ูู๐ ๐๐๐๐ฟ(๐ค๐ป(๐๐)) = [2 0๐ฟ๐
2๐๐ +
๐ฟ๐
2
]ุSpectrum
signless Laplacian ู ู ๐ค๐ป(๐๐)ูู .๐ ๐๐๐๐ฟ+(๐ค๐ป(๐๐)) = [2 0๐ฟ๐
2๐๐ +
๐ฟ๐
2
ุนุฏุฏ ูู ุฉ ู ุนุฒููุฉ [๐ฟ๐ูู ๐ค๐ป(๐๐)ู ู ุงููุฑุฏูุฉุ ๐๐ูู ๐ค๐ป(๐๐)ู ู
2 ๐ฟ๐. ูู ๐ค๐ป(๐๐)ู ู ูุฉููุทุฉ ุงูููุง ุนุฏุฏ ู ุ
1
BAB I
PENDAHULUAN
1.1 Latar Belakang
Sejak zaman rasulullah Saw ilmu pengetahuan telah berkembang secara
pesat. Hal ini seimbang dengan ajaran Islam yang mengajarkan akan pentingnya
menuntut ilmu, seperti dalam firman Allah dalam surat al-Baqarah ayat 266:
ุงูุซู ุฑุงุช ู ุฃู ูุฏ ุฃุญุฏูู ุฃู ุชููู ูู ุฌูุฉ ู ู ููู ูุฃุนูุงุจ ุชุฑู ู ู ุชุญุชูุง ุงูู ูุงุฑ ูู ูููุง ู ู ู ูุฃุตุง ูุงุช ูุนููู ุจู ุงููุจ ุฑ ููู ุฐุฑ ูุฉ ุถุนูุงุก ูุฃุตุงุจ ูุง ุฅุนุตุงุฑ ููู ูุงุฑ ูุงุญุช ุฑูุช ูุฐูู ู ุจ ูู ููู ุง ุงู
ุช ุช ููุฑูู โApakah salah seorang di antaramu yang ingin mempunyai kebun kurma dan anggur yang
mengalir di bawahnya sungai-sungai; dia mempunyai dalam kebun itu segala macam
buah-buahan, kemudian datanglah masa tua pada orang itu sedang dia mempunyai
keturunan yang masih kecil-kecil. Maka kebun itu ditiup angin keras yang mengandung
api, lalu terbakarlah, dengan demikianlah Allah menerangkan ayat-ayat-Nya kepada kamu
supaya kamu memikirkannyaโ (QS. al-Baqarah: 266).
Ayat di atas memerintahkan agar menuntut ilmu dan berpikir, sebagaimana
Allah telah memberi keistimewaan akal, dan petunjuk dengan jelas. โDemikianlah
Allah menerangkan ayat-ayat-Nya kepada kamu supaya kamu memikirkannya.โ
Dalam tafsir Ibnu Katsir dijelaskan bahwa yang dimaksud dari penggalan ayat
tersebut adalah agar mengambil pelajaran dan memahami perumpamaan-
perumpamaan serta makna-makna yang tersirat di dalamnya dan memahaminya
dengan benar sesuai dengan makna yang dimaksud. Dalam Islam mempelajari ilmu
merupakan suatu kewajiban bagi setiap muslim. Ilmu termasuk di dalamnya
matematika juga penting untuk dipelajari.
Matematika adalah salah satu ilmu pasti yang mengkaji abstraksi ruang,
waktu, dan angka. Matematika juga mendeskripsikan realitas alam semesta dalam
2
bahasa lambang, sehingga suatu permasalahan dalam realitas alam akan lebih
mudah dipahami (Aziz dan Abdussakir, 2006). Matematika semakin berkembang
dengan adanya beberapa cabang, termasuk teori graf yang di dalamnya membahas
mengenai graf dan graf subgrup.
Teori graf banyak diaplikasikan dalam kehidupan sebagai alat bantu untuk
menyelesaikan suatu permasalahan. Beberapa situasi yang dapat disajikan sebagai
graf di antaranya berkaitan tentang molekul kimia, rencana arsitektur, jaringan
listrik, dan masih banyak permasalahan lainnya. Setiap situasi di atas memiliki
sistem yang terdiri dari โobjek-objekโ yang saling terhubung dengan cara tertentu.
Misalnya berkaitan dengan masalah rencana arsitektur, objeknya yaitu ruangan
yang saling terhubung. Pada situasi seperti di atas dapat dibuat diagram dengan
objek disajikan sebagai noktah dan saling keterhubungannya disajikan sebagai
garis. Diagram semacam itu disebut graf. Noktah yang menyajikan objeknya
disebut titik, dan garis-garis yang menunjukkan keterhubungannya disebut sisi
(Robin dan John, 1992).
Graf ๐บ adalah pasangan (๐(๐บ), ๐ธ(๐บ)) dengan ๐(๐บ) adalah himpunan tidak
kosong dan berhingga dari objek-objek yang disebut titik, dan ๐ธ(๐บ) adalah
himpunan (mungkin kosong) pasangan tak berurutan dari titik-titik berbeda di ๐(๐บ)
yang disebut sebagai sisi. Banyaknya unsur di ๐(๐บ) disebut order dari ๐บ dan
dilambangkan dengan ๐(๐บ), dan banyaknya unsur di ๐ธ(๐บ) disebut ukuran dari ๐บ
dan dilambangkan dengan ๐(๐บ). Jika graf yang dibicarakan hanya graf ๐บ, maka
order dan ukuran dari ๐บ masing-masing cukup ditulis ๐ dan ๐ (Abdussakir, dkk,
2009:4)
3
Sisi ๐ = (๐ข, ๐ฃ) (dapat ditulis ๐ = ๐ข๐ฃ) dikatakan menghubungkan titik ๐ข dan
๐ฃ. Jika ๐ = (๐ข, ๐ฃ) adalah sisi di graf ๐บ, maka ๐ข dan ๐ฃ disebut terhubung langsung
(adjacent), ๐ฃ dan ๐ serta ๐ข dan ๐ disebut terkait langsung (incident), dan titik ๐ข dan
๐ฃ disebut ujung dari ๐. Dua sisi berbeda ๐1 dan ๐2 disebut terhubung langsung
(adjacent), jika terkait langsung pada satu titik yang sama (Abdussakir, dkk,
2009:6).
Misalkan ๐บ graf dengan order ๐ (๐ โฅ 1) dan ukuran ๐ serta himpunan titik
๐(๐บ) = {๐ฃ1, ๐ฃ2, โฆ , ๐ฃ๐}. Matriks keterhubungan titik (atau matriks keterhubungan)
dari graf ๐บ, dinotasikan dengan ๐จ(๐บ), adalah matriks (๐ ร ๐) dengan unsur pada
baris ke-๐ dan kolom ke-๐ bernilai 1 jika titik ๐ฃ๐ terhubung langsung dengan titik ๐ฃ๐
serta bernilai 0 jika titik ๐ฃ๐ tidak terhubung langsung dengan titik ๐ฃ๐ . Dengan kata
lain matriks keterhubungan dapat ditulis ๐จ(๐บ) = [๐๐๐], 1 โค ๐, ๐ โค ๐, dengan
๐๐๐ = {1 ,0 ,
jikajika
๐ฃ๐๐ฃ๐ โ ๐ธ(๐บ)
๐ฃ๐๐ฃ๐ โ ๐ธ(๐บ) (Abdussakir, dkk, 2009:74).
Jika matriks tersebut dikaitkan dengan konsep nilai eigen dan vektor eigen
pada topik aljabar linear maka akan menghasilkan konsep spektrum graf. Spektrum
dari graf ๐บ didefinisikan dengan spektrum dari matriks keterhubungan yang
merupakan himpunan dari nilai eigen bersamaan dengan multiplisitas dari nilai
eigen tersebut. Misalkan ๐1, ๐2, โฆ , ๐๐ adalah nilai eigen berbeda dari ๐จ(๐บ), dan
๐1 > ๐2 > โฏ > ๐๐, serta ๐(๐1),๐(๐2),โฆ ,๐(๐๐) adalah multiplisitas atau
banyaknya basis untuk ruang vektor eigen masing-masing ๐๐ , ๐ = 1,โฆ , ๐, maka
matriks berordo (2 ร ๐) yang memuat ๐1, ๐2, โฆ , ๐๐ pada baris pertama dan
๐(๐1),๐(๐2),โฆ ,๐(๐๐) pada baris kedua disebut spektrum ๐บ dan dinotasikan
dengan ๐ ๐๐๐๐ด(๐บ) (Bigg, 1994).
4
Matriks ๐ฟ(๐บ) = ๐ท(๐บ) โ ๐ด(๐บ) dan ๐ฟ+(๐บ) = ๐ท(๐บ) + ๐ด(๐บ) masing-masing
disebut matriks Laplace dan signless Laplace dari graf ๐บ, dengan ๐ท(๐บ) adalah
matriks derajat di ๐บ (Biyikoglu, dkk, 2007). Spektrum yang diperoleh dari matriks
Laplace dari graf ๐บ disebut spektrum Laplace dan dinotasikan dengan ๐ ๐๐๐๐ฟ(๐บ).
Spektrum yang diperoleh dari matriks signless Laplace dari graf ๐บ disebut spektrum
signless Laplace dan dinotasikan dengan ๐ ๐๐๐๐ฟ+(๐บ) (Akhadiyah, 2018).
Beberapa penelitian yang membahas tentang spektrum pernah dilakukan di
antaranya, Ayyaswamy dan Balachandran (2010) meneliti spektrum detour pada
beberapa graf meliputi graf ๐พ(๐, ๐), graf korona ๐บ dan ๐พ1, graf perkalian kartesius
๐บ dengan ๐พ2, graf perkalian leksikografik ๐บ dengan ๐พ2, dan perluasan double cover
dari graf berarturan. Nurul Faizah (2012) meneliti spektrum keterhubungan,
spektrum detour, dan spektrum Laplace pada graf T๏ฟฝ๏ฟฝran. Moh. Zainal Arifandi
(2014) meneliti spektrum keterhubungan graf multipartisi komplit ๐พ(๐)(๐ + 1)๐ผ.
Jog dan Kotambari (2016) meneliti spektrum keterhubungan, Laplace, dan signless
Laplace dari gabungan graf komplit.
Terdapat juga keterkaitan antara graf dan grup, di antaranya membahas
mengenai graf commuting, graf konjugasi, graf koset, dan graf subgrup. Penelitian
yang terkait graf yang diperoleh dari grup antara lain oleh Anderson (2012) yang
meneliti tentang graf subgrup dari grup. Amalia Intifaada (2014) meneliti spektrum
Laplace graf commuting dari grup dihedral. Irnawati (2016) meneliti graf konjugasi
dari subgrup di grup simetri. Vivi Alifia Kanisa (2017) meneliti tentang graf koset
dari subgrup normal di grup simetri. Jutirekha Dutta dan Rajat Kanti Nath (2018)
meneliti graf commuting dari grup berhingga.
5
Misalkan ๐บ grup dan ๐ป subgrup ๐บ. Misalkan ๐ค๐ป(๐บ) adalah graf berarah
dengan himpunan titik memuat semua unsur di ๐บ dan titik ๐ฅ terhubung langsung ke
๐ฆ (atau ada busur dari ๐ฅ ke ๐ฆ) jika dan hanya jika ๐ฅ โ ๐ฆ dan ๐ฅ๐ฆ โ ๐ป. Jika ๐ฅ๐ฆ โ ๐ป
dan ๐ฆ๐ฅ โ ๐ป untuk suatu ๐ฅ, ๐ฆ โ ๐บ dengan ๐ฅ โ ๐ฆ maka ๐ฅ dan ๐ฆ dihubungkan
langsung oleh suatu sisi tak berarah. Graf ๐ค๐ป(๐บ) ini disebut graf subgrup dari ๐บ
(Anderson, dkk, 2012).
Penelitian terkait spektrum graf subgrup pernah dilakukan oleh
Kazufumi Kimoto (2017) yang meneliti tentang spektrum graf subgrup dari pair
graph. Alinul Layali (2018) yang meneliti spektrum graf subgrup dan
komplemennya dari grup dihedral. Dinda Akromatul Akhadiyah (2018) meneliti
spektrum keterhubungan, Laplace, signless Laplace, dan detour graf subgrup dan
komplemen graf subgrup dari grup dihedral dengan mengambil subgrup yang
dibangun oleh โจ๐2โฉ.
Grup simetri merupakan salah satu pokok bahasan penting dalam aljabar
abstrak. Grup simetri ๐๐ memiliki unsur sebanyak ๐! dan bukan merupakan grup
komutatif. Berdasarkan uraian di atas, peneliti tertarik untuk meneliti spektrum graf
subgrup dengan mengambil grup simetri ๐๐ yang belum pernah dibahas pada
penelitian-penelitian sebelumnya. Dengan demikian penulis merumuskan judul
โSpektrum Graf Subgrup dari Grup Simetriโ.
1.2 Rumusan Masalah
Berdasarkan latar belakang, rumusan masalah dalam penelitian ini adalah:
1. Bagaimana spektrum keterhubungan graf subgrup dari grup simetri?
2. Bagaimana spektrum Laplace graf subgrup dari grup simetri?
6
3. Bagaimana spektrum signless Laplace graf subgrup dari grup simetri?
1.3 Tujuan Penelitian
Sesuai rumusan masalah, maka tujuan penelitian ini adalah:
1. Mengetahui spektrum keterhubungan graf subgrup dari grup simetri.
2. Mengetahui spektrum Laplace graf subgrup dari grup simetri.
3. Mengetahui spektrum signless Laplace graf subgrup dari grup simetri.
1.4 Manfaat Penelitian
Penelitian ini diharapkan dapat memberikan manfaat sebagai berikut:
1. Memberikan informasi mengenai spektrum keterhubungan graf subgrup dari
grup simetri.
2. Memberikan informasi mengenai spektrum Laplace graf subgrup dari grup
simetri.
3. Memberikan informasi mengenai spektrum signless Laplace graf subgrup dari
grup simetri.
1.5 Batasan Masalah
Dalam penelitian ini, spektrum graf subgrup dari grup simetri yang dibahas
dibatasi hanya pada subgrup {(1)}. Dalam pengambilan data hanya diambil data
dari ๐3, ๐4, ๐5, ๐6, ๐7, ๐8, ๐9, dan ๐10. Pembahasan spektrum hanya pada spektrum
keterhubungan, spektrum Laplace, dan spektrum signless Laplace.
7
1.6 Metode Penelitian
Penelitian ini termasuk ke dalam jenis penelitian kepustakaan (library
research). Penelitian dilakukan dengan melakukan kajian terhadap buku-buku teori
graf, aljabar linear, dan aljabar abstrak. Kajian pada buku teori graf dan jurnal
terkait penelitian dikhususkan pada kajian mengenai spektrum graf. Kajian pada
buku-buku aljabar linear berkaitan dengan topik matriks serta nilai eigen. Kajian
pada buku aljabar abstrak berkaitan dengan topik grup dan subgrup.
Pola pembahasannya dimulai dari hal-hal khusus menuju pada suatu
generalisasi yang bersifat deduktif. Langkah-langkah penelitian adalah sebagai
berikut:
1. Menentukan spektrum keterhubungan graf subgrup dari grup simetri.
a. Menentukan unsur dari himpunan sisi pada graf subgrup dari grup simetri
๐๐.
b. Menggambar graf subgrup dari grup simetri ๐๐
c. Menyatakan keterhubungan titik ke dalam bentuk matriks keterhubungan.
d. Menentukan polinomial karakteristik.
e. Menentukan spektrum keterhubungan.
f. Membuat konjektur tentang spektrum keterhubungan berdasarkan pola yang
ditemukan.
g. Merumuskan konjektur tentang spektrum keterhubungan sebagai suatu
teorema.
h. Menghasilkan suatu teorema tentang spektrum keterhubungan yang
dilengkapi dengan bukti secara deduktif.
8
2. Menentukan spektrum Laplace graf subgrup dari grup simetri.
a. Menentukan matriks derajat.
b. Menentukan matriks Laplace.
c. Menentukan polinomial karakteristik.
d. Menentukan spektrum Laplace.
e. Membuat konjektur tentang spektrum Laplace berdasarkan pola yang
ditemukan.
f. Merumuskan konjektur tentang spektrum Laplace sebagai suatu teorema.
g. Menghasilkan suatu teorema tentang spektrum Laplace yang dilengkapi
dengan bukti secara deduktif.
3. Menentukan spektrum signless Laplace graf subgrup dari grup simetri.
a. Menentukan matriks signless Laplace.
b. Menentukan polinomial karakteristik.
c. Menentukan spektrum matriks signless Laplace.
d. Membuat konjektur tentang spektrum signless Laplace berdasarkan pola
yang ditemukan.
e. Merumuskan konjektur tentang spektrum signless Laplace sebagai suatu
teorema.
f. Menghasilkan suatu teorema tentang spektrum signless Laplace yang
dilengkapi dengan bukti secara deduktif.
9
1.7 Sistematika Penulisan
Agar penulisan skripsi lebih terarah dan mudah dipahami, digunakan
sistematika penulisan yang terdiri dari empat bab, dan masing-masing bab dibagi
ke dalam beberapa subbab dengan sistematika sebagai berikut.
Bab I Pendahuluan
Pendahuluan meliputi latar belakang, rumusan masalah, tujuan
penelitian, manfaat penelitian, batasan masalah, metode penelitian, dan
sistematika penulisan.
Bab II Kajian Pustaka
Kajian pustaka terdiri dari teori-teori yang dapat digunakan untuk
menjawab rumusan masalah sehingga dapat mendukung pembahasan.
Pada penelitian ini, teori yang digunakan meliputi grup, subgrup, teori
graf, matriks, spektrum graf, dan keteraturan ciptaan Allah.
Bab III Pembahasan
Pembahasan berisi tentang bagaimana spektrum keterhubungan,
spektrum Laplace, spektrum signless Laplace graf subgrup dari grup
simetri dan pembuktian teorema, serta keteraturan spektrum graf.
Bab IV Penutup
Penutup berisi kesimpulan dari pembahasan dan saran untuk penelitian
selanjutnya.
10
BAB II
KAJIAN PUSTAKA
2.1 Grup
2.1.1 Operasi biner
Operasi biner โ pada suatu himpunan ๐บ adalah suatu fungsi โ: ๐บ ร ๐บ โ ๐บ.
Untuk setiap ๐, ๐ โ ๐บ dapat ditulis ๐ โ ๐ untuk โ (๐, ๐). Suatu operasi biner โ pada
himpunan tak kosong ๐บ dikatakan bersifat asosiatif jika untuk setiap ๐, ๐, ๐ โ ๐บ
maka berlaku ๐ โ (๐ โ ๐) = (๐ โ ๐) โ ๐. Jika โ merupakan operasi biner pada
himpunan tak kosong ๐บ maka unsur-unsur ๐ dan ๐ dari ๐บ dikatakan komutatif jika
berlaku ๐ โ ๐ = ๐ โ ๐. Operasi โ di ๐บ dikatakan komutatif jika untup setiap ๐, ๐ โ
๐บ maka ๐ โ ๐ = ๐ โ ๐ (Dummit dan Foote, 1991).
Contoh:
1. Operasi penjumlahan merupakan operasi biner pada โค. Operasi
penjumlahan memenuhi syarat sebagai fungsi dari โค ร โค โ โค, yakni untuk
setiap (๐, ๐) โ โค ร โค maka ๐ + ๐ โ โค, atau hasil penjumlahan dua bilangan
bulat adalah bilangan bulat.
2. Operasi penjumlahan merupakan operasi biner yang bersifat asosiatif pada
โ. Operasi penjumlahan memenuhi syarat sebagai fungsi dari โ ร โ โ โ,
yakni untuk setiap (๐, ๐) โ โ ร โ maka ๐ + ๐ โ โ dan untuk setiap
๐, ๐, ๐ โ โ memenuhi ๐ + (๐ + ๐) = (๐ + ๐) + ๐.
3. Operasi perkalian merupakan operasi biner yang bersifat komutatif pada โค.
Operasi perkalian memenuhi syarat sebagai fungsi dari โค ร โค โ โค, yakni
untuk setiap (๐, ๐) โ โค ร โค maka ๐ โ ๐ โ โค dan ๐ โ ๐ = ๐ โ ๐.
11
2.1.2 Definisi Grup
Suatu grup merupakan pasangan berurutan (๐บ, โ) dengan ๐บ merupakan
himpunan tak kosong dan โ merupakan operasi biner di ๐บ yang memenuhi syarat
berikut:
1. Operasi โ bersifat asosiatif di ๐บ, yakni
(๐ โ ๐) โ ๐ = ๐ โ (๐ โ ๐), โ ๐, ๐, ๐ โ ๐บ
2. Terdapat unsur ๐ โ ๐บ yang disebut sebagai unsur identitas dari ๐บ, sehingga
๐ โ ๐ = ๐ โ ๐ = ๐, โ ๐ โ ๐บ
3. Untuk masing-masing ๐ โ ๐บ, terdapat suatu unsur ๐โ1 โ ๐บ yang disebut
sebagai unsur invers dari ๐, sehingga
๐ โ ๐โ1 = ๐โ1 โ ๐ = ๐ (Dummit dan Foote, 1991).
Contoh:
1. Misal โค dan +:โค ร โค โ โค yang didefinisikan +(๐, ๐) = ๐ + ๐ untuk setiap
(๐, ๐) โ โค ร โค. Pasangan berurutan (โค, +) merupakan grup. โค โ โ dan +
merupakan operasi biner pada โค. Operasi + bersifat asosiatif di โค dan
terdapat 0 โ โค sehingga 0 + ๐ = ๐ = ๐ + 0, untuk setiap ๐ โ โค.
Selanjutnya untuk masing-masing ๐ โ โค terdapat (โ๐) โ โค sehingga ๐ +
(โ๐) = 0 = (โ๐) + ๐.
2. Misal ๐ต bilangan bulat non negatif atau ๐ต = {0, 1, 2, 3, โฆ } dan +:๐ต ร ๐ต โ
๐ต yang didefinisikan +(๐, ๐) = ๐ + ๐ untuk setiap (๐, ๐) โ ๐ต ร ๐ต.
Terdapat 0 โ ๐ต sehingga 0 + ๐ = ๐ = ๐ + 0 untuk setiap ๐ โ ๐ต. Terdapat
1 โ ๐ต yang tidak memiliki unsur invers. Karena (๐ต, +) tidak memenuhi
definisi grup maka (๐ต, +) bukan grup.
12
2.1.3 Sifat-sifat Grup
Teorema 2.1
Misalkan (๐บ, โ) grup.
1. Unsur identitas di ๐บ tunggal
2. Untuk setiap unsur ๐ โ ๐บ terdapat ๐โ1 (unsur invers) yang tunggal
3. (๐โ1)โ1 = ๐, untuk setiap ๐ โ ๐บ
4. Jika ๐, ๐ โ ๐บ dan ๐ = ๐ maka ๐โ1 = ๐โ1
5. Jika ๐, ๐ โ ๐บ maka (๐ โ ๐)โ1 = ๐โ1 โ ๐โ1
6. (๐๐)โ1 = (๐โ1)๐, untuk setiap ๐ โ ๐บ dan ๐ โ โค+ (Dummit dan Foote,
1991:19).
Bukti
Misalkan (๐บ, โ) adalah grup maka
1. Jika ๐1 dan ๐2 keduanya unsur identitas di ๐บ, maka berdasarkan definisi
grup berlaku ๐1 โ ๐2 = ๐2, dan ๐1 โ ๐2 = ๐1, sehingga diperoleh ๐2 = ๐1
atau dapat dikatakan identitas dari ๐บ adalah tunggal.
2. Jika ๐1โ1 dan ๐2
โ1 keduanya invers dari ๐ โ ๐บ, dan ๐ unsur identitas di ๐บ,
maka berdasarkan definisi grup berlaku
๐1โ1 โ ๐ = ๐ = ๐ โ ๐1
โ1, dan ๐2โ1 โ ๐ = ๐ = ๐ โ ๐2
โ1, sehingga
๐1โ1 = ๐1
โ1 โ ๐
= ๐1โ1 โ (๐ โ ๐2
โ1)
= (๐1โ1 โ ๐) โ ๐2
โ1
= ๐ โ ๐2โ1
= ๐2โ1.
13
Jadi diperoleh ๐1โ1 = ๐2
โ1 atau dapat dikatakan invers dari ๐ โ ๐บ adalah
tunggal.
3. Ambil ๐ โ ๐บ maka ada ๐โ1 โ ๐บ sehingga ๐ โ ๐โ1 = ๐โ1 โ ๐ = ๐
dengan ๐ adalah unsur identitas di ๐บ. Jika ๐โ1 โ ๐บ maka ada (๐โ1)โ1 โ
๐บ .
(๐โ1)โ1 = (๐โ1)โ1 โ ๐
= (๐โ1)โ1 โ (๐โ1 โ ๐)
= ((๐โ1)โ1 โ ๐โ1) โ ๐
= ๐ โ ๐
= ๐
Jadi berlaku (๐โ1)โ1 = ๐, untuk setiap ๐ โ ๐บ.
4. Karena ๐, ๐ โ ๐บ maka ada ๐โ1, ๐โ1 โ ๐บ. Sehingga jika ๐ = ๐ maka
๐โ1 = ๐โ1 โ ๐
= ๐โ1 โ (๐ โ ๐โ1)
= (๐โ1 โ ๐) โ ๐โ1
= (๐โ1 โ ๐) โ ๐โ1
= ๐ โ ๐โ1
= ๐โ1
Jadi jika ๐, ๐ โ ๐บ dan ๐ = ๐ maka ๐โ1 = ๐โ1.
5. Jika ๐, ๐ โ ๐บ maka ๐ โ ๐ โ ๐บ sehingga ada (๐ โ ๐)โ1 โ ๐บ.
(๐ โ ๐) โ (๐โ1 โ ๐โ1) = ๐ โ (๐ โ ๐โ1) โ ๐โ1
= (๐ โ ๐) โ ๐โ1
= ๐ โ ๐โ1
= ๐
14
(๐โ1 โ ๐โ1) โ (๐ โ ๐) = ๐โ1 โ (๐โ1 โ ๐) โ ๐
= (๐โ1 โ ๐) โ ๐
= ๐โ1 โ ๐
= ๐
Sesuai sifat ketunggalan invers, maka (๐ โ ๐)โ1 = ๐โ1 โ ๐โ1.
6. ๐๐ โ (๐โ1)๐ = (๐ โ โฆ โ ๐)โ ๐ ๐๐๐๐
โ (๐โ1 โ โฆ โ ๐โ1)โ ๐ ๐๐๐๐
= ๐ โ โฆโ ๐โ (๐โ1)๐๐๐๐
โ (๐ โ ๐โ1) โ ๐โ1 โ โฆ โ ๐โ1โ (๐โ1) ๐๐๐๐
= ๐ โ โฆโ ๐โ (๐โ1)๐๐๐๐
โ ๐ โ ๐โ1 โ โฆ โ ๐โ1โ (๐โ1) ๐๐๐๐
= ๐ โ โฆโ ๐โ (๐โ1)๐๐๐๐
โ ๐โ1 โ โฆ โ ๐โ1โ (๐โ1) ๐๐๐๐
โฎ
= ๐
(๐โ1)๐ โ ๐๐ = (๐โ1 โ โฆ โ ๐โ1)โ ๐ ๐๐๐๐
โ (๐ โ โฆ โ ๐)โ ๐ ๐๐๐๐
= ๐โ1 โ โฆ โ ๐โ1โ (๐โ1) ๐๐๐๐
โ (๐ โ ๐โ1) โ ๐ โ โฆ โ ๐โ (๐โ1)๐๐๐๐
= ๐โ1 โ โฆ โ ๐โ1โ (๐โ1) ๐๐๐๐
โ ๐ โ ๐ โ โฆโ ๐โ (๐โ1)๐๐๐๐
= ๐โ1 โ โฆ โ ๐โ1โ (๐โ1) ๐๐๐๐
โ ๐ โ โฆ โ ๐โ (๐โ1)๐๐๐๐
โฎ
= ๐
Sesuai sifat ketunggalan invers, maka (๐๐)โ1 = (๐โ1)๐. โ
15
2.1.4 Order dari Suatu Unsur
Order dari suatu unsur ๐ di grup ๐บ adalah bilangan bulat positif terkecil ๐
sedemikian hingga memenuhi ๐๐ = ๐, dengan ๐ adalah unsur identitas di ๐บ. Jika
tidak terdapat bilangan bulat yang memenuhi, dapat dikatakan ๐ memiliki order tak
hingga. Order dari suatu unsur ๐ dinotasikan dengan |๐| (Gallian, 2013:60).
Contoh:
1. Misalkan (โค, +) grup, setiap unsur taknol pada โค memiliki order tak
hingga.
2. Misalkan (โค4, +) grup bilangan bulat modulo 4 yakni โค4 = {0, 1, 2, 3}.
Order dari 0 adalah 1, karena 1 adalah bilangan bulat positif terkecil yang
memenuhi 01 = 0. Order dari 1 adalah 4, karena 4 adalah bilangan bulat
positif terkecil yang memenuhi 14 = 1 + 1 + 1 + 1 = 4 = 0. Order dari 2
adalah 2, karena 2 adalah bilangan bulat positif terkecil yang memenuhi
22 = 2 + 2 = 4 = 0. Order dari 3 adalah 4, karena 4 adalah bilangan bulat
positif terkecil yang memenuhi 34 = 3 + 3 + 3 + 3 = 12 = 0.
Suatu unsur dari grup memiliki order satu jika dan hanya jika unsur itu
identitas (Dummit dan Foote, 1991:20). Misalkan ๐บ grup, ๐ โ ๐บ dan ๐ bukan unsur
identitas. Jika ๐ = ๐โ1, akibatnya ๐2 = ๐ โ ๐ = ๐โ1 โ ๐ = ๐, dengan ๐ adalah
unsur identitas di ๐บ. Karena 2 โ โค+ dan 1 < 2 tidak memenuhi ๐1 = ๐, maka
diperoleh 2 = |๐|. Jika |๐| = 2 artinya ๐2 = ๐, akibatnya ๐ โ ๐ = ๐2 = ๐ = ๐ โ
๐โ1, maka ๐ = ๐โ1. Sehingga dapat diperoleh sifat unsur berorder dua pada grup
memiliki unsur invers dirinya sendiri atau dapat ditulis, ๐ โ ๐บ dengan |๐| = 2 jika
dan hanya jika ๐ = ๐โ1.
16
Misalkan ๐บ grup, ๐ โ ๐บ. Berdasarkan sifat |๐| = 2 jika dan hanya jika ๐ =
๐โ1 serta sifat ketunggalan dari unsur identitas, maka diperoleh pernyataan bahwa
๐ โ ๐บ dengan |๐| โค 2 jika dan hanya jika ๐ = ๐โ1. Akibatnya diperoleh
pernyataan yang ekuivalen sebagai berikut, |๐| > 2 dan ๐ unsur di ๐บ jika dan hanya
jika ๐ โ ๐โ1, atau unsur berorder lebih dari dua pada grup memiliki unsur invers
yang tidak sama dengan dirinya sendiri.
Teorema 2.2
Misalkan ๐บ grup dan ๐ โ ๐บ maka |๐| = |๐โ1|.
Bukti
Andaikan |๐| = ๐ dan |๐โ1 | = ๐ dengan ๐ โ ๐. |๐| = ๐ berarti ๐๐ = ๐
dengan ๐ adalah unsur identitas di ๐บ. Jika ๐๐ = ๐ diperoleh (๐๐)โ1 =
๐โ1, akibatnya (๐โ1)๐ = ๐. Jadi |๐โ1| โค ๐ atau ๐ โค ๐.
Sementara |๐โ1| = ๐ berarti (๐โ1)๐ = ๐. Jika (๐โ1)๐ = ๐ maka (๐๐)โ1 =
๐, akibatnya ((๐๐)โ1)โ1 = ๐โ1 dan diperoleh (๐๐) = ๐. Jadi |๐| โค ๐ atau
๐ โค ๐. Karena ๐ โค ๐ dan ๐ โค ๐ maka ๐ = ๐. Kontradiksi dengan
pengandaian. Jadi |๐| = |๐โ1|. โ
2.2 Grup Simetri
2.2.1 Definisi Grup Simetri
Misal ฮฉ adalah sebarang himpunan tak kosong dan misal ๐ฮฉ adalah
himpunan yang memuat semua fungsi-fungsi bijektif dari ฮฉ ke ฮฉ (atau himpunan
yang memuat semua permutasi pada ฮฉ). Himpunan ๐ฮฉ dengan komposisi fungsi โ
atau (๐ฮฉ, โ) merupakan grup. Komposisi fungsi โ merupakan suatu operasi biner
pada ๐ฮฉ karena jika ๐: ฮฉ โ ฮฉ dan ๐: ฮฉ โ ฮฉ adalah fungsi-fungsi bijektif, maka ๐ โ
17
๐ juga merupakan fungsi bijektif dari ฮฉ ke ฮฉ. Selanjutnya operasi โ adalah
komposisi fungsi yang bersifat asosiatif. Identitas dari ๐ฮฉ merupakan permutasi 1
yang didefinisikan dengan 1(๐) = ๐, untuk setiap ๐ โ ฮฉ. Untuk setiap permutasi
๐: ฮฉ โ ฮฉ terdapat fungsi invers ๐โ1: ฮฉ โ ฮฉ yang memenuhi ๐ โ ๐โ1 = ๐โ1 โ ๐ =
1. Dengan demikian semua syarat grup dipenuhi oleh (๐ฮฉ, โ). Grup (๐ฮฉ, โ) disebut
grup simetri pada himpunan ฮฉ (Dummit dan Foote, 1991:28).
Kasus khusus jika ฮฉ = {1, 2, 3, โฆ , ๐}, grup simetri pada ฮฉ dapat dinotasikan
dengan ๐๐. Suatu sikel adalah deretan bilangan bulat yang merepresentasikan
unsur-unsur dari ๐๐ yang mempermutasikan sikelnya dari bilangan bulat. Panjang
sikel adalah banyaknya bilangan bulat yang terdapat pada sikel tersebut. Suatu sikel
dengan panjang ๐ก disebut sikel-๐ก dan dua sikel dikatakan saling asing jika memuat
bilangan bulat yang tidak sama (Dummit dan Foote, 1991:30).
Contoh: Misalkan ๐3 merupakan himpunan semua fungsi bijektif dari {1,2,3} ke
{1,2,3}. Himpunan ๐3 dengan komposisi fungsi adalah grup dengan
enam unsur, yaitu (1), (123), (132), (23), (13), (12). Pada himpunan ๐3
unsur (1) dapat juga ditulis (1)(2)(3) memiliki panjang sikel 1 untuk
masing-masing sikelnya. Unsur (123) dan (132) memiliki panjang sikel
3. Unsur (13) dan (23) tidak saling asing, sedangkan unsur (1) dan (23)
saling asing. Order dari unsur-unsur di ๐3 yakni, untuk (1) maka |(1)| =
1 karena (1) adalah identitas di ๐3. Untuk (12), (12)2 = (12) โ (12) =
(1), karena 2 โ โค+ dan 1 < 2 tidak memenuhi (12)1 = (1) maka order
(12) adalah 2. Untuk (123), (123)3 = (123) โ (123) โ (123) =
(132) โ (123) = (1), karena 3 adalah bilangan bulat positif terkecil
yang memenuhi (123)3 = (1) maka order (123) adalah 3.
18
2.2.2 Sifat-sifat Unsur pada Grup Simetri
Teorema 2.3
Jika ๐ โ ๐๐ dan ๐ merupakan sikel-2 maka ๐2 adalah identitas.
Bukti
Ambil ๐ = (๐1๐2), maka ๐2 = ๐ โ ๐ = (๐1๐2) โ (๐1๐2) = (๐1)(๐2) = (1).
โ
Teorema 2.4
Jika ๐ โ ๐๐ dan ๐ merupakan rangkaian sikel-2 maka |๐| = 2.
Bukti
๐ โ ๐๐ dengan ๐ merupakan rangkaian sikel-2, ๐ dapat dinyatakan dengan
๐ = (๐1๐2)(๐3๐4)โฆ (๐๐โ1๐๐) dengan ๐ โค ๐.
๐2 = ๐ โ ๐
= (๐1๐2)(๐3๐4)โฆ (๐๐โ1๐๐) โ (๐1๐2)(๐3๐4)โฆ (๐๐โ1๐๐)
= (๐1๐2) โ (๐1๐2)(๐3๐4) โ (๐3๐4)โฆ (๐๐โ1๐๐) โ (๐๐โ1๐๐)
= (๐1๐2)2(๐3๐4)
2โฆ(๐๐โ1๐๐)2
= (1)(1)โฆ (1)
= (1)
Jadi |๐| = 2, untuk ๐ rangkaian sikel-2. โ
Adanya beberapa sifat pada unsur di suatu grup, yang dibedakan antara unsur
berorder lebih dari dua dan unsur yang berorder kurang dari tiga. Maka menarik
untuk diselidiki banyaknya unsur pada grup simetri ๐๐ yang berorder kurang dari
tiga serta yang berorder lebih dari dua.
19
Teorema 2.5
Banyaknya unsur pada ๐๐ yang memiliki order kurang dari tiga adalah
๐๐ = {1 + ฮฃ๐=1
๐โ1
2 ๐!
2๐๐!(๐โ2๐)! , ๐ ganjil
1 + ฮฃ๐=1
๐
2 ๐!
2๐๐! (๐โ2๐)! , ๐ genap
.
Bukti
Misal ๐ โ ๐๐, sehingga |๐| < 3, yaitu ๐ โ ๐๐, dengan |๐| = 1 atau |๐| = 2.
Untuk ๐ โ ๐๐ dengan |๐| = 1, maka ๐ adalah unsur identitas. Berdasarkan
sifat grup bahwa unsur identitas adalah tunggal maka banyaknya unsur pada
๐๐ yang memiliki order sama dengan satu ada sebanyak 1.
Untuk ๐ โ ๐๐ dengan |๐| = 2, haruslah unsur tersebut merupakan rangkaian
sikel-2. Misalkan ๐ โ ๐๐ dengan banyaknya sikel-2 adalah ๐ maka
banyaknya ๐ dapat dicari dengan cara berikut.
โ ๐ถ2๐โ2(๐โ1)๐
๐=1 โ ๐ถ1๐๐โ2๐
๐=1
๐! (๐ โ 2๐)!=๐ถ2๐โ2(0)โฆ๐ถ2
๐โ2(๐โ1)๐ถ11๐ถ1
2โฆ๐ถ1๐โ2๐
๐! (๐ โ 2๐)!
=๐ถ2๐๐ถ2
๐โ2โฆ๐ถ2๐โ2๐+2๐ถ1
๐โ2๐๐ถ1๐โ2๐โ1โฆ๐ถ1
1
๐! (๐ โ 2๐)!
=(
๐!2๐ (1๐โ2๐)
)
๐! (๐ โ 2๐)!
=๐!
2๐ ๐! (๐ โ 2๐)!.
Karena ๐ โ ๐๐ berarti ๐ merupakan permutasi ๐, maka untuk ๐ yang
merupakan rangkaian dari sikel-2, ๐ dapat terdiri dari sikel-2 sebanyak ๐,
dengan ๐ = 1, 2,โฆ๐
2 untuk ๐ genap dan ๐ = 1, 2,โฆ
๐โ1
2 untuk ๐ ganjil.
20
Sehingga banyaknya ๐ โ ๐๐ yang terdiri dari sikel-2 adalah
ฮฃ๐=1
๐
2 ๐!
2๐ ๐! (๐โ2๐)! untuk ๐ genap dan ฮฃ๐=1
๐โ1
2 ๐!
2๐ ๐! (๐โ2๐)! untuk ๐ ganjil.
Jadi diperoleh banyaknya unsur pada ๐๐ yang memiliki order kurang dari tiga,
adalah ๐๐ = {1 + ฮฃ๐=1
๐โ1
2 ๐!
2๐ ๐! (๐โ2๐)! , ๐ ganjil
1 + ฮฃ๐=1
๐
2 ๐!
2๐ ๐! (๐โ2๐)! , ๐ genap
. โ
Setelah diperoleh banyaknya unsur pada ๐๐ yang memiliki order kurang dari
tiga, maka banyaknya unsur pada ๐๐ yang memiliki order lebih dari dua dapat dicari
dengan mengurangkan |๐๐| dengan banyaknya unsur pada ๐๐ yang memiliki order
kurang dari tiga.
Teorema 2.6
Banyaknya unsur pada ๐๐ yang memiliki order lebih dari dua adalah ๐ฟ๐ =
๐! โ ๐๐, dengan ๐๐ adalah banyaknya unsur pada ๐๐ yang memiliki order
kurang dari tiga.
Bukti
Banyaknya unsur pada ๐๐ adalah ๐!, karena ๐๐ memuat semua permutasi dari
himpunan yang kardinalitasnya sama dengan ๐. Sesuai definisi order, maka
diperoleh untuk setiap ๐ โ ๐๐, maka |๐| โฅ 1. Sehingga diperoleh
๐๐ = ๐ด โช ๐ต, dengan ๐ด = {๐ โ ๐๐| |๐| < 3}, ๐ต = {๐ โ ๐๐| |๐| โฅ 3}.
Karena ๐ด โฉ ๐ต = โ , akibatnya ๐๐\๐ด = ๐ด๐ = ๐ต sehingga banyaknya unsur
pada ๐๐ yang memiliki order lebih dari dua yaitu banyaknya unsur ๐๐
dikurangi banyaknya unsur pada ๐๐ yang memiliki order kurang dari tiga,
dapat ditulis banyaknya unsur pada ๐๐ yang memiliki order lebih dari dua
adalah ๐ฟ๐ = ๐! โ ๐๐. โ
21
Teorema 2.7
Banyaknya unsur pada ๐๐ yang memiliki order lebih dari dua yaitu ๐ฟ๐ adalah
genap.
Bukti
Misalkan ๐ต adalah himpunan semua anggota ๐๐ yang berorder lebih dari dua.
Misalkan ๐ โ ๐ต maka ๐ โ ๐โ1, dan |๐| = |๐โ1| > 2. Jadi ๐โ1 โ ๐ต. Karena
setiap unsur hanya memilki satu invers, maka ๐ต memuat pasangan unsur yang
saling invers. Jadi |๐ต| = ๐ฟ๐ adalah genap. โ
Berdasarkan Teorema 2.7, karena ๐ฟ๐ genap dan |๐๐| = ๐! = 2 โ (3 โ 4 โ โฆ โ
๐) adalah genap, maka ๐๐ = ๐! โ ๐ฟ๐ adalah genap.
2.3 Subgrup
2.3.1 Definisi Subgrup
Misal (๐บ, โ) adalah grup yang memenuhi operasi biner โ. Suatu himpunan
bagian ๐ป dari ๐บ disebut subgrup dari ๐บ jika ๐ป membentuk grup terhadap operasi
biner โ yang terdefinisi di ๐บ (Gilbert dan Gilbert, 2009).
๐ป subgrup dari ๐บ dapat dinotasikan oleh ๐ป โค ๐บ. Jika ๐ป subgrup dari ๐บ dan
๐ป โ ๐บ, maka dapat menggunakan notasi ๐ป < ๐บ, dan ๐ป disebut subgrup sejati.
Subgrup {๐} dengan ๐ adalah unsur identitas di ๐บ dikatakan sebagai subgrup trivial
dari ๐บ, sementara subgrup yang tidak sama dengan {๐} dikatakan sebagai subgrup
non trivial dari ๐บ (Gallian, 2013:61).
Contoh: Himpunan bilangan bulat โค dengan operasi penjumlahan merupakan
suatu grup. Misalkan dibentuk himpunan bagian dari โค yaitu 2โค yang
22
didefinisikan 2โค = {2๐|๐ โ โค}. Himpunan 2โค dengan operasi yang
sama dengan operasi pada โค merupakan subgrup dari โค.
2.3.2 Subgrup Normal
Misalkan ๐ป subgrup dari grup ๐บ dengan operasi perkalian, dan ๐ adalah
sebarang unsur di ๐บ. Himpunan ๐ป๐ = {โ๐|โ โ ๐ป} dan ๐๐ป = {๐โ|โ โ ๐ป} berturut-
turut disebut koset kanan dan koset kiri dari ๐ป di ๐บ yang dibangkitkan oleh ๐
(Raisinghania dan Aggarwal, 1980:181).
Subgrup ๐ป dari grup ๐บ disebut subgrup normal dari ๐บ jika ๐๐ป = ๐ป๐ untuk
semua ๐ โ ๐บ dan dinotasikan dengan ๐ป โด ๐บ. Jika ๐บ grup komutatif maka semua
subgrup di ๐บ adalah subgrup normal karena โ = ๐โ = ๐๐โ1โ = ๐โ๐โ1 โ ๐ป untuk
semua โ โ ๐ป dan ๐ โ ๐บ (Gallian, 2012).
Contoh: Diberikan grup simetri ๐3 dan ๐ป = {(1), (123), (132)} adalah subgrup
dari ๐3. Koset kanan dari ๐ป di ๐3 adalah
๐ป(1) = ๐ป(123) = ๐ป(132) = {(1), (123), (132)}
๐ป(12) = ๐ป(13) = ๐ป(32) = {(12), (13), (32)}
sedangkan koset kiri dari ๐ป di ๐3 adalah
(1)๐ป = (123)๐ป = (132)๐ป = {(1), (123), (132)}
(12)๐ป = (13)๐ป = (32)๐ป = {(12), (13), (32)}.
Karena koset kanan sama dengan koset kiri untuk setiap unsur di ๐3, maka
๐ป adalah subgrup normal dari ๐3.
23
2.4 Graf
2.4.1 Definisi Graf
Graf ๐บ adalah pasangan (๐(๐บ), ๐ธ(๐บ)) dengan ๐(๐บ) adalah himpunan tidak
kosong dan berhingga dari objek-objek yang disebut titik, dan ๐ธ(๐บ) adalah
himpunan (mungkin kosong) pasangan tak berurutan dari titik-titik berbeda di ๐(๐บ)
yang disebut sebagai sisi. Banyaknya unsur di ๐(๐บ) disebut order dari ๐บ dan
dilambangkan dengan ๐(๐บ), dan banyaknya unsur di ๐บ disebut ukuran dari ๐บ dan
dilambangkan dengan ๐(๐บ). Jika graf yang dibicarakan hanya graf ๐บ maka order
dan ukuran dari ๐บ masing-masing cukup ditulis ๐ dan ๐ (Abdussakir, dkk, 2009:4).
Sisi ๐ = (๐ข, ๐ฃ) (dapat ditulis ๐ = ๐ข๐ฃ) dikatakan menghubungkan titik ๐ข dan
๐ฃ. Jika ๐ = (๐ข, ๐ฃ) adalah sisi di graf ๐บ, maka ๐ข dan ๐ฃ disebut terhubung langsung
(adjacent), ๐ฃ dan ๐ serta ๐ข dan ๐ disebut terkait langsung (incident), dan titik ๐ข dan
๐ฃ disebut ujung dari ๐. Dua sisi berbeda ๐1 dan ๐2 disebut terhubung langsung
(adjacent), jika terkait langsung pada satu titik yang sama (Abdussakir, dkk,
2009:6).
Contoh: Misalkan ๐บ1 graf yang memuat himpunan titik dan himpunan sisi seperti
berikut ini.
๐(๐บ1) = {๐ฃ1, ๐ฃ2, ๐ฃ3}
๐ธ(๐บ1) = {(๐ฃ1, ๐ฃ2), (๐ฃ1, ๐ฃ3), (๐ฃ2, ๐ฃ3), (๐ฃ2, ๐ฃ4)}. Graf ๐บ1 dapat digambar
seperti berikut
24
Gambar 2.1 Graf ๐บ1
Dari definsi graf, dapat diketahui bahwa order graf ๐บ1 adalah ๐ = 5 dan
ukuran graf ๐บ1 adalah ๐ = 4. Berdasarkan gambar graf ๐บ1, maka titik ๐ฃ1
dan ๐ฃ2 terhubung langsung, demikian juga dengan ๐ฃ1 dan ๐ฃ3, ๐ฃ2 dan ๐ฃ3,
serta ๐ฃ2 dan ๐ฃ4. Titik ๐ฃ1 dan ๐ฃ4 tidak terhubung langsung, demikian juga
dengan titik ๐ฃ3 dan ๐ฃ4. Sisi (๐ฃ1, ๐ฃ2) terkait langsung dengan titik ๐ฃ1 dan
๐ฃ2, tetapi tidak terkait langsung dengan titik ๐ฃ3 dan ๐ฃ4. Sisi (๐ฃ2, ๐ฃ3) terkait
langsung dengan titik ๐ฃ2 dan ๐ฃ3, tetapi tidak terkait langsung dengan titik
๐ฃ1 dan ๐ฃ4. Sisi (๐ฃ1, ๐ฃ2) dan (๐ฃ2, ๐ฃ3) terhubung langsung, sementara sisi
(๐ฃ1, ๐ฃ3) dan (๐ฃ2, ๐ฃ4) tidak terhubung langsung.
2.4.2 Derajat Titik
Jika ๐ฃ adalah titik pada graf ๐บ, maka himpunan semua titik di ๐บ yang
terhubung langsung dengan ๐ฃ disebut lingkungan dari ๐ฃ dan ditulis ๐๐บ(๐ฃ). Derajat
dari titik ๐ฃ di graf ๐บ, ditulis deg๐บ(๐ฃ) adalah banyaknya sisi di ๐บ yang terkait
langsung dengan ๐ฃ. Jika dikaitkan dengan konsep lingkungan, derajat titik ๐ฃ di graf
๐บ adalah banyaknya anggota dalam ๐๐บ(๐ฃ). Jadi deg๐บ(๐ฃ) = |๐๐บ(๐ฃ)| (Abdussakir,
dkk, 2009:9).
Titik yang berderajat 0 disebut titik terasing atau titik terisolasi. Titik yang
berderajat 1 disebut titik ujung atau titik akhir. Titik yang berderajat genap disebut
titik genap dan titik yang berderajat ganjil disebut titik ganjil. Derajat maksimum
๐ฃ1 ๐ฃ2
๐ฃ3 ๐ฃ4
25
titik di ๐บ dilambangkan dengan ฮ(๐บ) dan derajat minimum titik di ๐บ dilambangkan
dengan ๐ฟ(๐บ) (Abdussakir, dkk, 2009:9).
Teorema 2.8
Misalkan ๐บ graf dengan order ๐ dan ukuran ๐, dengan ๐(๐บ) =
{๐ฃ1, ๐ฃ2, โฆ , ๐ฃ๐}. Maka โ degG(๐ฃ๐)๐๐=1 = 2๐ (Abdussakir, dkk, 2009).
Bukti
Setiap menghitung derajat suatu titik di ๐บ, maka suatu sisi dihitung 1 kali.
Karena setiap sisi menghubungkan dua titik berbeda maka ketika menghitung
derajat semua titik, sisi akan terhitung dua kali. Dengan demikian diperoleh
bahwa jumlah semua derajat titik di ๐บ sama dengan 2 kali jumlah sisi di ๐บ.
Terbukti bahwa โ degG(๐ฃ๐)๐๐=1 = 2๐. โ
Contoh: Misalkan ๐บ2 graf yang memuat himpunan titik dan himpunan sisi seperti
berikut ini.
๐(๐บ2) = {๐ฃ1, ๐ฃ2, ๐ฃ3, ๐ฃ4, ๐ฃ5}
๐ธ(๐บ2) = {(๐ฃ1, ๐ฃ2), (๐ฃ1, ๐ฃ3), (๐ฃ2, ๐ฃ3)}. Graf ๐บ2 dapat digambar seperti
berikut
Gambar 2.2 Graf ๐บ2
Dari definsi graf, diperoleh bahwa derajat maksimum di ๐บ2 adalah
ฮ(๐บ2) = 2 dan derajat minimum di ๐บ2 adalah ๐ฟ(๐บ2) = 0. Semua titik di
๐บ2 adalah titik genap, karena memiliki derajat genap. Sementara titik ๐ฃ4
๐ฃ1 ๐ฃ2 ๐ฃ4
๐ฃ3 ๐ฃ5
26
dan ๐ฃ5 juga dapat disebut sebagai titik terasing karena memiliki derajat 0.
Sementara order graf ๐บ2 adalah ๐ = 5, dengan menggunakan Teorema 2.8
dapat diperoleh ukuran graf ๐บ2 adalah ๐ =โ degG(๐ฃ๐)5๐=1
2=2+2+2+0+0
2= 3,
sesuai pada Gambar 2.2.
2.4.3 Graf Terhubung
Misalkan ๐บ graf. Misalkan ๐ข dan ๐ฃ adalah titik di ๐บ (yang tidak harus
berbeda). Jalan ๐ข-๐ฃ pada graf ๐บ adalah barisan berhingga yang berselang-seling
๐:๐ข = ๐ฃ0, ๐1, ๐ฃ1, ๐2, ๐ฃ2, โฆ , ๐ฃ๐โ1, ๐๐, ๐ฃ๐ = ๐ฃ
antara titik dan sisi, yang dimulai dari titik dan diakhiri dengan titik, dengan
๐๐ = ๐ฃ๐โ1๐ฃ๐ , ๐ = 1,2,3, โฆ , ๐
adalah sisi di ๐บ. ๐ฃ0 disebut titik awal, dan ๐ฃ๐ disebut titik akhir, titik ๐ฃ1, ๐ฃ2, โฆ , ๐ฃ๐โ1
disebut titik interval, dan ๐ menyatakan panjang dari ๐. Jika ๐ฃ0 โ ๐ฃ๐, maka ๐
disebut jalan terbuka. Jika ๐ฃ0 = ๐ฃ๐, maka ๐ disebut jalan tertutup. Jalan yang tidak
mempunyai sisi disebut jalan trivial. Jalan ๐ yang semua sisinya berbeda disebut
trail. Jalan terbuka yang semua titiknya berbeda disebut lintasan (Abdussakir, dkk,
2009:49).
Misalkan ๐ข dan ๐ฃ titik berbeda pada graf ๐บ. Titik ๐ข dan ๐ฃ dikatakan
terhubung, jika terdapat lintasan ๐ข-๐ฃ di ๐บ. Suatu graf ๐บ juga dikatakan terhubung,
jika untuk setiap titik ๐ข dan ๐ฃ yang berbeda di ๐บ terhubung. Sebaliknya jika ada
dua titik ๐ข dan ๐ฃ di ๐บ, tetapi tidak terdapat lintasan ๐ข-๐ฃ di ๐บ, maka ๐บ dikatakan tak
terhubung (Abdussakir, dkk, 2009:55).
Contoh: Misalkan ๐บ3 graf yang memuat himpunan titik dan himpunan sisi seperti
berikut ini.
๐(๐บ3) = {๐ฃ1, ๐ฃ2, ๐ฃ3, ๐ฃ4}
27
๐ธ(๐บ3) = {(๐ฃ1, ๐ฃ2), (๐ฃ1, ๐ฃ3), (๐ฃ2, ๐ฃ4)}. Graf ๐บ3 dapat digambar seperti
berikut
Gambar 2.3 Graf ๐บ3
Graf ๐บ3 adalah graf terhubung, karena untuk setiap dua titik berbeda di ๐บ3
terhubung.
Contoh: Misalkan ๐บ4 graf yang memuat himpunan titik dan himpunan sisi seperti
berikut ini.
๐(๐บ4) = {๐ฃ1, ๐ฃ2, ๐ฃ3, ๐ฃ4}
๐ธ(๐บ4) = {(๐ฃ1, ๐ฃ2), (๐ฃ1, ๐ฃ3), (๐ฃ2, ๐ฃ3)}. Graf ๐บ4 dapat digambar seperti
berikut
Gambar 2.4 Graf ๐บ4
Graf ๐บ4 adalah graf tak terhubung, karena ada titik ๐ฃ4 yang tidak
terhubung dengan titik lain di ๐บ4.
2.4.4 Graf Subgrup
Misalkan ๐บ grup dan ๐ป subgrup ๐บ. Misalkan ๐ค๐ป(๐บ) adalah graf berarah
dengan himpunan titik memuat semua unsur di ๐บ dan titik ๐ฅ terhubung langsung ke
๐ฃ1 ๐ฃ2
๐ฃ3
๐ฃ1 ๐ฃ2
๐ฃ3 ๐ฃ4
๐ฃ4
28
๐ฆ (atau ada busur dari ๐ฅ ke ๐ฆ) jika dan hanya jika ๐ฅ โ ๐ฆ dan ๐ฅ๐ฆ โ ๐ป. Jika ๐ฅ๐ฆ โ ๐ป
dan ๐ฆ๐ฅ โ ๐ป untuk suatu ๐ฅ, ๐ฆ โ ๐บ dengan ๐ฅ โ ๐ฆ maka ๐ฅ dan ๐ฆ dihubungkan
langsung oleh suatu sisi tak berarah. Graf ๐ค๐ป(๐บ) ini disebut graf subgrup dari ๐บ
(Anderson, dkk, 2012).
Contoh: Misalkan ๐ = {(1), (123), (132)}. ๐ dengan operasi komposisi fungsi โ
adalah grup. ๐ด = {(1)} merupakan subgrup dari ๐. Dua unsur di ๐ jika
dioperasikan menggunakan komposisi fungsi dapat dilihat seperti pada
Tabel 2.1 berikut
Tabel 2.1 Tabel Cayley Grup ๐
โ (1) (123) (132)
(1) (1) (123) (132) (123) (123) (132) (1) (132) (132) (1) (123)
Titik graf subgrup ๐ด dari grup ๐ adalah ๐(๐ค๐ด (๐)) = ๐ =
{(1), (123), (132)}. Dari Tabel 2.1, warna hijau menunjukkan unsur-
unsur di ๐ sedemikian sehingga jika dioperasikan hasil operasinya di ๐ด.
Sehingga dapat digambarkan graf subgrup berikut
Gambar 2.5 Graf ๐ค๐ด (๐)
(123) (132)
(1)
29
2.5 Graf Subgrup dari Grup Simetri
2.5.1 Sisi pada Graf Subgrup dari Grup Simetri
Teorema 2.9
Misalkan ๐ unsur di grup simetri ๐๐ dan ๐ป = {(1)} subgrup dari ๐๐. |๐| > 2
jika dan hanya jika (๐, ๐โ1) โ ๐ธ(๐ค๐ป (๐๐)).
Bukti
(โน) Akan dibuktikan pernyataan jika ๐ โ ๐๐ dengan |๐| > 2 maka
(๐, ๐โ1) โ ๐ธ(๐ค๐ป (๐๐)). Berdasarkan sifat unsur yang berorder lebih dari dua
pada grup, dapat dinyatakan bahwa jika ๐ โ ๐๐ dengan |๐| > 2 maka ๐ โ
๐โ1. Jika ๐ โ ๐โ1 dengan ๐ termuat pada grup simetri ๐๐ yang memenuhi
๐ โ ๐โ1 = (1) = ๐โ1 โ ๐ dan ๐ป = {(1)}, akibatnya (๐, ๐โ1) โ ๐ธ(๐ค๐ป (๐๐)).
Sehingga terbukti bahwa jika ๐ โ ๐๐ dengan |๐| > 2 maka (๐, ๐โ1) โ
๐ธ(๐ค๐ป (๐๐)).
(โธ) Akan dibuktikan pernyataan jika (๐, ๐โ1) โ ๐ธ(๐ค๐ป (๐๐)) maka |๐| > 2.
Karena (๐, ๐โ1) โ ๐ธ(๐ค๐ป (๐๐)) maka ๐ โ ๐โ1 = ๐โ1 โ ๐ โ ๐ป. Jadi ๐ โ ๐โ1 =
๐โ1 โ ๐ = (1). Karena sisi di graf memasangkan titik berbeda berarti ๐ โ
๐โ1. Jadi |๐| > 2.
Terbukti pernyataan pada teorema adalah benar. โ
2.5.2 Titik pada Graf Subgrup dari Grup Simetri
Teorema 2.10
Misalkan ๐๐ grup simetri orde ๐! dan ๐ป = {(1)} subgrup di ๐๐. Jika
(๐, ๐โ1) โ ๐ธ(๐ค๐ป (๐๐)) maka deg(๐ค๐ป (๐๐))(๐) = 1.
30
Bukti
Karena (๐, ๐โ1) โ ๐ธ(๐ค๐ป (๐๐)) berarti titik ๐ terhubung langsung ke titik ๐โ1
di ๐ค๐ป (๐๐). Jadi deg(๐ค๐ป (๐๐))(๐) โฅ 1. Andaikan deg(๐ค๐ป (๐๐))(๐) > 1 artinya
ada titik lain ๐ โ ๐โ1 sehingga ๐ โ ๐ โ ๐ป dan ๐ โ ๐ โ ๐ป. Karena ๐ป = {(1)}
maka ๐ โ ๐ = ๐ โ ๐ = (1). Berarti ๐ โ ๐โ1 adalah invers dari ๐. Kontradiksi
dengan sifat grup, bahwa untuk setiap unsur hanya memiliki satu invers. Jadi
pengandaian deg(๐ค๐ป (๐๐))(๐) > 1 salah.
Terbukti deg(๐ค๐ป (๐๐))(๐) = 1. โ
Corollary 2.11
Misalkan ๐๐ grup simetri orde ๐! dan ๐ป = {(1)} subgrup di ๐๐. Misal ๐ โ
๐(๐ค๐ป (๐๐)), jika |๐| > 2 maka deg(๐ค๐ป (๐๐))(๐) = 1.
Bukti
Jika |๐| > 2 maka (๐, ๐โ1) โ ๐ธ(๐ค๐ป (๐๐)), akibatnya deg(๐ค๐ป (๐๐))(๐) = 1.
Terbukti jika |๐| > 2 maka deg(๐ค๐ป (๐๐))(๐) = 1. โ
Corollary 2.12
Misalkan ๐๐ grup simetri orde ๐! dan ๐ป = {(1)} subgrup di ๐๐. Misal ๐ โ
๐(๐ค๐ป (๐๐)), jika |๐| < 3 maka deg(๐ค๐ป (๐๐))(๐) = 0.
Bukti
Misal ๐ โ ๐(๐ค๐ป (๐๐)), artinya ๐ โ ๐๐. Jika ๐ โ ๐๐ dengan |๐| < 3, berarti
|๐| = 2 atau |๐| = 1.
|๐| = 2 berarti ๐ = ๐โ1, dan |๐| = 1 berarti ๐ = (1) dengan (1) unsur
identitas di ๐๐. Karena sisi pada graf hanya menghubungkan langsung dua
31
titik yang berbeda, maka tidak ada sisi (๐, ๐) dan ((1), (1)) pada ๐ค๐ป (๐๐).
Jadi deg(๐ค๐ป (๐๐))(๐) = 0 untuk |๐| < 3. โ
Corollary 2.13
Misalkan ๐๐ grup simetri orde ๐! dan ๐ป = {(1)} subgrup di ๐๐. Banyaknya
titik ujung pada ๐ค๐ป (๐๐) adalah ๐ฟ๐ dan banyaknya titik terasing pada ๐ค๐ป (๐๐)
adalah ๐๐.
Bukti
Karena ๐ค๐ป (๐๐) graf subgrup, akibatnya ๐(๐ค๐ป (๐๐)) = ๐๐, dengan ๐๐ memuat
unsur yang berorder kurang dari tiga serta memuat unsur yang beroder lebih
dari dua. Berdasarkan Teorema 2.5 dan Teorena 2.6 maka banyaknya unsur
berorder kurang dari tiga sebanyak ๐๐ dan banyaknya unsur yang berorder
lebih dari dua sebanyak ๐ฟ๐. Sesuai Corollary 2.11 dan Corollary 2.12 maka
banyaknya titik yang berderajat satu pada ๐ค๐ป (๐๐) adalah ๐ฟ๐ dan banyaknya
titik yang berderajat nol pada ๐ค๐ป (๐๐) adalah ๐๐. โ
2.5.3 Ukuran pada Graf Subgrup dari Grup Simetri
Corollary 2.14
Misalkan ๐๐ grup simetri dan ๐ป = {(1)} subgrup dari ๐๐. Banyaknya sisi
pada ๐ค๐ป(๐๐) adalah ๐ฟ๐
2.
Bukti
Berdasarkan Corollary 2.13 maka titik berderajat satu di ๐ค๐ป (๐๐) sebanyak ๐ฟ๐
dan lainnya berderajat 0. Karena sisi hanya memasangkan dua titik di ๐ค๐ป (๐๐)
dan ๐ฟ๐ genap maka ๐(๐ค๐ป (๐๐)) =๐ฟ๐
2. โ
32
2.6 Graf dan Matriks
2.6.1 Matriks Keterhubungan dari Graf
Misalkan ๐บ graf dengan order ๐ (๐ โฅ 1) dan ukuran ๐ serta himpunan titik
๐(๐บ) = {๐ฃ1, ๐ฃ2, โฆ , ๐ฃ๐}. Matriks keterhubungan titik (atau matriks keterhubungan)
dari graf ๐บ dinotasikan dengan ๐จ(๐บ), adalah matriks (๐ ร ๐) dengan unsur pada
baris ke-๐ dan kolom ke-๐ bernilai 1 jika titik ๐ฃ๐ terhubung langsung dengan titik ๐ฃ๐
serta bernilai 0 jika titik ๐ฃ๐ tidak terhubung langsung dengan titik ๐ฃ๐ . Dengan kata
lain matriks keterhubungan dapat ditulis ๐จ(๐บ) = [๐๐๐], 1 โค ๐, ๐ โค ๐, dengan
๐๐๐ = {1 , jika ๐ฃ๐๐ฃ๐ โ ๐ธ(๐บ)
0 , jika ๐ฃ๐๐ฃ๐ โ ๐ธ(๐บ) (Abdussakir, dkk, 2009:74).
Contoh: Misalkan ๐บ5 graf yang memuat himpunan titik dan himpunan sisi seperti
berikut ini.
๐(๐บ5) = {๐ฃ1, ๐ฃ2, ๐ฃ3, ๐ฃ4, ๐ฃ5}
๐ธ(๐บ5) = {(๐ฃ1, ๐ฃ2), (๐ฃ1, ๐ฃ3), (๐ฃ3, ๐ฃ4), (๐ฃ3, ๐ฃ5)}. Graf ๐บ5 dapat digambar
seperti berikut
Gambar 2.6 Graf ๐บ5
Matriks keterhubungan dari graf ๐บ5 adalah
๐จ(๐บ5) =
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4 ๐ฃ5๐ฃ1๐ฃ2๐ฃ3๐ฃ4๐ฃ5[ 0 1 1 0 01 0 0 0 01 0 0 1 10 0 1 0 00 0 1 0 0]
.
๐ฃ1 ๐ฃ2
๐ฃ3 ๐ฃ4
๐ฃ5
33
2.6.2 Matriks Derajat
Misalkan graf ๐บ dengan order ๐ serta ๐(๐บ) = {๐ฃ1, ๐ฃ2, โฆ , ๐ฃ๐}. Matriks
derajat dari graf ๐บ dinotasikan dengan ๐ซ(๐บ), merupakan matriks (๐ ร ๐) dengan
unsur baris ke-๐ dan kolom ke-๐ merupakan derajat dari ๐ฃ๐ , ๐ = 1, 2, โฆ , ๐
(Biyikoglu, dkk, 2007).
Contoh: Misalkan ๐บ6 graf yang memuat himpunan titik dan himpunan sisi seperti
berikut ini.
๐(๐บ6) = {๐ฃ1, ๐ฃ2, ๐ฃ3, ๐ฃ4, ๐ฃ5}
๐ธ(๐บ6) = {(๐ฃ1, ๐ฃ3), (๐ฃ3, ๐ฃ4), (๐ฃ3, ๐ฃ5)}. Graf ๐บ6 dapat digambar seperti
berikut
Gambar 2.7 Graf ๐บ6
Matriks derajat dari graf ๐บ6 adalah ๐ซ(๐บ6) =
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4 ๐ฃ5๐ฃ1๐ฃ2๐ฃ3๐ฃ4๐ฃ5[ 1 0 0 0 00 0 0 0 00 0 3 0 00 0 0 1 00 0 0 0 1]
.
2.6.3 Matriks Laplace dari Graf
Misal ๐บ(๐, ๐ธ) adalah graf dengan himpunan titik ๐ dan himpuan sisi ๐ธ.
Matriks Laplace dari ๐บ adalah matriks ๐ณ(๐บ) = ๐ซ(๐บ) โ ๐จ(๐บ), dengan ๐ซ(๐บ) adalah
matriks derajat dari ๐บ dan ๐จ(๐บ) adalah matriks keterhubungan dari ๐บ (Biyikoglu,
dkk, 2007).
๐ฃ1 ๐ฃ2
๐ฃ3 ๐ฃ4
๐ฃ5
34
Contoh: Misalkan ๐บ7 graf yang memuat himpunan titik dan himpunan sisi seperti
berikut ini.
๐(๐บ7) = {๐ฃ1, ๐ฃ2, ๐ฃ3, ๐ฃ4, ๐ฃ5}
๐ธ(๐บ7) = {(๐ฃ1, ๐ฃ2), (๐ฃ1, ๐ฃ3), (๐ฃ1, ๐ฃ4), (๐ฃ2, ๐ฃ5), (๐ฃ3, ๐ฃ4), (๐ฃ4, ๐ฃ5)}. Graf ๐บ7
dapat digambar seperti berikut
Gambar 2.8 Graf ๐บ7
Dari Gambar 2.8 dapat diperoleh matriks derajat dan matriks
keterhubungan dari ๐บ7 sebagai berikut
๐ซ(๐บ7) =
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4 ๐ฃ5๐ฃ1๐ฃ2๐ฃ3๐ฃ4๐ฃ5[ 3 0 0 0 00 2 0 0 00 0 2 0 00 0 0 3 00 0 0 0 2]
, ๐จ(๐บ7) =
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4 ๐ฃ5๐ฃ1๐ฃ2๐ฃ3๐ฃ4๐ฃ5[ 0 1 1 1 01 0 0 0 11 0 0 1 01 0 1 0 10 1 0 1 0]
.
Berdasarkan matriks derajat dan matriks keterhubungan, maka diperoleh
matriks Laplace dari graf ๐บ7 adalah sebagai berikut
๐ณ(๐บ7) = ๐ซ(๐บ7) โ ๐จ(๐บ7)
=
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4 ๐ฃ5๐ฃ1๐ฃ2๐ฃ3๐ฃ4๐ฃ5[ 3 0 0 0 00 2 0 0 00 0 2 0 00 0 0 3 00 0 0 0 2]
โ
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4 ๐ฃ5๐ฃ1๐ฃ2๐ฃ3๐ฃ4๐ฃ5[ 0 1 1 1 01 0 0 0 11 0 0 1 01 0 1 0 10 1 0 1 0]
๐ฃ1
๐ฃ2
๐ฃ3 ๐ฃ4
๐ฃ5
35
=
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4 ๐ฃ5๐ฃ1๐ฃ2๐ฃ3๐ฃ4๐ฃ5[ 3 โ1 โ1 โ1 0โ1 2 0 0 โ1โ1 0 2 โ1 0โ1 0 โ1 3 โ10 โ1 0 โ1 2 ]
.
2.6.4 Matriks Signless Laplace dari Graf
Misal ๐บ adalah graf. Matriks signless Laplace dari ๐บ adalah matriks
๐ณ+(๐บ) = ๐ซ(๐บ) + ๐จ(๐บ), dengan ๐ซ(๐บ) adalah matriks derajat dari ๐บ dan ๐จ(๐บ)
adalah matriks keterhubungan dari ๐บ (Biyikoglu, dkk, 2007).
Contoh: Misalkan ๐บ8 graf yang memuat himpunan titik dan himpunan sisi seperti
berikut ini.
๐(๐บ8) = {๐ฃ1, ๐ฃ2, ๐ฃ3, ๐ฃ4, ๐ฃ5}
๐ธ(๐บ8) = {(๐ฃ1, ๐ฃ5), (๐ฃ1, ๐ฃ2), (๐ฃ2, ๐ฃ3), (๐ฃ3, ๐ฃ4), (๐ฃ4, ๐ฃ5)}. Graf ๐บ8 dapat
digambar seperti berikut
Gambar 2.9 Graf ๐บ8
Dari Gambar 2.9 dapat diperoleh matriks derajat dan matriks
keterhubungan dari ๐บ8 sebagai berikut
๐ซ(๐บ8) =
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4 ๐ฃ5๐ฃ1๐ฃ2๐ฃ3๐ฃ4๐ฃ5[ 2 0 0 0 00 2 0 0 00 0 2 0 00 0 0 2 00 0 0 0 2]
, ๐จ(๐บ8) =
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4 ๐ฃ5๐ฃ1๐ฃ2๐ฃ3๐ฃ4๐ฃ5[ 0 1 0 0 11 0 1 0 00 1 0 1 00 0 1 0 11 0 0 1 0]
.
๐ฃ1
๐ฃ2
๐ฃ5 ๐ฃ4
๐ฃ3
36
Berdasarkan matriks derajat dan matriks keterhubungan, maka diperoleh
matriks signless Laplace dari graf ๐บ8 adalah sebagai berikut
๐ณ(๐บ8) = ๐ซ(๐บ8) + ๐จ(๐บ8)
=
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4 ๐ฃ5๐ฃ1๐ฃ2๐ฃ3๐ฃ4๐ฃ5[ 2 0 0 0 00 2 0 0 00 0 2 0 00 0 0 2 00 0 0 0 2]
+
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4 ๐ฃ5๐ฃ1๐ฃ2๐ฃ3๐ฃ4๐ฃ5[ 0 1 0 0 11 0 1 0 00 1 0 1 00 0 1 0 11 0 0 1 0]
=
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4 ๐ฃ5๐ฃ1๐ฃ2๐ฃ3๐ฃ4๐ฃ5[ 2 1 0 0 11 2 1 0 00 1 2 1 00 0 1 2 11 0 0 1 2]
.
2.7 Spektrum Graf
Misalkan ๐บ adalah graf berorder ๐ dan ๐จ adalah matriks keterhubungan
dari graf ๐บ. Suatu vektor taknol ๐ฅ disebut suatu vektor eigen dari ๐จ, jika ๐จ๐ฅ adalah
suatu kelipatan skalar dari ๐ฅ yaitu, ๐จ๐ฅ = ๐๐ฅ untuk skalar ๐. Skalar ๐ disebut nilai
eigen dari ๐จ, dan ๐ฅ disebut vektor eigen dari ๐จ yang bersesuaian dengan ๐ (Anton,
2000).
Untuk mencari nilai eigen dari suatu matriks ๐จ yang berukuran (๐ ร ๐)
dapat ditulis ulang ๐จ๐ฅ = ๐๐ฅ sebagai ๐จ๐ฅ = ๐๐ฐ๐ฅ atau ekuivalen dengan (๐จ โ ๐๐ฐ)๐ฅ =
0, dengan ๐ฐ merupakan matriks identitas berukuran (๐ ร ๐). Persamaan tersebut
akan mempunyai selesaian taknol jika dan hanya jika matriks (๐จ โ ๐๐ฐ) tidak punya
invers, akibatnya det(๐จ โ ๐๐ฐ) = 0.
Persamaan det(๐จ โ ๐๐ฐ) = 0 disebut persamaan karateristik matriks ๐จ dan
skalar yang memenuhi persamaan ini disebut nilai eigen dari ๐จ. det(๐จ โ ๐๐ฐ) adalah
37
suatu polinomial ๐ dalam variabel ๐ yang disebut sebagai polinomial karakteristik
matriks ๐จ. Jika ๐จ adalah suatu matriks (๐ ร ๐), maka polinomial karakteristik ๐จ
memiliki derajat ๐ dan koefisien variabel ๐๐ adalah 1. Polinomial karakteristik dari
suatu matriks (๐ ร ๐) memiliki bentuk ๐(๐) = det(๐จ โ ๐๐ฐ) = ๐๐ + ๐1๐๐โ1 +
โฏ+ ๐๐. Vektor-vektor eigen matriks ๐จ yang terkait dengan nilai eigen ๐ adalah
vektor-vektor taknol dalam ruang solusi (๐จ โ ๐๐ฐ)๐ฅ = 0 (Anton, 2000).
Misalkan ๐บ graf berorder ๐ dan ๐จ adalah matriks keterhubungan dari graf
๐บ. Misalkan ๐1, ๐2, โฆ , ๐๐ (๐ โค ๐) adalah nilai eigen berbeda dari ๐จ, dengan
๐1 > ๐2 > โฏ > ๐๐, dan misalkan ๐(๐1), ๐(๐2), โฆ , ๐(๐๐) adalah banyaknya
basis untuk ruang vektor eigen masing-masing ๐๐, ๐ = 1, 2, โฆ , ๐. Maka matriks
berordo (2 ร ๐) yang memuat ๐1, ๐2, โฆ , ๐๐ pada baris pertama dan ๐(๐1),
๐(๐2), โฆ , ๐(๐๐) pada baris kedua disebut spektrum keterhubungan graf ๐บ, dan
dinotasikan dengan ๐ ๐๐๐๐ด(๐บ). Jadi, spektrum keterhubungan graf ๐บ dapat ditulis
dengan ๐ ๐๐๐๐ด(๐บ) = [๐1 ๐2 โฆ ๐๐
๐(๐1) ๐(๐2) โฆ ๐(๐๐)] (Bigg, 1994).
Spektrum yang diperoleh dari matriks Laplace dari graf ๐บ disebut spektrum
Laplace dan dinotasikan dengan ๐ ๐๐๐๐ฟ(๐บ). Spektrum yang diperoleh dari matriks
signless Laplace dari graf ๐บ disebut spektrum signless Laplace dan dinotasikan
dengan ๐ ๐๐๐๐ฟ+(๐บ) (Akhadiyah, 2018).
Contoh:
Didefinisikan graf ๐บ sebagai (๐(๐บ), ๐ธ(๐บ)) dengan ๐(๐บ) = {๐ฃ1, ๐ฃ2, ๐ฃ3, ๐ฃ4}
dan ๐ธ(๐บ) = {(๐ฃ1, ๐ฃ3), (๐ฃ2, ๐ฃ4)} = {๐1, ๐2}, seperti pada Gambar 2.10.
38
Gambar 2.10 Graf ๐บ
Dari gambar diperoleh matriks keterhubungan dari graf ๐บ, dan matriks derajat
dari ๐บ seperti berikut,
๐จ(๐บ) =
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4๐ฃ1๐ฃ2๐ฃ3๐ฃ4
[
0 0 1 00 0 0 11 0 0 00 1 0 0
] ๐ซ(๐บ) =
๐ฃ1 ๐ฃ2 ๐ฃ3 ๐ฃ4๐ฃ1๐ฃ2๐ฃ3๐ฃ4
[
1 0 0 00 1 0 00 0 1 00 0 0 1
]
Maka dapat diperoleh matriks Laplace dan matriks signless laplace dengan
cara berikut,
๐ณ(๐บ) = ๐ซ(๐บ) โ ๐จ(๐บ) = [
1 0 0 00 1 0 00 0 1 00 0 0 1
] โ [
0 0 1 00 0 0 11 0 0 00 1 0 0
]
= [
1 0 โ1 00 1 0 โ1โ1 0 1 00 โ1 0 1
]
๐ณ+(๐บ) = ๐ซ(๐บ) + ๐จ(๐บ) = [
1 0 0 00 1 0 00 0 1 00 0 0 1
] + [
0 0 1 00 0 0 11 0 0 00 1 0 0
]
= [
1 0 1 00 1 0 11 0 1 00 1 0 1
]
๐ฃ1 ๐ฃ2
๐ฃ4 ๐ฃ3
๐2 ๐1
39
(๐จ(๐บ) โ ๐๐ฐ) = ([
0 0 1 00 0 0 11 0 0 00 1 0 0
] โ [
๐ 0 0 00 ๐ 0 00 0 ๐ 00 0 0 ๐
])
= [
โ๐ 0 1 00 โ๐ 0 11 0 โ๐ 00 1 0 โ๐
]
Selanjutnya (๐จ(๐บ) โ ๐๐ฐ) direduksi menggunakan eliminasi Gauss, dan
diperoleh
[ โ๐ 0 1 00 โ๐ 0 1
0 0 โ๐ + 1 (1
๐) 0
0 0 0 โ๐ + 1 (1
๐)]
Selanjutnya ditentukan polinomial karakteristik dengan cara mengalikan
diagonal matriks segitiga atas, sehingga diperoleh
๐(๐) = (โ๐)2 (โ๐ + 1 (1
๐))2
= (โ๐)2 (โ(๐2โ1
๐))
2
= (๐2 โ 1)2
= (๐ โ 1)2(๐ + 1)2
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 1 dan ๐2 = โ1.
Kemudian dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2.
Untuk ๐1 = 1 disubstitusikan ke dalam (๐จ โ ๐๐ฐ), sehingga diperoleh
[
โ1 0 1 00 โ1 0 11 0 โ1 00 1 0 โ1
].
40
Selanjutnya hasil matriks tersebut direduksi, dan diperoleh
[
โ1 0 1 00 โ1 0 10 0 0 00 0 0 0
], sehingga ๐(๐1) = 2.
Untuk ๐2 = โ1 disubstitusikan ke dalam (๐จ โ ๐๐ฐ), sehingga diperoleh
[
1 0 1 00 1 0 11 0 1 00 1 0 1
].
Selanjutnya hasil matriks tersebut direduksi, dan diperoleh [
1 0 1 00 1 0 10 0 0 00 0 0 0
],
sehingga ๐(๐2) = 2.
Jadi diperoleh ๐ ๐๐๐๐ด(๐บ) = [๐1 ๐2
๐(๐1) ๐(๐2)] = [
1 โ12 2
].
(๐ณ(๐บ) โ ๐๐ฐ) = ([
1 0 โ1 00 1 0 โ1โ1 0 1 00 โ1 0 1
] โ [
๐ 0 0 00 ๐ 0 00 0 ๐ 00 0 0 ๐
])
= [
1 โ ๐ 0 โ1 00 1 โ ๐ 0 โ1โ1 0 1 โ ๐ 00 โ1 0 1 โ ๐
]
Selanjutnya (๐ณ(๐บ) โ ๐๐ฐ) direduksi menggunakan eliminasi Gauss, dan
diperoleh
[ 1 โ ๐ 0 โ1 00 1 โ ๐ 0 โ1
0 0 1 โ ๐ +โ1
1 โ ๐0
0 0 0 1 โ ๐ +โ1
1 โ ๐]
Selanjutnya ditentukan polinomial karakteristik dengan cara mengalikan
diagonal matriks segitiga atas, sehingga diperoleh
41
๐(๐) = (1 โ ๐)2 (1 โ ๐ +โ1
1โ๐)2
= (1 โ ๐)2 (1โ2๐+๐2โ1
1โ๐)2
= (โ2๐ + ๐2)2
= (๐(โ2 + ๐))2
= (๐)2(โ2 + ๐)2
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 0 dan ๐2 = 2. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2.
Sehingga diperoleh ๐ ๐๐๐๐ฟ(๐บ) = [๐1 ๐2
๐(๐1) ๐(๐2)] = [
0 22 2
].
(๐ณ+(๐บ) โ ๐๐ฐ) = ([
1 0 1 00 1 0 11 0 1 00 1 0 1
] โ [
๐ 0 0 00 ๐ 0 00 0 ๐ 00 0 0 ๐
])
= [
1 โ ๐ 0 1 00 1 โ ๐ 0 11 0 1 โ ๐ 00 1 0 1 โ ๐
]
Selanjutnya (๐ณ+(๐บ) โ ๐๐ฐ) direduksi menggunakan eliminasi Gauss, dan
diperoleh
[ 1 โ ๐ 0 1 00 1 โ ๐ 0 1
0 0 1 โ ๐ + (โ1
1 โ ๐) 0
0 0 0 1 โ ๐ + (โ1
1 โ ๐)]
Selanjutnya ditentukan polinomial karakteristik dengan cara mengalikan
diagonal matriks segitiga atas, sehingga diperoleh
42
๐(๐) = (1 โ ๐)2 (1 โ ๐ โ1
1โ๐)2
= (1 โ ๐)2 (1โ2๐+๐2โ1
1โ๐)2
= (โ2๐ + ๐2)2
= (๐(โ2 + ๐))2
= (๐)2(โ2 + ๐)2
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 0 dan ๐2 = 2. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2.
Sehingga diperoleh ๐ ๐๐๐๐ฟ+(๐บ) = [๐1 ๐2
๐(๐1) ๐(๐2)] = [
0 22 2
].
2.8 Keteraturan Ciptaan Allah
Matematika merupakan ilmu yang tidak terlepas dari alam dan agama,
semua itu kebenarannya dapat dilihat dalam al-Quran. Alam semesta ini banyak
mengandung rahasia tentang fenomena-fenomena alam. Namun keberadaan
fenomena-fenomena itu sendiri hanya dapat diketahui oleh orang yang benar-benar
mengerti arti kebesaran Allah (Rahman, 2007).
Alam semesta memuat bentuk-bentuk dan konsep matematika, meskipun
alam semesta tercipta sebelum matematika itu ada. Alam semesta serta segala isinya
diciptakan Allah dengan ukuran-ukuran yang cermat dan teliti, dengan perhitungan-
perhitungan yang mapan, dan dengan rumus-rumus serta persamaan yang seimbang
dan rapi (Abdusysyakir, 2007:79). Allah berfirman dalam al-Quran dalam surat al-
Furqan ayat 2.
43
ุฐ ููุฏุง ูู ููู ูู ุดุฑูู ูู ุงูู ูู ูุฎูู ูู ุฑู ุงูุฐู ูู ู ูู ุงูุณู ุงูุงุช ูุงูุฑุถ ูู ู ุชุฎ ุดูุก ู ูุฏ ุช ูุฏูุฑุง
โyang kepunyaan-Nya-lah kerajaan langit dan bumi, dan Dia tidak mempunyai anak, dan
tidak ada sekutu baginya dalam kekuasaan(Nya), dan Dia telah menciptakan segala
sesuatu, dan Dia menetapkan ukuran-ukurannya dengan serapi-rapinyaโ (QS. al-Furqan:
2).
Dalam tafsir Ibnu Katsir dijelaskan "Yang kepunyaan-Nyalah kerajaan
langit dan bumi, dan Dia tidak mempunyai anak dan tidak ada sekutu bagi-Nya
dalam kekuasaan-Nya," Allah sucikan diri-Nya dari memiliki anak dan sekutu. Lalu
Dia mengabarkan bahwa Dia, "Telah menciptakan segala sesuatu dan menetapkan
ukuran-ukurannya dengan serapi-rapinya." Artinya, segala sesuatu selain Dia
adalah makhluk (yang diciptakan) dan marbub (yang berada di bawah kekuasaan-
Nya). Dia-lah pencipta sesuatu. Sedangkan segala sesuatu berada di bawah
kekuasaan, aturan, tatanan dan takdir-Nya (Katsir, 2007).
"Dan Dia menetapkan ukuran-ukuran dengan serapi-rapinya," maksudnya
adalah, menetapkan segala sesuatu dari apa yang diciptakan-Nya sesuai dengan
hikmah yang diinginkan-Nya, dan bukan karena nafsu dan kelalaian, melainkan
segala sesuatu berjalan sesuai dengan ketentuan-Nya hingga hari kiamat dan setelah
kiamat. Karena Dia-lah Sang Pencipta Yang Maha Kuasa, dan untuk itulah makhluk
beribadah kepada-Nya (Al-Qurtubi, 2009).
Matematika telah diciptakan dan sengaja disediakan untuk menuntun
manusia memahami kebesaran. Matematika tidak lain adalah makhluq, dan Allah
adalah khaliqnya (Abdusysyakir, 2007:88). Dijelaskan bahwa dalam al-Quran surat
al-Furqan ayat 2, bahwa sesungguhnya Allah menciptakan segala sesuatu dengan
menetapkan ukuran-ukurannya dengan serapi-rapinya. Hal ini menunjukkan bahwa
44
adanya rumus (keteraturan) pada segala ciptaan Allah, termasuk dalam ilmu
matematika.
45
BAB III
PEMBAHASAN
3.1 Spektrum Keterhubungan Graf Subgrup dari Grup Simetri ๐บ๐
3.1.1 Grup Simetri ๐บ๐
Sesuai batasan masalah maka subgrup yang diambil hanyalah subgrup
{(1)} dari grup simetri, atau ๐ป = {(1)}. Titik graf subgrup dari grup simetri ๐3
untuk subgrup ๐ป adalah ๐(๐ค๐ป (๐3)) = {(1), (123), (132), (23), (13), (12)} =
๐3. Dua unsur di ๐3 jika dioperasikan menggunakan komposisi fungsi dapat dilihat
pada Tabel 3.1 berikut
Tabel 3.1 Tabel Cayley Grup Simetri ๐3
โ (1) (123) (132) (23) (13) (12)
(1) (1) (123) (132) (23) (13) (12) (123) (123) (132) (1) (12) (23) (13) (132) (132) (1) (123) (13) (12) (23) (23) (23) (13) (12) (1) (123) (132) (13) (13) (12) (23) (132) (1) (123) (12) (12) (23) (13) (123) (132) (1)
Dari Tabel 3.1, warna hijau menunjukkan unsur-unsur di ๐3 sedemikian
sehingga jika dioperasikan, hasil operasinya di ๐ป. Sehingga dapat digambarkan
graf subgrup dari grup simetri ๐3 untuk subgrup ๐ป seperti pada Gambar 3.1.
Gambar 3.1 Graf ๐ค๐ป (๐3)
Dari Gambar 3.1 dapat diperoleh matriks keterhubungan dari ๐ค๐ป (๐3)
sebagai berikut
(132) (123)
(12) (13)
(23) (1)
46
๐จ(๐ค๐ป (๐3) ) =
(1) (12) (13) (23) (123) (132)
(1)
(12)
(13)
(23)
(123)
(132) [ 0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 1
0 0 0 0 1 0]
๐๐๐ก(๐จ(๐ค๐ป (๐3) ) โ ๐๐ฐ) = ๐๐๐ก
(
[ 0 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 10 0 0 0 1 0]
โ
[ ๐ 0 0 0 0 00 ๐ 0 0 0 00 0 ๐ 0 0 00 0 0 ๐ 0 00 0 0 0 ๐ 00 0 0 0 0 ๐]
)
= ๐๐๐ก
(
[ โ๐ 0 0 0 0 00 โ๐ 0 0 0 00 0 โ๐ 0 0 00 0 0 โ๐ 0 00 0 0 0 โ๐ 10 0 0 0 1 โ๐]
)
Matriks tersebut dapat direduksi untuk memperoleh matriks segitiga atas
menggunakan metode eliminasi Gauss, sehingga diperoleh hasil sebagai berikut
[ โ๐ 0 0 0 0 00 โ๐ 0 0 0 00 0 โ๐ 0 0 00 0 0 โ๐ 0 00 0 0 0 โ๐ 1
0 0 0 0 0 โ๐2 โ 1
๐ ]
Polinomial karakteristik ๐จ(๐ค๐ป (๐3)) diperoleh dari perkalian unsur diagonal
utama matriks segitiga atas tersebut, sebagai berikut
๐(๐) = (โ๐)5 (โ ๐2 โ 1
๐)
= (๐)4 ( ๐2 โ 1)
= (๐)4(๐ โ 1)(๐ + 1)
= (๐ โ 1)(๐)4(๐ + 1)
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 1 dan ๐2 = 0 dan ๐3 = โ1.
Kemudian akan dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2, 3.
47
Untuk ๐1 = 1 disubstitusikan ke dalam (๐จ(๐ค๐ป (๐3)) โ ๐๐ฐ), sehingga diperoleh
[ โ1 0 0 0 0 00 โ1 0 0 0 00 0 โ1 0 0 00 0 0 โ1 0 00 0 0 0 โ1 10 0 0 0 1 โ1]
Selanjutnya hasil matriks tersebut akan direduksi menggunakan metode eliminasi
Gauss, sehingga diperoleh hasil sebagai berikut
[ โ1 0 0 0 0 00 โ1 0 0 0 00 0 โ1 0 0 00 0 0 โ1 0 00 0 0 0 โ1 10 0 0 0 0 0]
Dari matriks yang tereduksi tersebut dapat diperoleh ๐(๐1) = 1.
Untuk ๐2 = 0 disubstitusikan ke dalam (๐จ(๐ค๐ป (๐3)) โ ๐๐ฐ), sehingga diperoleh
[ 0 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 10 0 0 0 1 0]
Selanjutnya hasil matriks tersebut akan direduksi menggunakan metode eliminasi
Gauss, sehingga diperoleh hasil sebagai berikut
[ 0 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 1 00 0 0 0 0 1]
Dari matriks yang tereduksi tersebut dapat diperoleh ๐(๐2) = 4.
Untuk ๐3 = โ1 disubstitusikan ke dalam (๐จ(๐ค๐ป (๐3)) โ ๐๐ฐ), sehingga diperoleh
[ 1 0 0 0 0 00 1 0 0 0 00 0 1 0 0 00 0 0 1 0 00 0 0 0 1 10 0 0 0 1 1]
48
Selanjutnya hasil matriks tersebut akan direduksi menggunakan metode eliminasi
Gauss, sehingga diperoleh hasil sebagai berikut
[ 1 0 0 0 0 00 1 0 0 0 00 0 1 0 0 00 0 0 1 0 00 0 0 0 1 10 0 0 0 0 0]
Dari matriks yang tereduksi tersebut dapat diperoleh ๐(๐3) = 1.
Dengan demikian spektrum keterhubungan graf subgrup ๐ค๐ป(๐3), dengan
๐ป = {(1)} adalah ๐ ๐๐๐๐ด(๐ค๐ป(๐3)) = [1 0 โ11 4 1
].
3.1.2 Grup Simetri ๐บ๐
Sesuai batasan masalah maka subgrup yang diambil hanyalah subgrup
{(1)} dari grup simetri, atau ๐ป = {(1)}. Titik graf subgrup dari grup simetri ๐4
untuk subgrup ๐ป adalah
๐(๐ค๐ป(๐4)) = {(1), (12), (23), (132), (123), (13), (34), (12)(34), (243), (1432),
(1243), (143), (234), (1342), (24), (142), (13)(24), (1423), (1234),
(134), (124), (14), (1324), (14)(23)} = ๐4.
Dengan cara yang sama seperti pada pembahasan 3.1.1. Graf subgrup dari
grup simetri ๐4 untuk subgrup ๐ป dapat dilihat pada Gambar 3.2.
49
Gambar 3.2 Graf ๐ค๐ป (๐4)
Dari Gambar 3.2 dapat diperoleh matriks keterhubungan dari ๐ค๐ป(๐4)
sebagai berikut
๐จ(๐ค๐ป(๐4))
=
[ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0]
(132)
(243)
(1423)
(1)
(12)
(143)
(142)
(1243)
(14)(23)
(24)
(123)
(234)
(1324)
(34)
(13)
(134)
(124)
(1342)
(12)(34)
(13)(24)
(23)
(1432)
(1234)
(14)
50
๐๐๐ก(๐จ(๐ค๐ป (๐4) ) โ ๐๐ฐ) =
๐๐๐ก
(
[ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0]
โ
[ ๐ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 ๐ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐ 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ๐]
)
=
51
๐๐๐ก
(
โ๐ 0 0 0 0 0 0 0 0 0 0 00 โ๐ 0 0 0 0 0 0 0 0 0 00 0 โ๐ 0 0 0 0 0 0 0 0 00 0 0 โ๐ 0 0 0 0 0 0 0 00 0 0 0 โ๐ 0 0 0 0 0 0 00 0 0 0 0 โ๐ 0 0 0 0 0 00 0 0 0 0 0 โ๐ 0 0 0 0 00 0 0 0 0 0 0 โ๐ 0 0 0 00 0 0 0 0 0 0 0 โ๐ 0 0 00 0 0 0 0 0 0 0 0 โ๐ 0 00 0 0 0 0 0 0 0 0 0 โ๐ 10 0 0 0 0 0 0 0 0 0 1 โ๐0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0โ๐ 1 0 0 0 0 0 0 0 0 0 01 โ๐ 0 0 0 0 0 0 0 0 0 00 0 โ๐ 1 0 0 0 0 0 0 0 00 0 1 โ๐ 0 0 0 0 0 0 0 00 0 0 0 โ๐ 1 0 0 0 0 0 00 0 0 0 1 โ๐ 0 0 0 0 0 00 0 0 0 0 0 โ๐ 1 0 0 0 00 0 0 0 0 0 1 โ๐ 0 0 0 00 0 0 0 0 0 0 0 โ๐ 1 0 00 0 0 0 0 0 0 0 1 โ๐ 0 00 0 0 0 0 0 0 0 0 0 โ๐ 10 0 0 0 0 0 0 0 0 0 1 โ๐)
Matriks tersebut dapat direduksi untuk memperoleh matriks segitiga atas
menggunakan metode eliminasi Gauss, sehingga diperoleh hasil sebagai berikut
[ โ๐ 0 0 0 0 0 0 0 0 0 0 0
0 โ๐ 0 0 0 0 0 0 0 0 0 0
0 0 โ๐ 0 0 0 0 0 0 0 0 0
0 0 0 โ๐ 0 0 0 0 0 0 0 0
0 0 0 0 โ๐ 0 0 0 0 0 0 0
0 0 0 0 0 โ๐ 0 0 0 0 0 0
0 0 0 0 0 0 โ๐ 0 0 0 0 0
0 0 0 0 0 0 0 โ๐ 0 0 0 0
0 0 0 0 0 0 0 0 โ๐ 0 0 0
0 0 0 0 0 0 0 0 0 โ๐ 0 0
0 0 0 0 0 0 0 0 0 0 โ๐ 1
0 0 0 0 0 0 0 0 0 0 01
๐โ ๐
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
โ๐ 1 0 0 0 0 0 0 0 0 0 0
01
๐โ ๐ 0 0 0 0 0 0 0 0 0 0
0 0 โ๐ 1 0 0 0 0 0 0 0 0
0 0 01
๐โ ๐ 0 0 0 0 0 0 0 0
0 0 0 0 โ๐ 1 0 0 0 0 0 0
0 0 0 0 01
๐โ ๐ 0 0 0 0 0 0
0 0 0 0 0 0 โ๐ 1 0 0 0 0
0 0 0 0 0 0 01
๐โ ๐ 0 0 0 0
0 0 0 0 0 0 0 0 โ๐ 1 0 0
0 0 0 0 0 0 0 0 01
๐โ ๐ 0 0
0 0 0 0 0 0 0 0 0 0 โ๐ 1
0 0 0 0 0 0 0 0 0 0 01
๐โ ๐]
52
Polinomial karakteristik ๐จ(๐ค๐ป (๐4)) diperoleh dari perkalian unsur
diagonal matriks utama segitiga atas tersebut sebagai berikut
๐(๐) = (โ๐)17 (โ ๐2 โ 1
๐)
7
= (๐)10 ( ๐2 โ 1)7
= (๐)10(๐ โ 1)7(๐ + 1)7
= (๐ โ 1)7(๐)10(๐ + 1)7
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 1 dan ๐2 = 0 dan ๐3 = โ1.
Kemudian akan dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2, 3.
Untuk ๐1 = 1 disubstitusikan ke dalam (๐จ(๐ค๐ป (๐4)) โ ๐๐ฐ), sehingga diperoleh
[ โ1 0 0 0 0 0 0 0 0 0 0 00 โ1 0 0 0 0 0 0 0 0 0 00 0 โ1 0 0 0 0 0 0 0 0 00 0 0 โ1 0 0 0 0 0 0 0 00 0 0 0 โ1 0 0 0 0 0 0 00 0 0 0 0 โ1 0 0 0 0 0 00 0 0 0 0 0 โ1 0 0 0 0 00 0 0 0 0 0 0 โ1 0 0 0 00 0 0 0 0 0 0 0 โ1 0 0 00 0 0 0 0 0 0 0 0 โ1 0 00 0 0 0 0 0 0 0 0 0 โ1 10 0 0 0 0 0 0 0 0 0 1 โ10 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0โ1 1 0 0 0 0 0 0 0 0 0 01 โ1 0 0 0 0 0 0 0 0 0 00 0 โ1 1 0 0 0 0 0 0 0 00 0 1 โ1 0 0 0 0 0 0 0 00 0 0 0 โ1 1 0 0 0 0 0 00 0 0 0 1 โ1 0 0 0 0 0 00 0 0 0 0 0 โ1 1 0 0 0 00 0 0 0 0 0 1 โ1 0 0 0 00 0 0 0 0 0 0 0 โ1 1 0 00 0 0 0 0 0 0 0 1 โ1 0 00 0 0 0 0 0 0 0 0 0 โ1 10 0 0 0 0 0 0 0 0 0 1 โ1]
Selanjutnya hasil matriks tersebut akan direduksi menggunakan metode eliminasi
Gauss, sehingga diperoleh hasil sebagai berikut
53
[ โ1 0 0 0 0 0 0 0 0 0 0 00 โ1 0 0 0 0 0 0 0 0 0 00 0 โ1 0 0 0 0 0 0 0 0 00 0 0 โ1 0 0 0 0 0 0 0 00 0 0 0 โ1 0 0 0 0 0 0 00 0 0 0 0 โ1 0 0 0 0 0 00 0 0 0 0 0 โ1 0 0 0 0 00 0 0 0 0 0 0 โ1 0 0 0 00 0 0 0 0 0 0 0 โ1 0 0 00 0 0 0 0 0 0 0 0 โ1 0 00 0 0 0 0 0 0 0 0 0 โ1 10 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0โ1 1 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 โ1 1 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 โ1 1 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 โ1 1 0 0 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 โ1 1 0 00 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 โ1 10 0 0 0 0 0 0 0 0 0 0 0]
Dari matriks yang tereduksi tersebut diperoleh banyaknya baris yang nol pada
matriks yaitu ๐(๐1) = 7.
Untuk ๐2 = 0 disubstitusikan ke dalam (๐จ(๐ค๐ป (๐4)) โ ๐๐ฐ), sehingga diperoleh
[ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0]
Selanjutnya hasil matriks tersebut akan direduksi menggunakan metode eliminasi
Gauss, sehingga diperoleh hasil sebagai berikut
54
[ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1]
Dari matriks yang tereduksi tersebut diperoleh banyaknya baris nol pada matriks
yaitu ๐(๐2) = 10.
Untuk ๐3 = โ1 disubstitusikan ke dalam (๐จ(๐ค๐ป (๐4)) โ ๐๐ฐ), sehingga diperoleh
[ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1]
55
Selanjutnya hasil matriks tersebut akan direduksi menggunakan metode eliminasi
Gauss, sehingga diperoleh sebagai berikut
[ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]
Dari matriks yang tereduksi tersebut diperoleh banyaknya baris nol pada matriks
yaitu ๐(๐3) = 7.
Dengan demikian spektrum keterhubungan graf subgrup ๐ค๐ป (๐4), dengan
๐ป = {(1)} adalah ๐ ๐๐๐๐ด(๐ค๐ป (๐4)) = [1 0 โ17 10 7
].
3.1.3 Grup Simetri ๐บ๐
Sesuai batasan masalah maka subgrup yang diambil hanyalah subgrup
{(1)} dari grup simetri, atau ๐ป = {(1)}. Berdasarkan definisi graf subgrup maka
diperoleh titik graf subgrup dari grup simetri ๐5 untuk subgrup ๐ป adalah
๐ (๐ค๐ด5 (๐5)) = ๐5. Sisi graf subgrup {(1)} dari grup simetri ๐5 dapat diperoleh
dengan menggunakan cara yang sama seperti pada pembahasan 3.1.1.
56
Matriks keterhubungan dari ๐ค๐ป(๐5) dapat diketahui setelah didapat
๐(๐ค๐ป (๐5)) dan ๐ธ(๐ค๐ป (๐5)), kemudian matriks tersebut direduksi untuk
memperoleh matriks segitiga atas. Sehingga diperoleh polinomial karakteristik
๐จ(๐ค๐ป (๐5)) adalah
๐(๐) = (โ๐)73 (โ ๐2 โ 1
๐)
47
= (๐)26 ( ๐2 โ 1)47
= (๐)26(๐ โ 1)47(๐ + 1)47
= (๐ โ 1)47(๐)26(๐ + 1)47
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 1, ๐2 = 0 dan ๐3 = โ1.
Kemudian akan dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2, 3 dan diperoleh
๐(๐1) = 47, ๐(๐2) = 26 dan ๐(๐3) = 47. Sehingga diperoleh spektrum
keterhubungan graf subgrup ๐ค๐ป(๐5), dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ด( ๐ค๐ป (๐5)) =
[1 0 โ147 26 47
].
3.1.4 Grup Simetri ๐บ๐
Sesuai batasan masalah maka subgrup yang diambil hanyalah subgrup
{(1)} dari grup simetri, atau ๐ป = {(1)}. Berdasarkan definisi graf subgrup maka
diperoleh titik graf subgrup dari grup simetri ๐6 untuk subgrup ๐ป adalah
๐(๐ค๐ป (๐6)) = ๐6. Sisi graf subgrup {(1)} dari grup simetri ๐6 dapat diperoleh
dengan menggunakan cara yang sama seperti pada pembahasan 3.1.1.
Matriks keterhubungan dari ๐ค๐ป (๐6) dapat diketahui setelah didapat
๐(๐ค๐ป (๐6)) dan ๐ธ(๐ค๐ป (๐6)), kemudian matriks tersebut direduksi untuk
57
memperoleh matriks segitiga atas. Sehingga diperoleh polinomial karakteristik
๐จ(๐ค๐ป (๐6)) adalah
๐(๐) = (โ๐)398 (โ ๐2 โ 1
๐)
322
= (๐)76 ( ๐2 โ 1)322
= (๐)76(๐ โ 1)322(๐ + 1)322
= (๐ โ 1)322(๐)76(๐ + 1)322
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 1, ๐2 = 0 dan ๐3 = โ1.
Kemudian akan dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2, 3 dan diperoleh
๐(๐1) = 322, ๐(๐2) = 76 dan ๐(๐3) = 322. Sehingga diperoleh spektrum
keterhubungan graf subgrup ๐ค๐ป(๐6), dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ด( ๐ค๐ป (๐6)) =
[1 0 โ1322 76 322
].
3.1.5 Grup Simetri ๐บ๐
Sesuai batasan masalah maka subgrup yang diambil hanyalah subgrup
{(1)} dari grup simetri, atau ๐ป = {(1)}. Berdasarkan definisi graf subgrup maka
diperoleh titik graf subgrup dari grup simetri ๐7 untuk subgrup ๐ป adalah
๐(๐ค๐ป (๐7)) = ๐7. Sisi graf subgrup {(1)} dari grup simetri ๐7 dapat diperoleh
dengan menggunakan cara yang sama seperti pada pembahasan 3.1.1.
Matriks keterhubungan dari ๐ค๐ป (๐7) dapat diketahui setelah didapat
๐(๐ค๐ป (๐7)) dan ๐ธ(๐ค๐ป (๐7)), kemudian matriks tersebut direduksi untuk
memperoleh matriks segitiga atas. Sehingga diperoleh polinomial karakteristik
๐จ(๐ค๐ป(๐7)) adalah
58
๐(๐) = (โ๐)2636 (โ ๐2 โ 1
๐)
2404
= (๐)232 ( ๐2 โ 1)2404
= (๐)232(๐ โ 1)2404(๐ + 1)2404
= (๐ โ 1)2404(๐)232(๐ + 1)2404
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 1, ๐2 = 0 dan ๐3 = โ1.
Kemudian akan dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2, 3 dan diperoleh
๐(๐1) = 2404, ๐(๐2) = 232 dan ๐(๐3) = 2404. Sehingga diperoleh spektrum
keterhubungan graf subgrup ๐ค๐ป(๐7), dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ด( ๐ค๐ป (๐7)) =
[1 0 โ1
2404 232 2404].
3.1.6 Grup Simetri ๐บ๐
Sesuai batasan masalah maka subgrup yang diambil hanyalah subgrup
{(1)} dari grup simetri, atau ๐ป = {(1)}. Berdasarkan definisi graf subgrup maka
diperoleh titik graf subgrup dari grup simetri ๐8 untuk subgrup ๐ป adalah
๐(๐ค๐ป (๐8)) = ๐8. Sisi graf subgrup {(1)} dari grup simetri ๐8 dapat diperoleh
dengan menggunakan cara yang sama seperti pada pembahasan 3.1.1.
Matriks keterhubungan dari ๐ค๐ป (๐8) dapat diketahui setelah didapat
๐(๐ค๐ป (๐8)) dan ๐ธ(๐ค๐ป (๐8)), kemudian matriks tersebut direduksi untuk
memperoleh matriks segitiga atas. Sehingga diperoleh polinomial karakteristik
๐จ(๐ค๐ป(๐8)) adalah
59
๐(๐) = (โ๐)20542 (โ ๐2 โ 1
๐)
19778
= (๐)764 ( ๐2 โ 1)19778
= (๐)764(๐ โ 1)19778(๐ + 1)19778
= (๐ โ 1)19778(๐)764(๐ + 1)19778
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 1, ๐2 = 0 dan ๐3 = โ1.
Kemudian akan dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2, 3 dan diperoleh
๐(๐1) = 19778, ๐(๐2) = 764 dan ๐(๐3) = 19778. Sehingga diperoleh
spektrum keterhubungan graf subgrup ๐ค๐ป(๐8), dengan ๐ป = {(1)} adalah
๐ ๐๐๐๐ด( ๐ค๐ป (๐8)) = [1 0 โ1
19778 764 19778].
3.1.7 Grup Simetri ๐บ๐
Sesuai batasan masalah maka subgrup yang diambil hanyalah subgrup
{(1)} dari grup simetri, atau ๐ป = {(1)}. Berdasarkan definisi graf subgrup maka
diperoleh titik graf subgrup dari grup simetri ๐9 untuk subgrup ๐ป adalah
๐(๐ค๐ป(๐9)) = ๐9. Sisi graf subgrup {(1)} dari grup simetri ๐9 dapat diperoleh
dengan menggunakan cara yang sama seperti pada pembahasan 3.1.1.
Matriks keterhubungan dari ๐ค๐ป(๐9) dapat diketahui setelah didapat
๐(๐ค๐ป (๐9)) dan ๐ธ(๐ค๐ป (๐9)), kemudian matriks tersebut direduksi untuk
memperoleh matriks segitiga atas. Sehingga diperoleh polinomial karakteristik
๐จ(๐ค๐ป(๐9)) adalah
60
๐(๐) = (โ๐)182750 (โ ๐2 โ 1
๐)
180130
= (๐)2620 ( ๐2 โ 1)180130
= (๐)2620(๐ โ 1)180130(๐ + 1)180130
= (๐ โ 1)180130(๐)2620(๐ + 1)180130
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 1, ๐2 = 0 dan ๐3 = โ1.
Kemudian akan dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2, 3 dan diperoleh
๐(๐1) = 180130, ๐(๐2) = 2620 dan ๐(๐3) = 180130. Sehingga diperoleh
spektrum keterhubungan graf subgrup ๐ค๐ป(๐9), dengan ๐ป = {(1)} adalah
๐ ๐๐๐๐ด( ๐ค๐ป(๐9)) = [1 0 โ1
180130 2620 180130].
3.1.8 Grup Simetri ๐บ๐๐
Sesuai batasan masalah maka subgrup yang diambil hanyalah subgrup
{(1)} dari grup simetri, atau ๐ป = {(1)}. Berdasarkan definisi graf subgrup maka
diperoleh titik graf subgrup dari grup simetri ๐10 untuk subgrup ๐ป adalah
๐(๐ค๐ป (๐10)) = ๐10. Sisi graf subgrup {(1)} dari grup simetri ๐10 dapat diperoleh
dengan menggunakan cara yang sama seperti pada pembahasan 3.1.1.
Matriks keterhubungan dari ๐ค๐ป (๐10) dapat diketahui setelah didapat
๐(๐ค๐ป (๐10)) dan ๐ธ(๐ค๐ป (๐10)), kemudian matriks tersebut direduksi untuk
memperoleh matriks segitiga atas. Sehingga diperoleh polinomial karakteristik
๐จ(๐ค๐ป(๐10)) adalah
61
๐(๐) = (โ๐)1819148 (โ ๐2 โ 1
๐)
1809652
= (๐)9496 ( ๐2 โ 1)1809652
= (๐)9496(๐ โ 1)1809652(๐ + 1)1809652
= (๐ โ 1)1809652(๐)9496(๐ + 1)1809652
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 1, ๐2 = 0 dan ๐3 = โ1.
Kemudian akan dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2, 3 dan diperoleh
๐(๐1) = 1809652, ๐(๐2) = 9496 dan ๐(๐3) = 1809652. Sehingga diperoleh
spektrum keterhubungan graf subgrup ๐ค๐ป(๐10), dengan ๐ป = {(1)} adalah
๐ ๐๐๐๐ด( ๐ค๐ป(๐10)) = [1 0 โ1
1809652 9496 1809652].
Dari spektrum yang telah diteliti, diperoleh bentuk polinomial
karakteristik dan spektrum keterhubungan graf subgrup {(1)} dari grup simetri,
yang dapat dilihat pada Tabel 3.2 dan Tabel 3.3, dengan ๐๐ adalah banyaknya titik
terasing pada ๐ค๐ป(๐๐) dan ๐ฟ๐
2 adalah banyaknya banyaknya sisi pada ๐ค๐ป(๐๐).
Tabel 3.2 Polinomial Karakteristik Matriks Keterhubungan
dari Graf Subgrup dari Grup Simetri ๐๐
Grup Simetri ๐๐ ๐๐ ๐ฟ๐
2
Polinomial Karakteristik Matriks
Keterhubungan
Grup Simetri ๐3 4 1 (๐)4(๐ โ 1)(๐ + 1)
Grup Simetri ๐4 10 7 (๐)10(๐ โ 1)7(๐ + 1)7
Grup Simetri ๐5 26 47 (๐)26(๐ โ 1)47(๐ + 1)47
Grup Simetri ๐6 76 322 (๐)76(๐ โ 1)322(๐ + 1)322
Grup Simetri ๐7 232 2404 (๐)232(๐ โ 1)2404(๐ + 1)2404
Grup Simetri ๐8 2764 19778 (๐)764(๐ โ 1)19778(๐ + 1)19778
Grup Simetri ๐9 2620 180130 (๐)2620(๐ โ 1)180130(๐ + 1)180130
Grup Simetri ๐10 9496 1809652 (๐)9496(๐ โ 1)1809652(๐ + 1)1809652
โฎ โฎ โฎ โฎ
Grup Simetri ๐๐ ๐๐ ๐ฟ๐2
(๐)๐๐(๐ โ 1)๐ฟ๐2 (๐ + 1)
๐ฟ๐2
62
Tabel 3.3 Spektrum keterhubungan
dari Graf Subgrup dari Grup Simetri ๐๐
Grup Simetri ๐๐ ๐๐ ๐ฟ๐
2 Spektrum Keterhubungan
Grup Simetri ๐3 4 1 [1 0 โ11 4 1
]
Grup Simetri ๐4 10 7 [1 0 โ17 10 7
]
Grup Simetri ๐5 26 47 [1 0 โ147 26 47
]
Grup Simetri ๐6 76 322 [1 0 โ1322 76 322
]
Grup Simetri ๐7 232 2404 [1 0 โ1
2404 232 2404]
Grup Simetri ๐8 2764 19778 [1 0 โ1
19778 764 19778]
Grup Simetri ๐9 2620 180130 [1 0 โ1
180130 2620 180130]
Grup Simetri ๐10 9496 1809652 [1 0 โ1
1809652 9496 1809652]
โฎ โฎ โฎ โฎ
Grup Simetri ๐๐ ๐๐ ๐ฟ๐2
[1 0 โ1๐ฟ๐2
๐๐๐ฟ๐2]
Teorema 3.1
Misalkan ๐๐ grup simetri dan ๐ป = {(1)} subgrup dari ๐๐. Polinomial
karakteristik matriks keterhubungan graf subgrup ๐ค๐ป(๐๐) adalah ๐(๐) =
(๐)๐๐(๐ โ 1)๐ฟ๐2 (๐ + 1)
๐ฟ๐2 , dengan
๐๐ =
{
1 + ฮฃ๐=1
๐โ1
2 ๐!
2๐(๐!)(๐โ2(๐))! , ๐ ganjil
1 + ฮฃ๐=1
๐
2 ๐!
2๐(๐!)(๐โ2(๐))! , ๐ genap
yang merupakan banyaknya titik terasing di ๐ค๐ป(๐๐) dan ๐ฟ๐
2 merupakan
banyaknya sisi di ๐ค๐ป(๐๐) dengan ๐ฟ๐ = ๐! โ ๐๐.
Bukti
Diberikan grup simetri ๐๐ = ๐ด โช ๐ต, dengan ๐ด = {๐1, ๐2, โฆ , ๐๐๐}
menyatakan himpunan unsur pada ๐๐ yang memiliki order kurang dari tiga,
63
dan ๐ต = {๐1, ๐2, โฆ , ๐๐ฟ๐} menyatakan himpunan unsur pada ๐๐ yang
memiliki order lebih dari dua, ๐ป = {(1)}.
Sesuai definisi graf subgrup, maka diperoleh matriks keterhubungan dari
๐ค๐ป(๐๐) adalah sebagai berikut
๐จ(๐ค๐ป (๐๐) ) =
๐1 ๐2 โฆ ๐๐๐ ๐1 ๐2 ๐3 ๐4 โฆ ๐๐ฟ๐โ1 ๐๐ฟ๐
๐1๐2โฎ๐๐๐๐1๐2๐3๐4โฎ
๐๐ฟ๐โ1๐๐ฟ๐
[ 0 0 โฆ 0 0 0 0 0 โฆ 0 0
0 0 โฆ 0 0 0 0 0 โฆ 0 0
โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ
0 0 โฆ 0 0 0 0 0 โฆ 0 0
0 0 โฆ 0 0 1 0 0 โฆ 0 0
0 0 โฆ 0 1 0 0 0 โฆ 0 0
0 0 โฆ 0 0 0 0 1 โฆ 0 0
0 0 โฆ 0 0 0 1 0 โฆ 0 0
โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ
0 0 โฆ 0 0 0 0 0 โฆ 0 1
0 0 โฆ 0 0 0 0 0 โฆ 1 0 ]
Polinomial karakteristik ๐จ(๐ค๐ป(๐๐)) diperoleh dari ๐๐๐ก(๐จ(๐ค๐ป(๐๐) โ ๐๐ฐ).
Dengan eliminasi Gauss pada (๐จ(๐ค๐ป(๐๐) โ ๐๐ฐ) diperoleh matriks segitiga
atas berikut
๐1 ๐2 โฆ ๐๐๐ ๐1 ๐2 ๐3 ๐4 โฆ ๐๐ฟ๐โ1 ๐๐ฟ๐
๐1๐2โฎ
๐๐๐๐1โฆ
๐2๐3โฆ
๐4โฎ
๐๐ฟ๐โ1โฆ
๐๐ฟ๐ [ โ๐ 0 โฆ 0 0 0 0 0 โฆ 0 0
0 โ๐ โฆ 0 0 0 0 0 โฆ 0 0
โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ
0 0 โฆ โ๐ 0 0 0 0 โฆ 0 0
0 0 โฆ 0 โ๐ 1 0 0 โฆ 0 0
0 0 โฆ 0 0 โ๐2 โ 1
๐0 0 โฆ 0 0
0 0 โฆ 0 0 0 โ๐ 1 โฆ 0 0
0 0 โฆ 0 0 0 0 โ๐2 โ 1
๐โฆ 0 0
โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ
0 0 โฆ 0 0 0 0 0 โฆ โ๐ 1
0 0 โฆ 0 0 0 0 0 โฆ 0 โ๐2 โ 1
๐
]
Maka ๐๐๐ก(๐จ(๐ค๐ป(๐๐) โ ๐๐ฐ) tidak lain adalah perkalian unsur-unsur diagonal
utama matriks segitiga atas tersebut. Maka diperoleh polinomial
karakteristik dari ๐จ(๐ค๐ป(๐๐) adalah
64
๐(๐) = (โ๐)๐๐+
๐ฟ๐2 (โ
๐2 โ 1
๐)
๐ฟ๐2
= (๐)๐๐ ( ๐2 โ 1)๐ฟ๐2
= (๐)๐๐(๐ โ 1)๐ฟ๐2 (๐ + 1)
๐ฟ๐2
โ
Corollary 3.2
Misalkan ๐๐ grup simetri dan ๐ป = {(1)} subgrup dari ๐๐. Spektrum
keterhubungan graf subgrup ๐ค๐ป(๐๐) adalah ๐ ๐๐๐๐ด(๐ค๐ป(๐๐)) =
[1 0 โ1๐ฟ๐
2๐๐
๐ฟ๐
2
], dengan ๐๐ =
{
1 + ฮฃ๐=1
๐โ1
2 ๐!
2๐(๐!)(๐โ2(๐))! , ๐ ganjil
1 + ฮฃ๐=1
๐
2 ๐!
2๐(๐!)(๐โ2(๐))! , ๐ genap
yang merupakan banyaknya titik terasing di ๐ค๐ป(๐๐) dan ๐ฟ๐
2 merupakan
banyaknya sisi di ๐ค๐ป(๐๐) dengan ๐ฟ๐ = ๐! โ ๐๐.
Bukti
Berdasarkan Teorema 3.1, polinomial karakteristik dari ๐จ(๐ค๐ป(๐๐)) adalah
๐(๐) = (๐)๐๐(๐ โ 1)๐ฟ๐2 (๐ + 1)
๐ฟ๐2 = (๐ โ 1)
๐ฟ๐2 (๐)๐๐(๐ + 1)
๐ฟ๐2 . Dengan
menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 1, ๐2 = 0 dan ๐3 = โ1, dan
diperoleh ๐(๐1) =๐ฟ๐
2, ๐(๐2) = ๐๐ dan ๐(๐3) =
๐ฟ๐
2. Sehingga diperoleh
spektrum keterhubungan graf subgrup ๐ค๐ป(๐๐) adalah ๐ ๐๐๐๐ด( ๐ค๐ป(๐๐)) =
[1 0 โ1๐ฟ๐
2๐๐
๐ฟ๐
2
]. โ
65
3.2 Spektrum Laplace Graf Subgrup dari Grup Simetri ๐บ๐
3.2.1 Grup Simetri ๐บ๐
Dari Gambar 3.1 dapat diperoleh matriks derajat dari ๐ค๐ป(๐3) adalah
๐ซ(๐ค๐ป (๐3)) =
(1) (12) (13) (23) (123) (132)
(1)
(12)
(13)
(23)
(123)
(132) [ 0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 1 0
0 0 0 0 0 1]
Dengan demikian diperoleh matriks Laplace dari ๐ค๐ป (๐3)
๐ณ(๐ค๐ป(๐3)) = ๐ซ(๐ค๐ป(๐3)) โ ๐จ(๐ค๐ป(๐3))
=
[ 0 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 1 00 0 0 0 0 1]
โ
[ 0 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 10 0 0 0 1 0]
=
[ 0 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 1 โ10 0 0 0 โ1 1 ]
๐๐๐ก(๐ณ(๐ค๐ป(๐3)) โ ๐๐ฐ) = ๐๐๐ก
(
[ 0 0 0 0 0 0
0 1 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 1 โ1
0 0 0 0 โ1 1 ]
โ
[ ๐ 0 0 0 0 0
0 ๐ 0 0 0 0
0 0 ๐ 0 0 0
0 0 0 ๐ 0 0
0 0 0 0 ๐ 0
0 0 0 0 0 ๐]
)
= ๐๐๐ก
(
โ๐ 0 0 0 0 00 โ๐ 0 0 0 00 0 โ๐ 0 0 00 0 0 โ๐ 0 00 0 0 0 1 โ ๐ โ10 0 0 0 โ1 1 โ ๐)
Matriks tersebut dapat direduksi untuk memperoleh matriks segitiga atas
menggunakan metode eliminasi Gauss, sehingga diperoleh hasil sebagai berikut
[ โ๐ 0 0 0 0 00 โ๐ 0 0 0 00 0 โ๐ 0 0 00 0 0 โ๐ 0 00 0 0 0 1 โ ๐ โ1
0 0 0 0 0 1 โ ๐ +โ1
1 โ ๐]
66
Polinomial karakteristik ๐ณ(๐ค๐ป(๐3)) diperoleh dari perkalian unsur diagonal utama
matriks segitiga atas tersebut sebagai berikut
๐(๐) = (โ๐)4(1 โ ๐) (1 โ ๐ +โ1
1 โ ๐)
= (โ๐)4(1 โ ๐) (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
= (โ๐)4(โ2๐ + ๐2)
= (๐)5(โ2 + ๐)
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 1 dan ๐2 = 0. Kemudian
akan dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2.
Untuk ๐1 = 2 disubstitusikan ke dalam (๐ณ(๐ค๐ป(๐3)) โ ๐๐ฐ), sehingga diperoleh
[ โ2 0 0 0 0 0
0 โ2 0 0 0 0
0 0 โ2 0 0 0
0 0 0 โ2 0 0
0 0 0 0 โ1 โ1
0 0 0 0 โ1 โ1]
Selanjutnya hasil matriks tersebut akan direduksi dengan menggunakan metode
eliminasi Gauss, sehingga diperoleh hasil sebagai berikut
[ โ2 0 0 0 0 0
0 โ2 0 0 0 0
0 0 โ2 0 0 0
0 0 0 โ2 0 0
0 0 0 0 โ1 โ1
0 0 0 0 0 0 ]
Dari matriks yang tereduksi tersebut dapat diperoleh ๐(๐1) = 1.
Untuk ๐2 = 0 disubstitusikan ke dalam (๐ณ(๐ค๐ป(๐3)) โ ๐๐ฐ), sehingga diperoleh
[ 0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 1 โ1
0 0 0 0 โ1 1 ]
67
Selanjutnya hasil matriks tersebut akan direduksi dengan menggunakan metode
eliminasi Gauss, sehingga diperoleh hasil sebagai berikut
[ 0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 1 โ1
0 0 0 0 0 0 ]
Dari matriks yang treduksi tersebut dapat diperoleh ๐(๐2) = 5.
Dengan demikian diperoleh spektrum Laplace graf subgrup ๐ค๐ป(๐3),
dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ(๐ค๐ป (๐3)) = [2 01 5
].
3.2.2 Grup Simetri ๐บ๐
Dari Gambar 3.2 dapat diperoleh matriks derajat dari ๐ค๐ป(๐4) sebagai
berikut
๐ซ(๐๐ฏ(๐บ๐) )
=
[ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1]
68
Matriks Laplace dari ๐ค๐ป (๐4) adalah L(๐ค๐ป (๐4)) = ๐ซ(๐ค๐ป (๐4)) โ
๐จ(๐ค๐ป(๐4)), kemudian matriks tersebut direduksi untuk memperoleh matriks
segitiga atas. Sehingga diperoleh polinomial karakteristik ๐ณ(๐ค๐ป(๐4)) adalah
๐(๐) = (โ๐)10(๐ โ 1)7 (1 โ ๐ +โ1
1 โ ๐)7
= (โ๐)10(๐ โ 1)7 (1 โ ๐2 + 2๐ โ 1
๐ โ 1)
7
= (โ๐)10(โ๐2 + 2๐)7
= (๐)17(โ๐ + 2)7
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 7 dan
๐(๐2) = 17. Sehingga diperoleh spektrum Laplace graf subgrup ๐ค๐ป (๐4), dengan
๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ(๐ค๐ป (๐4)) = [2 07 17
].
3.2.3 Grup Simetri ๐บ๐
Matriks derajat dari ๐ค๐ป(๐5) dapat diketahui dari matriks ๐จ(๐ค๐ป (๐5)),
matriks Laplace dari ๐ค๐ป (๐5) adalah L(๐ค๐ป (๐5)) = ๐ซ(๐ค๐ป (๐5)) โ ๐จ(๐ค๐ป(๐5)),
kemudian matriks tersebut direduksi untuk memperoleh matriks segitiga atas.
Sehingga diperoleh polinomial karakteristik ๐ณ(๐ค๐ป(๐5)) adalah
๐(๐) = (โ๐)26(1 โ ๐)47 (1 โ ๐ +โ1
1 โ ๐)47
= (โ๐)26(1 โ ๐)47 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
47
= (โ๐)26(โ2๐ + ๐2)47
= (๐)73(โ2 + ๐)47
69
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 47 dan
๐(๐2) = 73. Sehingga diperoleh spektrum Laplace graf subgrup ๐ค๐ป (๐5), dengan
๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ(๐ค๐ป(๐5)) = [2 047 73
].
3.2.4 Grup Simetri ๐บ๐
Matriks derajat dari ๐ค๐ป(๐6) dapat diketahui dari matriks ๐จ(๐ค๐ป (๐6)),
matriks Laplace dari ๐ค๐ป (๐6) adalah L(๐ค๐ป (๐6)) = ๐ซ(๐ค๐ป (๐6)) โ ๐จ(๐ค๐ป(๐6)),
kemudian matriks tersebut direduksi untuk memperoleh matriks segitiga atas.
Sehingga diperoleh polinomial karakteristik ๐ณ(๐ค๐ป(๐6)) adalah
๐(๐) = (โ๐)76(1 โ ๐)322 (1 โ ๐ +โ1
1 โ ๐)322
= (โ๐)76(1 โ ๐)322 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
322
= (โ๐)76(โ2๐ + ๐2)322
= (๐)398(โ2 + ๐)322
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 322 dan
๐(๐2) = 398. Sehingga diperoleh spektrum Laplace graf subgrup ๐ค๐ป(๐6), dengan
๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ(๐ค๐ป(๐6) ) = [2 0322 398
].
3.2.5 Grup Simetri ๐บ๐
Matriks derajat dari ๐ค๐ป(๐7) dapat diketahui dari matriks ๐จ(๐ค๐ป (๐7)),
matriks Laplace dari ๐ค๐ป (๐7) adalah L(๐ค๐ป (๐7)) = ๐ซ(๐ค๐ป (๐7)) โ ๐จ(๐ค๐ป(๐7)),
kemudian matriks tersebut direduksi untuk memperoleh matriks segitiga atas.
Sehingga diperoleh polinomial karakteristik ๐ณ(๐ค๐ป(๐7)) adalah
70
๐(๐) = (โ๐)232(1 โ ๐)2404 (1 โ ๐ +โ1
1 โ ๐)2404
= (โ๐)232(1 โ ๐)2404 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
2404
= (โ๐)232(โ2๐ + ๐2)2404
= (๐)2636(โ2 + ๐)2404
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 2404 dan
๐(๐2) = 2636. Sehingga diperoleh spektrum Laplace graf subgrup ๐ค๐ป(๐7),
dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ(๐ค๐ป(๐7)) = [2 0
2404 2636].
3.2.6 Grup Simetri ๐บ๐
Matriks derajat dari ๐ค๐ป(๐8) dapat diketahui dari matriks ๐จ(๐ค๐ป (๐8)),
matriks Laplace dari ๐ค๐ป (๐8) adalah L(๐ค๐ป (๐8)) = ๐ซ(๐ค๐ป (๐8)) โ ๐จ(๐ค๐ป(๐8)),
kemudian matriks tersebut direduksi untuk memperoleh matriks segitiga atas.
Sehingga diperoleh polinomial karakteristik ๐ณ(๐ค๐ป(๐8)) adalah
๐(๐) = (โ๐)764(1 โ ๐)19778 (1 โ ๐ +โ1
1 โ ๐)19778
= (โ๐)764(1 โ ๐)19778 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
19778
= (โ๐)764(โ2๐ + ๐2)19778
= (๐)20542(โ2 + ๐)19778
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 19778 dan
๐(๐2) = 20542. Sehingga diperoleh spektrum Laplace graf subgrup ๐ค๐ป(๐8),
dengan ๐ป = {(1)} adalah sebagai berikut ๐ ๐๐๐๐ฟ(๐ค๐ป(๐8)) = [2 0
19778 20542].
71
3.2.7 Grup Simetri ๐บ๐
Matriks derajat dari ๐ค๐ป(๐9) dapat diketahui dari matriks ๐จ(๐ค๐ป (๐9)),
matriks Laplace dari ๐ค๐ป (๐9) adalah L(๐ค๐ป (๐9)) = ๐ซ(๐ค๐ป (๐9)) โ ๐จ(๐ค๐ป(๐9)),
kemudian matriks tersebut direduksi untuk memperoleh matriks segitiga atas.
Sehingga diperoleh polinomial karakteristik ๐ณ(๐ค๐ป(๐9)) adalah
๐(๐) = (โ๐)2620(1 โ ๐)180130 (1 โ ๐ +โ1
1 โ ๐)180130
= (โ๐)2620(1 โ ๐)180130 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
180130
= (โ๐)2620(โ2๐ + ๐2)180130
= (๐)182750(โ2 + ๐)180130
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 180130 dan
๐(๐2) = 182750. Sehingga diperoleh spektrum Laplace graf subgrup ๐ค๐ป (๐9),
dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ(๐ค๐ป(๐9)) = [2 0
180130 182750].
3.2.8 Grup Simetri ๐บ๐๐
Matriks derajat dari ๐ค๐ป(๐10) dapat diketahui dari matriks ๐จ(๐ค๐ป (๐10)),
matriks Laplace dari ๐ค๐ป (๐10) adalah L(๐ค๐ป (๐10)) = ๐ซ(๐ค๐ป (๐10)) โ ๐จ(๐ค๐ป(๐10)),
kemudian matriks tersebut direduksi untuk memperoleh matriks segitiga atas.
Sehingga diperoleh polinomial karakteristik ๐ณ(๐ค๐ป(๐10)) adalah
72
๐(๐) = (โ๐)9496(1 โ ๐)1809652 (1 โ ๐ +โ1
1 โ ๐)1809652
= (โ๐)9496(1 โ ๐)1809652 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
1809652
= (โ๐)9496(โ2๐ + ๐2)1809652
= (๐)1819148(โ2 + ๐)1809652
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 1809652 dan
๐(๐2) = 1819148. Sehingga diperoleh spektrum Laplace graf subgrup ๐ค๐ป(๐10),
dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ(๐ค๐ป(๐10)) = [2 0
1809652 1819148].
Dari spektrum yang telah diteliti, diperoleh bentuk polinomial
karakteristik dan spektrum Laplace graf subgrup dari beberapa grup simetri, yang
dapat dilihat pada Tabel 3.4 dan Tabel 3.5, dengan ๐๐ merupakan banyaknya titik
terasing pada ๐ค๐ป(๐๐), dan ๐ฟ๐
2 merupakan banyaknya sisi pada ๐ค๐ป(๐๐).
Tabel 3.4 Polinomial Karakteristik Matriks Laplace
dari Graf Subgrup dari Grup Simetri ๐๐
Grup Simetri ๐๐ ๐๐ ๐ฟ๐2
Polinomial Karakteristik
Matriks Laplace
Grup Simetri ๐3 4 1 (๐)5(โ2 + ๐)1
Grup Simetri ๐4 10 7 (๐)17(โ2 + ๐)7
Grup Simetri ๐5 26 47 (๐)73(โ2 + ๐)47
Grup Simetri ๐6 76 322 (๐)398(โ2 + ๐)322
Grup Simetri ๐7 232 2404 (๐)2636(โ2 + ๐)2404
Grup Simetri ๐8 2764 19778 (๐)20542(โ2 + ๐)19778
Grup Simetri ๐9 2620 180130 (๐)182750(โ2 + ๐)180130
Grup Simetri ๐10 9496 1809652 (๐)1819148(โ2 + ๐)1809652
โฎ โฎ โฎ โฎ
Grup Simetri ๐๐ ๐๐ ๐ฟ๐2
(๐)๐๐+๐ฟ๐2 (โ2 + ๐)
๐ฟ๐2
73
Tabel 3.5 Spektrum Laplace
dari Graf Subgrup dari Grup Simetri ๐๐
Grup Simetri ๐๐ ๐๐ ๐ฟ๐
2 Spektrum Laplace
Grup Simetri ๐3 4 1 [2 01 5
]
Grup Simetri ๐4 10 7 [2 07 17
]
Grup Simetri ๐5 26 47 [2 047 73
]
Grup Simetri ๐6 76 322 [2 0322 398
]
Grup Simetri ๐7 232 2404 [2 0
2404 2636]
Grup Simetri ๐8 2764 19778 [2 0
19778 20542]
Grup Simetri ๐9 2620 180130 [2 0
180130 182750]
Grup Simetri ๐10 9496 1809652 [2 0
1809652 1819148]
โฎ โฎ โฎ โฎ
Grup Simetri ๐๐ ๐๐ ๐ฟ๐2
[2 0๐ฟ๐2
๐๐ +๐ฟ๐2]
Teorema 3.3
Misalkan ๐๐ grup simetri dan ๐ป = {(1)} subgrup dari ๐๐. Polinomial
karakteristik matriks Laplace graf subgrup ๐ค๐ป(๐๐), adalah ๐(๐) =
(๐)๐๐+๐ฟ๐2 (โ2 + ๐)
๐ฟ๐2 , dengan ๐๐ merupakan banyaknya titik terasing, dan
๐ฟ๐
2 merupakan banyaknya sisi pada ๐ค๐ป(๐๐).
Bukti
Berdasarkan pembuktian Teorema 3.1, telah diperoleh matriks
keterhubungan dari ๐ค๐ป(๐๐). Misalkan ๐ด = {๐ โ ๐๐ | |๐| < 3} =
{๐1, ๐2, โฆ , ๐๐๐}. Misalkan ๐ต = {๐ โ ๐๐ | |๐| > 2} = {๐1, ๐2, โฆ , ๐๐ฟ๐}.
Diperoleh matriks derajat dari ๐ค๐ป(๐๐) adalah
74
๐ซ(๐ค๐ป (๐๐) ) =
๐1 ๐2 โฆ ๐๐๐ ๐1 ๐2 ๐3 ๐4 โฆ ๐๐ฟ๐โ1 ๐๐ฟ๐๐1๐2โฎ๐๐๐๐1๐2๐3๐4โฎ
๐๐ฟ๐โ1๐๐ฟ๐
[ 0 0 โฆ 0 0 0 0 0 โฆ 0 00 0 โฆ 0 0 0 0 0 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 0 00 0 โฆ 0 1 0 0 0 โฆ 0 00 0 โฆ 0 0 1 0 0 โฆ 0 00 0 โฆ 0 0 0 1 0 โฆ 0 00 0 โฆ 0 0 0 0 1 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 1 00 0 โฆ 0 0 0 0 0 โฆ 0 1 ]
matriks Laplace dari ๐ค๐ป(๐๐) adalah ๐ณ(๐ค๐ป(๐๐)) = ๐ซ(๐ค๐ป(๐๐)) โ ๐จ(๐ค๐ป(๐๐))
๐ณ(๐ค๐ป (๐๐) ) =
[ 0 0 โฆ 0 0 0 0 0 โฆ 0 00 0 โฆ 0 0 0 0 0 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 0 00 0 โฆ 0 1 โ1 0 0 โฆ 0 00 0 โฆ 0 โ1 1 0 0 โฆ 0 00 0 โฆ 0 0 0 1 โ1 โฆ 0 00 0 โฆ 0 0 0 โ1 1 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 1 โ10 0 โฆ 0 0 0 0 0 โฆ โ1 1 ]
Polinomial karakteristik ๐ณ(๐ค๐ป(๐๐)) diperoleh dari ๐๐๐ก(๐ณ(๐ค๐ป(๐๐) โ ๐๐ฐ).
๐๐๐ก(๐ณ(๐ค๐ป (๐๐) ) โ ๐๐ฐ) =
๐๐๐ก
(
[ 0 0 โฆ 0 0 0 0 0 โฆ 0 00 0 โฆ 0 0 0 0 0 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 0 00 0 โฆ 0 1 โ1 0 0 โฆ 0 00 0 โฆ 0 โ1 1 0 0 โฆ 0 00 0 โฆ 0 0 0 1 โ1 โฆ 0 00 0 โฆ 0 0 0 โ1 1 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 1 โ10 0 โฆ 0 0 0 0 0 โฆ โ1 1 ]
โ
[ ๐ 0 0 0 0 0 0 0 0 โฆ 00 ๐ 0 0 0 0 0 0 0 โฆ 00 0 ๐ 0 0 0 0 0 0 โฆ 00 0 0 ๐ 0 0 0 0 0 โฆ 00 0 0 0 ๐ 0 0 0 0 โฆ 00 0 0 0 0 ๐ 0 0 0 โฆ 00 0 0 0 0 0 ๐ 0 0 โฆ 00 0 0 0 0 0 0 ๐ 0 โฆ 00 0 0 0 0 0 0 0 ๐ โฆ 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 0 0 0 0 0 0 0 โฆ ๐]
)
= ๐๐๐ก
๐1 ๐2 โฆ ๐๐๐ ๐1 ๐2 ๐3 ๐4 โฆ ๐๐ฟ๐โ1 ๐๐ฟ๐
(
โ๐ 0 โฆ 0 0 0 0 0 โฆ 0 00 โ๐ โฆ 0 0 0 0 0 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ โ๐ 0 0 0 0 โฆ 0 00 0 โฆ 0 1 โ ๐ โ1 0 0 โฆ 0 00 0 โฆ 0 โ1 1 โ ๐ 0 0 โฆ 0 00 0 โฆ 0 0 0 1 โ ๐ โ1 โฆ 0 00 0 โฆ 0 0 0 โ1 1 โ ๐ โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 1 โ ๐ โ10 0 โฆ 0 0 0 0 0 โฆ โ1 1 โ ๐)
75
Dengan eliminasi Gauss pada ๐ณ(๐ค๐ป(๐๐) โ ๐๐ฐ) diperoleh matriks segitiga
atas berikut
๐1 ๐2 โฆ ๐๐๐ ๐1 ๐2 ๐3 ๐4 โฆ ๐๐ฟ๐โ1 ๐๐ฟ๐ ๐1๐2โฎ๐๐๐๐1โฆ๐2๐3โฆ๐4โฎ
๐๐ฟ๐โ1โฆ๐๐ฟ๐
[ โ๐ 0 โฆ 0 0 0 0 0 โฆ 0 00 โ๐ โฆ 0 0 0 0 0 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ โ๐ 0 0 0 0 โฆ 0 00 0 โฆ 0 1 โ ๐ โ1 0 0 โฆ 0 0
0 0 โฆ 0 0 1 โ ๐ +โ1
1โ๐0 0 โฆ 0 0
0 0 โฆ 0 0 0 1 โ ๐ โ1 โฆ 0 0
0 0 โฆ 0 0 0 0 1 โ ๐ +โ1
1โ๐โฆ 0 0
โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 1 โ ๐ โ1
0 0 โฆ 0 0 0 0 0 โฆ 0 1 โ ๐ +โ1
1โ๐
]
Maka ๐๐๐ก(๐ณ(๐ค๐ป(๐๐) โ ๐๐ฐ) tidak lain adalah perkalian unsur-unsur diagonal
utama matriks segitiga atas tersebut. Maka diperoleh polinomial
karakteristik dari ๐ณ(๐ค๐ป(๐๐) adalah
๐(๐) = (โ๐)๐๐(1 โ ๐)๐ฟ๐2 (1 โ ๐ +
โ1
1โ๐)
๐ฟ๐2
= (โ๐)๐๐(1 โ ๐)๐ฟ๐2 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
๐ฟ๐2
= (โ๐)๐๐(โ2๐ + ๐2)๐ฟ๐2
Karena ๐๐ genap maka
๐(๐) = (๐)๐๐(๐)๐ฟ๐2 (โ2+ ๐)
๐ฟ๐2
= (๐)๐๐+๐ฟ๐2 (โ2 + ๐)
๐ฟ๐2 . โ
Corollary 3.4
Misalkan ๐๐ grup simetri dan ๐ป = {(1)} subgrup dari ๐๐. Spektrum Laplace
graf subgrup ๐ค๐ป(๐๐) adalah ๐ ๐๐๐๐ฟ(๐ค๐ป(๐๐)) = [2 0๐ฟ๐
2๐๐ +
๐ฟ๐
2
], dengan ๐๐
76
merupakan banyaknya titik terasing, dan ๐ฟ๐
2 merupakan banyaknya sisi pada
๐ค๐ป(๐๐).
Bukti
Berdasarkan Teorema 3.3, polinomial karakteristik dari ๐ณ(๐ค๐ป(๐๐)) adalah
๐(๐) = (โ2 + ๐)๐ฟ๐2 (๐)๐๐+
๐ฟ๐2 . Dengan menetapkan ๐(๐) = 0 maka
diperoleh ๐1 = 2 dan ๐2 = 0, dan diperoleh ๐(๐1) =๐ฟ๐
2 dan ๐(๐2) =
๐๐ +๐ฟ๐
2. Sehingga diperoleh spektrum Laplace graf subgrup ๐ค๐ป(๐๐) adalah
๐ ๐๐๐๐ฟ(๐ค๐ป(๐๐)) = [2 0๐ฟ๐
2๐๐ +
๐ฟ๐
2
]. โ
3.3 Spektrum Signless Laplace Graf Subgrup dari Grup Simetri ๐บ๐
3.3.1 Grup Simetri ๐บ๐
Matriks signless Laplace dari ๐ค๐ป (๐3) dapat ditentukan dengan
menggunakan cara berikut
๐ณ+(๐ค๐ป (๐3)) = ๐ซ(๐ค๐ป(๐3)) + ๐จ(๐ค๐ป (๐3))
=
[ 0 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 1 00 0 0 0 0 1]
+
[ 0 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 10 0 0 0 1 0]
=
[ 0 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 1 10 0 0 0 1 1]
๐๐๐ก(๐ณ+(๐ค๐ป(๐3) ) โ ๐๐ฐ) = ๐๐๐ก
(
[ 0 0 0 0 0 0
0 1 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 1 1
0 0 0 0 1 1]
โ
[ ๐ 0 0 0 0 0
0 ๐ 0 0 0 0
0 0 ๐ 0 0 0
0 0 0 ๐ 0 0
0 0 0 0 ๐ 0
0 0 0 0 0 ๐]
)
77
= ๐๐๐ก
(
โ๐ 0 0 0 0 00 โ๐ 0 0 0 00 0 โ๐ 0 0 00 0 0 โ๐ 0 00 0 0 0 1 โ ๐ 10 0 0 0 1 1 โ ๐)
Matriks tersebut dapat direduksi untuk memperoleh matriks segitiga atas
menggunakan metode eliminasi Gauss, sehingga diperoleh hasil sebagai berikut
[ โ๐ 0 0 0 0 00 โ๐ 0 0 0 00 0 โ๐ 0 0 00 0 0 โ๐ 0 00 0 0 0 1 โ ๐ 1
0 0 0 0 0 1 โ ๐ + (โ1
1 โ ๐)]
Polinomial karakteristik ๐ณ+(๐ค๐ป(๐3) ) diperoleh dari perkalian unsur diagonal
utama matriks segitiga sebagai berikut
๐(๐) = (โ๐)4(1 โ ๐) (1 โ ๐ +โ1
1 โ ๐)
= (โ๐)4(1 โ ๐) (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
= (โ๐)4(โ2๐ + ๐2)
= (๐)5(โ2 + ๐)
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
akan dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2.
Untuk ๐1 = 2 disubstitusikan ke dalam (๐ณ+(๐ค๐ป (๐3)) โ ๐๐ฐ), sehingga diperoleh
[ โ2 0 0 0 0 00 โ2 0 0 0 00 0 โ2 0 0 00 0 0 โ2 0 00 0 0 0 โ1 10 0 0 0 1 โ1]
Selanjutnya hasil matriks tersebut akan direduksi dengan menggunakan metode
eliminasi Gauss, sehingga diperoleh hasil sebagai berikut
78
[ โ2 0 0 0 0 00 โ2 0 0 0 00 0 โ2 0 0 00 0 0 โ2 0 00 0 0 0 โ1 10 0 0 0 0 0]
Dari matriks yang tereduksi tersebut dapat diperoleh ๐(๐1) = 1.
Untuk ๐2 = 0 disubstitusikan ke dalam (๐ณ+(๐ค๐ป (๐3)) โ ๐๐ฐ), sehingga diperoleh
[ 0 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 1 10 0 0 0 1 1]
Selanjutnya hasil matriks tersebut akan direduksi dengan menggunakan metode
eliminasi Gauss, sehingga diperoleh hasil sebagai berikut
[ 0 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 0 00 0 0 0 1 10 0 0 0 0 0]
Dari matriks yang treduksi tersebut dapat diperoleh ๐(๐2) = 5.
Dengan demikian diperoleh spektrum Laplace graf subgrup ๐ค๐ป(๐3),
dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ+(๐ค๐ป(๐3)) = [2 01 5
].
3.3.2 Grup Simetri ๐บ๐
Matriks signless Laplace dari ๐ค๐ป (๐4) adalah ๐ณ+(๐ค๐ป (๐4)) = ๐ซ(๐ค๐ป (๐4)) +
๐จ(๐ค๐ป(๐4)), kemudian matriks tersebut direduksi untuk memperoleh matriks
segitiga atas. Sehingga diperoleh polinomial karakteristik ๐ณ+(๐ค๐ป (๐4) ) adalah
79
๐(๐) = (โ๐)10(๐ โ 1)7 (1
๐ โ 1โ ๐ + 1)
7
= (โ๐)10(๐ โ 1)7 (1 โ ๐2 + 2๐ โ 1
๐ โ 1)
7
= (โ๐)10(โ๐2 + 2๐)7
= (๐)17(โ๐ + 2)7
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0.
Kemudian dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 7
dan ๐(๐2) = 17. Sehingga diperoleh spektrum signless Laplace graf subgrup
๐ค๐ป (๐4), dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ+(๐ค๐ป (๐4)) = [2 07 17
].
3.3.3 Grup Simetri ๐บ๐
Matriks signless Laplace dari ๐ค๐ป (๐5) adalah ๐ณ+(๐ค๐ป (๐5)) = ๐ซ(๐ค๐ป (๐5)) +
๐จ(๐ค๐ป(๐5)), kemudian matriks tersebut direduksi untuk memperoleh matriks
segitiga atas. Sehingga diperoleh polinomial karakteristik ๐ณ+(๐ค๐ป (๐5)) adalah
๐(๐) = (โ๐)26(1 โ ๐)47 (1 โ ๐ +โ1
1 โ ๐)47
= (โ๐)26(1 โ ๐)47 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
47
= (โ๐)26(โ2๐ + ๐2)47
= (๐)73(โ2 + ๐)47
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 47 dan
๐(๐2) = 73. Sehingga diperoleh spektrum signless Laplace graf subgrup ๐ค๐ป (๐5),
dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ+(๐ค๐ป(๐5)) = [2 047 73
].
80
3.3.4 Grup Simetri ๐บ๐
Matriks signless Laplace dari ๐ค๐ป(๐6) adalah ๐ณ+(๐ค๐ป (๐6)) = ๐ซ(๐ค๐ป (๐6)) +
๐จ(๐ค๐ป(๐6)), kemudian matriks tersebut direduksi untuk memperoleh matriks
segitiga atas. Sehingga diperoleh polinomial karakteristik ๐ณ+(๐ค๐ป(๐6)) adalah
๐(๐) = (โ๐)76(1 โ ๐)322 (1 โ ๐ +โ1
1 โ ๐)322
= (โ๐)76(1 โ ๐)322 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
322
= (โ๐)76(โ2๐ + ๐2)322
= (๐)398(โ2 + ๐)322
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 322 dan
๐(๐2) = 398. Sehingga diperoleh spektrum signless Laplace graf subgrup
๐ค๐ป(๐6), dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ+(๐ค๐ป(๐6) ) = [2 0322 398
].
3.3.5 Grup Simetri ๐บ๐
Matriks signless Laplace dari ๐ค๐ป (๐7) adalah ๐ณ+(๐ค๐ป (๐7)) = ๐ซ(๐ค๐ป (๐7)) +
๐จ(๐ค๐ป(๐7)), kemudian matriks tersebut direduksi untuk memperoleh matriks
segitiga atas. Sehingga diperoleh polinomial karakteristik ๐ณ+(๐ค๐ป (๐7)) adalah
๐(๐) = (โ๐)232(1 โ ๐)2404 (1 โ ๐ +โ1
1 โ ๐)2404
= (โ๐)232(1 โ ๐)2404 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
2404
= (โ๐)232(โ2๐ + ๐2)2404
= (๐)2636(โ2 + ๐)2404
81
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 2404 dan
๐(๐2) = 2636. Sehingga diperoleh spektrum signless Laplace graf subgrup
๐ค๐ป (๐7), dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ+(๐ค๐ป(๐7)) = [2 0
2404 2636].
3.3.6 Grup Simetri ๐บ๐
Matriks signless Laplace dari ๐ค๐ป(๐8) adalah ๐ณ+(๐ค๐ป (๐8)) = ๐ซ(๐ค๐ป (๐8)) +
๐จ(๐ค๐ป(๐8)), kemudian matriks tersebut direduksi untuk memperoleh matriks
segitiga atas. Sehingga diperoleh polinomial karakteristik ๐ณ+(๐ค๐ป(๐8)) adalah
๐(๐) = (โ๐)764(1 โ ๐)19778 (1 โ ๐ +โ1
1 โ ๐)19778
= (โ๐)764(1 โ ๐)19778 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
19778
= (โ๐)764(โ2๐ + ๐2)19778
= (๐)20542(โ2 + ๐)19778
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 19778 dan
๐(๐2) = 20542. Sehingga diperoleh spektrum signless Laplace graf subgrup
๐ค๐ป(๐8), dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ+(๐ค๐ป(๐8)) = [2 0
19778 20542].
3.3.7 Grup Simetri ๐บ๐
Matriks signless Laplace dari ๐ค๐ป(๐9) adalah ๐ณ+(๐ค๐ป (๐9)) = ๐ซ(๐ค๐ป (๐9)) +
๐จ(๐ค๐ป(๐9)), kemudian matriks tersebut direduksi untuk memperoleh matriks
segitiga atas. Sehingga diperoleh polinomial karakteristik ๐ณ+(๐ค๐ป(๐9)) adalah
82
๐(๐) = (โ๐)2620(1 โ ๐)180130 (1 โ ๐ +โ1
1 โ ๐)180130
= (โ๐)2620(1 โ ๐)180130 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
180130
= (โ๐)2620(โ2๐ + ๐2)180130
= (๐)182750(โ2 + ๐)180130
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 180130 dan
๐(๐2) = 182750. Sehingga diperoleh spektrum signless Laplace graf subgrup
๐ค๐ป (๐9), dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ+ (๐ค๐ป(๐9)) = [2 0
180130 182750].
3.3.8 Grup Simetri ๐บ๐๐
Matriks signless Laplace dari ๐ค๐ป(๐10) adalah ๐ณ+(๐ค๐ป (๐10)) =
๐ซ(๐ค๐ป (๐10)) + ๐จ(๐ค๐ป(๐10)), kemudian matriks tersebut direduksi untuk
memperoleh matriks segitiga atas. Sehingga diperoleh polinomial karakteristik
๐ณ+(๐ค๐ป(๐10)) adalah
๐(๐) = (โ๐)9496(1 โ ๐)1809652 (1 โ ๐ +โ1
1 โ ๐)1809652
= (โ๐)9496(1 โ ๐)1809652 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
1809652
= (โ๐)9496(โ2๐ + ๐2)1809652
= (๐)1819148(โ2 + ๐)1809652
Dengan menetapkan ๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0. Kemudian
dicari ๐(๐๐) untuk setiap ๐, dengan ๐ = 1, 2 dan diperoleh ๐(๐1) = 1809652 dan
๐(๐2) = 1819148. Sehingga diperoleh spektrum signless Laplace graf subgrup
๐ค๐ป(๐10), dengan ๐ป = {(1)} adalah ๐ ๐๐๐๐ฟ+(๐ค๐ป(๐10)) = [2 0
1809652 1819148].
83
Dari spektrum yang telah diteliti, diperoleh bentuk polinomial
karakteristik dan spektrum signless Laplace, yang dapat dilihat pada Tabel 3.6 dan
Tabel 3.7, dengan ๐๐ merupakan banyaknya titik terasing pada ๐ค๐ป(๐๐) dan ๐ฟ๐
2
merupakan banyaknya sisi pada ๐ค๐ป(๐๐).
Tabel 3.6 Polinomial Karakteristik Matriks signless Laplace
dari Graf Subgrup dari Grup Simetri ๐๐
Grup Simetri ๐๐ ๐๐ ๐ฟ๐
2
Polinomial Karakteristik
Matriks signless Laplace
Grup Simetri ๐3 4 1 (๐)5(โ2 + ๐)1
Grup Simetri ๐4 10 7 (๐)17(โ2 + ๐)7
Grup Simetri ๐5 26 47 (๐)73(โ2 + ๐)47
Grup Simetri ๐6 76 322 (๐)398(โ2 + ๐)322
Grup Simetri ๐7 232 2404 (๐)2636(โ2 + ๐)2404
Grup Simetri ๐8 2764 19778 (๐)20542(โ2 + ๐)19778
Grup Simetri ๐9 2620 180130 (๐)182750(โ2 + ๐)180130
Grup Simetri ๐10 9496 1809652 (๐)1819148(โ2 + ๐)1809652
โฎ โฎ โฎ โฎ
Grup Simetri ๐๐ ๐๐ ๐ฟ๐2
(๐)๐๐+๐ฟ๐2 (โ2 + ๐)
๐ฟ๐2
Tabel 3.7 Spektrum signless Laplace
dari Graf Subgrup dari Grup Simetri ๐๐
Grup Simetri ๐๐ ๐๐ ๐ฟ๐
2 Spektrum Laplace
Grup Simetri ๐3 4 1 [2 01 5
]
Grup Simetri ๐4 10 7 [2 07 17
]
Grup Simetri ๐5 26 47 [2 047 73
]
Grup Simetri ๐6 76 322 [2 0322 398
]
Grup Simetri ๐7 232 2404 [2 0
2404 2636]
Grup Simetri ๐8 2764 19778 [2 0
19778 20542]
Grup Simetri ๐9 2620 180130 [2 0
180130 182750]
Grup Simetri ๐10 9496 1809652 [2 0
1809652 1819148]
โฎ โฎ โฎ โฎ
Grup Simetri ๐๐ ๐๐ ๐ฟ๐2
[2 0๐ฟ๐2
๐๐ +๐ฟ๐2]
84
Teorema 3.5
Misalkan ๐๐ grup simetri dan ๐ป = {(1)} subgrup dari ๐๐. Polinomial
karakteristik matriks signless Laplace grup subgrup ๐ค๐ป(๐๐) adalah ๐(๐) =
(๐)๐๐+๐ฟ๐2 (โ2 + ๐)
๐ฟ๐2 , dengan ๐๐ merupakan banyaknya titik terasing dan
๐ฟ๐
2
merupakan banyaknya sisi pada ๐ค๐ป(๐๐).
Bukti
Berdasarkan pembuktian Teorema 3.1, telah diperoleh matriks
keterhubungan dari ๐ค๐ป(๐๐). Berdasarkan pembuktian Teorema 3.3, telah
diperoleh matriks derajat dari ๐ค๐ป(๐๐). Matriks signless Laplace dari ๐ค๐ป(๐๐)
adalah
๐ณ+(๐ค๐ป(๐๐) ) = ๐ซ(๐ค๐ป(๐๐) ) + ๐จ(๐ค๐ป(๐๐)).
๐ณ+(๐ค๐ป (๐๐) ) =
[ 0 0 โฆ 0 0 0 0 0 โฆ 0 00 0 โฆ 0 0 0 0 0 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 0 00 0 โฆ 0 1 1 0 0 โฆ 0 00 0 โฆ 0 1 1 0 0 โฆ 0 00 0 โฆ 0 0 0 1 1 โฆ 0 00 0 โฆ 0 0 0 1 1 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 1 10 0 โฆ 0 0 0 0 0 โฆ 1 1]
Polinomial karakteristik ๐ณ+(๐ค๐ป(๐๐)) diperoleh dari ๐๐๐ก(๐ณ+(๐ค๐ป(๐๐) โ ๐๐ฐ).
๐๐๐ก(๐ณ+(๐ค๐ป(๐๐) โ ๐๐ฐ) =
๐๐๐ก
(
[ 0 0 โฆ 0 0 0 0 0 โฆ 0 00 0 โฆ 0 0 0 0 0 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 0 00 0 โฆ 0 1 1 0 0 โฆ 0 00 0 โฆ 0 1 1 0 0 โฆ 0 00 0 โฆ 0 0 0 1 1 โฆ 0 00 0 โฆ 0 0 0 1 1 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 1 10 0 โฆ 0 0 0 0 0 โฆ 1 1]
โ
[ ๐ 0 0 0 0 0 0 0 0 โฆ 00 ๐ 0 0 0 0 0 0 0 โฆ 00 0 ๐ 0 0 0 0 0 0 โฆ 00 0 0 ๐ 0 0 0 0 0 โฆ 00 0 0 0 ๐ 0 0 0 0 โฆ 00 0 0 0 0 ๐ 0 0 0 โฆ 00 0 0 0 0 0 ๐ 0 0 โฆ 00 0 0 0 0 0 0 ๐ 0 โฆ 00 0 0 0 0 0 0 0 ๐ โฆ 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 0 0 0 0 0 0 0 โฆ ๐]
)
=
85
๐๐๐ก
๐1 ๐2 โฆ ๐๐๐ ๐1 ๐2 ๐3 ๐4 โฆ ๐๐ฟ๐โ1 ๐๐ฟ๐
(
โ๐ 0 โฆ 0 0 0 0 0 โฆ 0 00 โ๐ โฆ 0 0 0 0 0 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ โ๐ 0 0 0 0 โฆ 0 00 0 โฆ 0 1 โ ๐ 1 0 0 โฆ 0 00 0 โฆ 0 1 1 โ ๐ 0 0 โฆ 0 00 0 โฆ 0 0 0 1 โ ๐ 1 โฆ 0 00 0 โฆ 0 0 0 1 1 โ ๐ โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 1 โ ๐ 10 0 โฆ 0 0 0 0 0 โฆ 1 1 โ ๐)
Dengan eliminasi Gauss pada (๐ณ+(๐ค๐ป(๐๐) โ ๐๐ฐ) diperoleh matriks segitiga
atas berikut
๐1 ๐2 โฆ ๐๐๐ ๐1 ๐2 ๐3 ๐4 โฆ ๐๐ฟ๐โ1 ๐๐ฟ๐ ๐1๐2โฎ๐๐๐๐1โฆ๐2๐3โฆ๐4โฎ
๐๐ฟ๐โ1โฆ๐๐ฟ๐ [
โ๐ 0 โฆ 0 0 0 0 0 โฆ 0 00 โ๐ โฆ 0 0 0 0 0 โฆ 0 0โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ โ๐ 0 0 0 0 โฆ 0 00 0 โฆ 0 1 โ ๐ 1 0 0 โฆ 0 0
0 0 โฆ 0 0 1 โ ๐ +โ1
1 โ ๐0 0 โฆ 0 0
0 0 โฆ 0 0 0 1 โ ๐ 1 โฆ 0 0
0 0 โฆ 0 0 0 0 1 โ ๐ +โ1
1 โ ๐โฆ 0 0
โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ โฎ0 0 โฆ 0 0 0 0 0 โฆ 1 โ ๐ 1
0 0 โฆ 0 0 0 0 0 โฆ 0 1 โ ๐ +โ1
1 โ ๐
]
Maka ๐๐๐ก(๐ณ+(๐ค๐ป(๐๐) โ ๐๐ฐ) tidak lain adalah perkalian unsur-unsur
diagonal utama matriks segitiga atas tersebut. Maka diperoleh polinomial
karakteristik dari ๐ณ+(๐ค๐ป(๐๐) adalah
๐(๐) = (โ๐)๐๐(1 โ ๐)๐ฟ๐2 (1 โ ๐ +
โ1
1โ๐)
๐ฟ๐2
= (โ๐)๐๐(1 โ ๐)๐ฟ๐2 (1 โ 2๐ + ๐2 โ 1
1 โ ๐)
๐ฟ๐2
= (โ๐)๐๐(โ2๐ + ๐2)๐ฟ๐2
Karena ๐๐ genap maka
๐(๐) = (๐)๐๐(๐)๐ฟ๐2 (โ2+ ๐)
๐ฟ๐2
= (๐)๐๐+๐ฟ๐2 (โ2+ ๐)
๐ฟ๐2 . โ
86
Corollary 3.6
Misalkan ๐๐ grup simetri dan ๐ป = {(1)} subgrup dari ๐๐. Spektrum signless
Laplace graf subgrup ๐ค๐ป(๐๐) adalah ๐ ๐๐๐๐ฟ+(๐ค๐ป(๐๐)) = [2 0๐ฟ๐
2๐๐ +
๐ฟ๐
2
],
dengan ๐๐ merupakan banyaknya titik terasing dan ๐ฟ๐
2 merupakan
banyaknya sisi pada ๐ค๐ป(๐๐).
Bukti
Berdasarkan Teorema 3.5, polinomial karakteristik dari ๐ณ+(๐ค๐ป(๐๐)) adalah
๐(๐) = (๐)๐๐+๐ฟ๐2 (โ2 + ๐)
๐ฟ๐2 = (โ2 + ๐)
๐ฟ๐2 (๐)๐๐+
๐ฟ๐2 . Dengan menetapkan
๐(๐) = 0 maka diperoleh ๐1 = 2 dan ๐2 = 0, dan diperoleh ๐(๐1) =๐ฟ๐
2
dan ๐(๐2) = ๐๐ +๐ฟ๐
2. Spektrum signless Laplace graf subgrup ๐ค๐ป(๐๐)
adalah ๐ ๐๐๐๐ฟ+(๐ค๐ป(๐๐)) = [2 0๐ฟ๐
2๐๐ +
๐ฟ๐
2
]. โ
3.4 Keteraturan Spektrum Graf
Dalam al-Quran surat al-Furqan ayat 2 yang telah dibahas pada bab II,
dijelaskan bahwa segala sesuatu yang diciptakan Allah, telah Allah tetapkan
ukuran-ukurannya dengan serapi-rapinya. Sehingga segala sesuatu pada ciptaan
Allah terdapat aturan atau tatanan sesuai dengan hikmah yang Allah berikan. Hal
ini dijelaskan dalan tafsir Ibnu Katsir bahwa "Telah menciptakan segala sesuatu
dan menetapkan ukuran-ukurannya dengan serapi-rapinya." Artinya, segala
sesuatu selain Dia adalah makhluk (yang diciptakan) dan marbub (yang berada di
bawah kekuasaan-Nya), dan berada di bawah kekuasaan, aturan, tatanan dan
takdir-Nya (Katsir, 2007). Sementara Al-Qurtubi menjelaskan "Dan Dia
87
menetapkan ukuran-ukuran dengan serapi-rapinya," maksudnya adalah,
menetapkan segala sesuatu dari apa yang diciptakan-Nya sesuai dengan hikmah
yang diinginkan-Nya, dan segala sesuatu berjalan sesuai dengan ketentuan-Nya
(Al-Qurtubi, 2009).
Dalam penentuan spektrum graf juga terdapat beberapa aturan-aturan
dalam penentuannya. Terdapat beberapa langkah-langkah yang perlu diikuti.
Sehingga setelah diperoleh hasilnya yang berupa spektrum graf, maka
terbentuklah keteraturan atau pola yang dapat dianalisis. Hal ini menunjukkan
bahwa spektrum graf memiliki keteraturan-keteraturan sebagaimana yang telah
Allah jelaskan.
Spektrum graf yang tidak lain adalah sebagian dari ilmu Allah yakni
termasuk makhluk ciptaan Allah. Sebagai seorang hamba yang berkewajiban
menuntut ilmu dan berpikir. Dengan mempelajari ilmu-Nya ini untuk meneladani
bahwa dengan memikirkan ilmu-Nya, salah satunya yakni spektrum graf agar
dapat mengambil hikmah dan memperkuat keimanannya bahwa yang dijelaskan
pada QS al-Furqan ayat 2 mengenai Allah telah menciptakan segala sesuatu dan
menetapkan ukuran-ukurannya dengan serapi-rapinya adalah benar adanya.
88
BAB IV
PENUTUP
4.1 Kesimpulan
Berdasarkan pembahasan maka dapat diperoleh kesimpulan berkaitan
dengan graf subgrup dari grup simetri ๐๐ dengan subgrup ๐ป = {(1)} adalah sebagai
berikut:
1. Spektrum keterhubungan graf subgrup ๐ค๐ป(๐๐) adalah ๐ ๐๐๐๐ด(๐ค๐ป(๐๐)) =
[1 0 โ1๐ฟ๐
2๐๐
๐ฟ๐
2
], dengan ๐๐ =
{
1 + ฮฃ๐=1
๐โ1
2 ๐!
2๐(๐!)(๐โ2(๐))! , ๐ ganjil
1 + ฮฃ๐=1
๐
2 ๐!
2๐(๐!)(๐โ2(๐))! , ๐ genap
yang merupakan banyaknya titik terasing pada ๐ค๐ป(๐๐) dan ๐ฟ๐
2 merupakan
banyaknya sisi pada ๐ค๐ป(๐๐) dengan ๐ฟ๐ = ๐! โ ๐๐.
2. Spektrum Laplace graf subgrup ๐ค๐ป(๐๐) adalah ๐ ๐๐๐๐ฟ(๐ค๐ป(๐๐)) =
[2 0๐ฟ๐
2๐๐ +
๐ฟ๐
2
].
3. Spektrum signless Laplace graf sungrup ๐ค๐ป(๐๐) adalah ๐ ๐๐๐๐ฟ+(๐ค๐ป(๐๐)) =
[2 0๐ฟ๐
2๐๐ +
๐ฟ๐
2
].
4.2 Saran
Penelitian ini dilakukan pada graf subgrup dari grup simetri dengan subgrup
yang hanya memuat identitas. Penelitian selanjutnya diharapkan dapat menemukan
teorema terkait spektrum yang diperoleh dari graf subgrup yang berbeda, dengan
mengambil subgrup lain dari grup simetri. Juga diharapkan dapat mengembangkan
89
dan mencari sifat-sifat dari graf subgrup dari grup simetri dengan subgrup yang
hanya memuat identitas itu sendiri.
90
DAFTAR RUJUKAN
Abdussakir, Azizah, N.N., dan Nofandika, F.F.. 2009. Teori Graf. Malang: UIN
Malang Press.
Abdusysyakir. 2007. Ketika Kiai Mengajar Matematika. Malang: UIN Malang
Press.
Akhadiyah, D.A.. 2018. Spektrum Keterhubungan, Laplace, Signless Laplace, dan
Detour Graf Subgrup dan Komplemen Graf Subgrup dari Grup Dihedral.
Skripsi tidak dipublikasikan. Malang: UIN Maulana Malik Ibrahim Malang.
Al-Qurthubi, S.I.. 2007. Tafsir Al-Qurthubi. Terjemahan Rana Mengala, Ahmad
Athaillah Mansur. Jakarta: Pustaka Azzam.
Anderson, D.F., Fasteen, J. dan LaGrange, J.D. 2012. The Subgroup Graphs of a
Group. Arab J Math.1:17โ27. DOI 10.1007/s40065-012-0018-1.
Anton, H. 2000. Dasar-dasar Aljabar Linear, Jilid 1. Terjemahan Hari Suminto.
Batam: Interaksara.
Arifandi, M.Z.. 2014. Spektrum dari Graf Multipartisi Komplit ๐พ(๐)(๐ + 1)๐ผ.
Skripsi tidak dipublikasikan. Malang: UIN Maulana Malik Ibrahim Malang.
Ayyaswamy, S.K. dan Balachandran, S. 2010. On Detour Spectra of Some Graphs.
International Journal of Computational and Mathematical Sciences. 4(7):
1038-1040.
Aziz, A., dan Abdussakir. 2006. Analisis Matematis Terhadap Filsafat Al-Qurโan.
Malang: UIN Malang Press.
Bigg, N. 1994. Algebraic Graph Theory. London: Cambridge University Press.
Biyikoglu, T., Leytold, J., Stadler, P.F.. 2007. Laplacian Eigenvectors of Graphs.
New York: Springer.
Dummit, D.S. dan Foote, R.M. 1991. Abstract Algebra. New York: Prentice Hall,
Inc.
Faizah, N. 2012. Spektrum Adjacency, Spektrum Detour dan Spektrum Laplace
pada Graf Turan. Skripsi tidak dipublikasikan. Malang: UIN Maulana
Malik Ibrahim Malang.
Gallian, J.A.. 2013. Contemporary Abstract Algebra. Boston: University of
Minnesota Duluth.
91
Gilbert, L. dan Gilbert, J. 2009. Elements of Modern Algebra. Canada: Nelson
Education, Ltd.
Intifaada, A. 2016. Spektrum Laplace Graf Commuting dari Grup Dihedral. Skripsi
tidak dipublikasikan. Malang: UIN Maulana Malik Ibrahim Malang.
Irnawati. 2016. Graf Konjugasi dari Subgrup di Grup Simetri. Skripsi tidak
dipublikasikan. Malang: UIN Maulana Malik Ibrahim Malang.
Jog, S.R., dan Kotambari, R.. 2016. On the Adjacency, Laplacian, and signless
Laplacian Spectrum of Coalescence of Complete Graphs. J. Math. 2016 1โ
11.
Kanisa, V.A.. 2017. Graf Koset dari Subgrup Normal di Grup Simetri. Skripsi tidak
dipublikasikan. Malang: UIN Maulana Malik Ibrahim Malang.
Katsir, I.I.. 2007. Mukhtasor Tafsir Ibnu Katsir. Libanon: Dar El-Marefah.
Layali, A. 2018. Spektrum Graf Subgrup dan Komplemennya dari Grup Dihedral.
Skripsi tidak dipublikasikan. Malang: UIN Maulana Malik Ibrahim Malang.
Rahman, H. 2007. Indahnya Matematika dalam Al-Quran. Malang: UIN Malang
Press.
Raisinghania, M.D. dan Aggarwal, R.S. 1980. Modern Algebra. New Delhi: S.
Chand dan Company Ltd.
Robin, J. dan John, J. 1992. Graf Pengantar. Terjemahan Theresia M.H Tirta.
Surabaya: University Press IKIP Surabaya.
RIWAYAT HIDUP
Durrotun Nafisah, lahir di Malang pada tanggal 12 September 1996. Anak
pertama dari tiga bersaudara. Ia tinggal di Jalan Apus Kidul RT 01 / RW 01
Gadungsari Tirtoyudo Kabupaten Malang.
Pendidikan dasarnya ditempuh di MI Fathul Ulum Gadungsari lulus pada
tahun 2008, kemudian melanjutkan studi di MTsN Malang III lulus pada tahun
2011, setelah itu menempuh jenjang berikutnya di MAN Gondanglegi lulus pada
tahun 2014. Studi berikutnya berlanjut di Universitas Islan Negeri Maulana Malik
Ibrahin Malang.