KONGRUENSI LATIS SKRIPSI OLEH AMINATUL ...etheses.uin-malang.ac.id/14005/1/13610120.pdfBilangan asli...
Transcript of KONGRUENSI LATIS SKRIPSI OLEH AMINATUL ...etheses.uin-malang.ac.id/14005/1/13610120.pdfBilangan asli...
KONGRUENSI LATIS
SKRIPSI
OLEH
AMINATUL MARDIYAH
NIM. 13610120
JURUSAN MATEMATIKA
FAKULTAS SAINS DAN TEKNOLOGI
UNIVERSITAS ISLAM NEGERI MAULANA MALIK IBRAHIM
MALANG
2018
KONGRUENSI LATIS
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
Aminatul Mardiyah
NIM. 13610120
JURUSAN MATEMATIKA
FAKULTAS SAINS DAN TEKNOLOGI
UNIVERSITAS ISLAM NEGERI MAULANA MALIK IBRAHIM
MALANG
2018
MOTO
ุฎูุฑ ุงููุงุณ ุฃููุนูู ูููุงุณ โSebaik-baik manusia adalah manusia yang bermanfaat bagi manusia yang lainโ
PERSEMBAHAN
Skripsi ini penulis persembahkan untuk:
Ayahanda Muhammad Zainuri dan ibunda Luluk Halimah, kakak Muhammad
Shofi Fuadi dan Najla Muflihin, adik tersayang Muhammad Masruril Hamid dan
Nafi Atul Ummah, serta teman hidup Muhammad Nuris Fakhrurrozi yang selalu
memberikan dukungan, doa, dan motivasi bagi penulis.
viii
KATA PENGANTAR
Assalamuโalaikum Warahmatullahi Wabarakatuh
Puji syukur ke hadirat Allah Swt yang telah menganugerahkan rahmat dan
hidayah-Nya, sehingga penulis dapat menyelesaikan kegiatan dan menyusun
penelitian dengan baik dan lancar. Shalawat dan salam senantiasa dihaturkan
kepada nabi Muhammad Saw yang telah memberikan inspirasi kepada seluruh
umat manusia tidak terkecuali penulis, untuk berkarya dengan penuh semangat
berlandaskan keagungan moral dan spiritual. Ucapan terima kasihpun tidak luput
dihaturkan kepada semua pihak yang telah mendukung lancarnya penyusunan
penelitian ini. Dengan hormat penulis ucapkan terima kasih kepada:
1. Prof. Dr. Abdul 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. Evawati Alisah, M.Pd, selaku dosen pembimbing 1 yang senantiasa
mengarahkan penulis dalam melakukan penelitian.
5. Ari Kusumastuti, M.Pd., M.Si, selaku dosen pembimbing 2 yang senantiasa
mengarahkan penulis dalam melakukan penelitian.
6. Segenap sivitas akademika Jurusan Matematika, Fakultas Sains dan
Teknologi, Universitas Islam Negeri Maulana Malik Ibrahim Malang
ix
terutama seluruh dosen yang telah memberikan bimbingan dalam
perkuliahan.
7. Kedua orang tua dan seluruh keluarga yang memberikan dukungan berupa
motivasi dan doa sehingga skripsi ini dapat terselesaikan dengan baik.
8. Seluruh teman-teman โsubsetโ angkatan 2013 dan keluarga besar โPPTQ
Nurul-Furqonโ yang selalu ada di kala senang dan sedih dalam rangka proses
penyelesaikan penelitian ini.
9. Seluruh pihak yang tidak dapat penulis sebutkan satu persatu yang turut
membantu dalam penyelesaian penelitian ini.
Akhirnya penulis berharap, di balik penelitian ini dapat ditemukan sesuatu
yang dapat memberikan manfaat dan wawasan yang lebih luas atau bahkan
hikmah bagi penulis dan pembaca.
Wassalamuโalaikum Warahmatullahi Wabarakatuh
Malang, September 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 .............................................................................................. xii
ABSTRAK .......................................................................................................... xiii
ABSTRACT ....................................................................................................... xiv
xv .................................................................................................................... ู ูุฎุต
BAB I PENDAHULUAN
1.1 Latar Belakang ...................................................................................... 1
1.2 Rumusan Masalah ................................................................................. 4
1.3 Tujuan Penelitian .................................................................................. 4
1.4 Batasan Masalah ................................................................................... 4
1.5 Manfaat Penelitian ................................................................................ 5
1.6 Metode Penelitian ................................................................................. 5
1.7 Sistematika Penulisan ........................................................................... 5
BAB II KAJIAN PUSTAKA
2.1 Sistem Bilangan Asli ............................................................................ 7
2.2 Operasi Biner ........................................................................................ 8
2.3 Kongruensi ........................................................................................... 9
2.3.1 Keterbagian ............................................................................... 9
2.4 Latis .................................................................................................... 13
2.5 Kongruensi Latis ................................................................................. 18
2.6 Menuntut Ilmu dalam Islam ................................................................ 19
BAB III PEMBAHASAN
3.1 Definisi Kongruensi Latis (Garg) ....................................................... 21
xi
3.2 Definisi Kongruensi Latis (Gratzer) ................................................... 23
3.3 Analisis Kesamaan dan Perbedaan dari Definisi Kongruensi Latis ... 26
3.4 Sifat-sifat Kongruensi Latis ................................................................ 27
3.5 Keutamaan Orang-orang yang Menuntut Ilmu dalam Islam .............. 31
BAB IV PENUTUP
4.1 Kesimpulan .......................................................................................... 34
4.2 Saran ................................................................................................... 34
DAFTAR RUJUKAN ........................................................................................ 35
RIWAYAT HIDUP
xii
DAFTAR TABEL
Tabel 2.1 Tabel Cayley untuk ๐ ร ๐ ................................................................. 14
Tabel 2.2 Tabel Cayley untuk ๐ + ๐ ................................................................. 14
Tabel 2.3 Tabel Cayley Sifat Asosiatif untuk Operasi ร .................................. 15
Tabel 2.4 Tabel Cayley Sifat Asosiatif untuk Operasi + .................................. 15
Tabel 2.5 Tabel Cayley Sifat Absorbsi untuk Operasi ร .................................. 15
Tabel 2.6 Tabel Cayley Sifat Absorbsi untuk Operasi + .................................. 15
xiii
ABSTRAK
Mardiyah, Aminatul. 2017. Kongruensi Latis. Skripsi. Jurusan Matematika,
Fakultas Sains dan Teknologi, Universitas Islam Negeri Maulana Malik
Ibrahim Malang. Pembimbing: (I) Evawati Alisah, M.Pd. (II) Ari
Kusumastuti, M.Pd., M.Si.
Kata Kunci: Kongruensi, Relasi Ekuivalen, Latis, Kongruensi Latis.
Kongruensi Latis adalah apabila terdapat suatu relasi ekuivalen ๐ผ pada
suatu Latis ๐ฟ disebut kongruen jika dan hanya jika ๐ฅ โก ๐ฆ (mod ฮฑ) yang berarti
bahwa, โ๐ง; ๐ง + ๐ฅ โก ๐ง + ๐ฆ (mod ฮฑ) dan โ๐ง; ๐ง ร ๐ฅ โก ๐ง ร ๐ฆ (mod ฮฑ). Misalkan
unsur-unsur dari bilangan asli ๐ด yang didefinisikan sebagai ๐ด = {1, 3, 6} adalah
suatu latis. Selanjutnya dibuktikan bahwa latis tersebut memenuhi sifat-sifat pada
relasi ekuivalen dan mengikuti sifat kongruensi pada definisi kongruensi latis.
Dalam tulisan ini akan dibahas mengenai bagaimanakah sifat dari
kongruensi latis beserta buktinya. Metode yang digunakan adalah dengan menarik
kesimpulan dari dua contoh definisi kongruensi latis, kemudian di analisis
kesamaan dan perbedaan dari contoh tersebut. Selanjutnya akan dibuktikan sifat-
sifat dari kongruensi latis yang telah ada.
Kesimpulan dari tulisan ini adalah, bahwasanya terdapat kongruensi latis
yang memiliki sifat reflektif yaitu ๐ โก ๐ (mod (๐, ๐)) dan sifat simetris yaitu ๐ โก
๐ (mod (๐, ๐)) jika dan hanya jika ๐ โก ๐ (mod (๐, ๐)). Bagi peneliti selanjutnya,
dapat dikembangkan lebih lanjut kajian tentang kongruensi latis sehingga dapat
menemukan sifat-sifat kongruensi latis yang baru.
xiv
ABSTRACT
Mardiyah, Aminatul. 2017. Lattice Congruence. Thesis. Department of
Mathematics, Faculty of Science and Technology, Universitas Islam
Negeri Maulana Malik Ibrahim Malang. Advisors: (I) Evawati Alisah,
M.Pd. (II) Ari Kusumastuti, M.Pd., M.Si.
Keywords: Congruence, Equivalence Relation, Lattice, Lattice Congruence.
Lattice Congruence is an equivalence relation ฮฑ on a lattice ๐ฟ is a
congruence iff ๐ฅ โก ๐ฆ (mod ๐ผ) implies that, โ๐ง; ๐ง + ๐ฅ โก ๐ฆ + ๐ง (mod ๐ผ) and
โ๐ง; ๐ง ร ๐ฅ โก ๐ฆ ร ๐ง (mod ๐ผ). Suppose the elements of natural numbers ๐ด
defined as ๐ด = {1, 3, 6} is a lattice. Furthermore, it is proven that the lattice
satisfies the properties of the equivalence relation and follows the congruence
character of the lattice congruence definition.
This paper discussed about how the nature of lattice congruence and the
proof. The method used is to draw conclusions from two examples of the
definition of lattice congruence, then the similarities and differences of the
example will be analyzed. Furthermore, the properties of the existing lattice
congruence will be proven.
The conclusion of this paper is that there exists a lattice congruence having
the reflective property of ๐ โก ๐ (mod (๐, ๐)) and the symmetrical property of
๐ โก ๐ (mod (๐, ๐)) iff ๐ โก ๐ (mod (๐, ๐)). For further research, further studies
on lattice congruence can produce new properties of lattice congruence.
xv
ู ูุฎุต
ูููุฉ ุงูุนููู ุุงูุฑูุงุถูุงุช . ุจุญุซ ุฌุงู ุนู. ุดุนุจุฉLattice Congruence. 7102. ุฃู ููุฉุ ุงูู ุฑุถูุฉ( 0: )ูุง ู ุงูู ุฅุจุฑุงููู ู ุงูุงูุฌ. ุงูู ุดุฑููู ููุง ุงูุญููู ูุฉ ุณูุงู ูุฉุงูุฅ ุงูุฌุงู ุนุฉูุงูุชูููููุฌูุงุ
.ุฃุฑู ูุณู ุงุณุชุชู ุงูู ุงุฌุณุชูุฑ( 7ุงูู ุงุฌุณุชูุฑ )ุญ ุงููุงูุงุชู ุฃููุณุง
.Lattice ุLattice Congruence ุงูุนูุงูุฉ ุงูู ูุงูุฆุฉุุ Congruence ููู ุงุช ุงูุฑุฆูุณูุฉ:ุงู
Lattice Congruence ููุงู ุนูุงูุฉ ู ูุงูุฆุฉ ุฅูู ูู ุนูุฏู ุง(๐ผ) ู ู ๐ฟ lattice ูุฏุนูcongruence ุฅุฐุง ูููุท ุฅุฐุง๐ฅ โก ๐ฆ (mod ๐ผ) ูุนูู ุฃู โ๐ง; ๐ง + ๐ฅ โก ๐ฆ + ๐ง (mod ๐ผ) ู
โ๐ง; ๐ง ร ๐ฅ โก ๐ฆ ร ๐ง (mod ๐ผ). ุงูุทุจูุนูุฉ ู ุนุฑู ุจุฃููุง ุฃู ุนูุงุตุฑ ุงูุฃุฑูุงู ูููุชุฑุถ ๐ด = {1, 3, ูุฑุถู ุฎุตุงุฆุต ุนูุงูุฉ latticeูุนูุงูุฉ ุนูู ุฐููุ ููุฏ ุซุจุช ุฃู . latticeูู {6 .lattice congruenceููุชุนุฑูู congruenceุงูุทุงุจุน ู ูุงูุฆุฉ ู ูุชุจุน
ูุงูุฃุฏูุชูุง ูุงูุทุฑููุฉ lattice congruenceูู ูุฐุง ุงูุจุญุซ ุณูู ุชูุงูุด ุญูู ููููุฉ ุทุจูุนุฉ ุ ุซู ูู ุชุญููู lattice congruenceุงูู ุณุชุฎุฏู ุฉ ูู ุงุณุชุฎูุงุต ุงุณุชูุชุงุฌุงุช ู ู ู ุซุงููู ูุชุนุฑูู
lattice congruenceุซุจุงุช ุฎุตุงุฆุต ุงูุชุดุงุจู ู ุงูุงุฎุชูุงู ูู ุงูู ุซุงู. ูุนูุงูุฉ ุนูู ุฐููุ ุณูุชู ุฅ ุงูู ูุฌูุฏ.
ูู ุทุจูุนุฉ ุนุงูุณุฉ ู ูู lattice congruenceูุฎูุงุตุฉ ูุฐุง ุงูุจุญุซ ูู ุงู ููุงู ๐ โก ๐ (mod (๐, ๐)) ูู ุชูุงุธุฑุฉ ูู๐ โก ๐ (mod (๐, ๐)) ุฅุฐุง ูููุท ุฅุฐุง ๐ โก ๐ (mod (๐, ๐))ุฏ ู ู ุงูุฏุฑุงุณุงุช ุญูู . ูู ุฒูุฏ ู ู ุงูุจุญุซุ ูู ูู ุงูุงุทูุงุน ุนูู ู ุฒูlattice
congruence ุฎุตุงุฆุต ุฌุฏูุฏุฉ ู ู ูุฐูู ูุงูุชุดุงูlattice congruence.
1
BAB I
PENDAHULUAN
1.1 Latar Belakang
Allah berfirman dalam al-Quran surat an-Nisaโ ayat 176 yang berbunyi:
ู ุซู ุงูุฐูู ุงุชุฐ ูุง ู ู ุฏ ูู ุงููู ุฃูููุงุก ูู ุซู ุงูุนููุจ ูุช ุงุชุฐุช ุจ ูุชุงุง ุตูู ูุฅู ุฃููู ุงูุจ ู ูุช ูุจ ูุช
ุงูุนููุจ ูุช ุตูู ูู ูุงู ูุง ู ุนูู ูู )10( ุฅู ุงููู ู ุนูู ู ุงูุฏุน ูู ู ู ุฏ ููู ู ู ุดูุก ุฌ ู ู ู ุงูุนุฒู ุฒ
ุงูุญููู )17( ูุชูู ุงูุฃู ุซุงู ูุถุฑุจ ูุง ูููุงุณ ุตูู ูู ุง ู ุนูู ูุง ุฅูุง ุงูุนุงูู ูู )14(
โPerumpamaan orang-orang yang mengambil pelindung selain Allah adalah seperti
laba-laba yang membuat rumah dan sesungguhnya rumah yang paling lemah ialah
rumah laba-laba, sekiranya mereka mengetahui. Sungguh, Allah mengetahui apa saja
yang mereka sembah selain Allah dan Allah Mahaperkasa lagi Mahabijaksana.
Perumpamaan-perumpamaan ini dibuat untuk manusia dan tidak ada yang akan
memahaminya kecuali mereka yang berilmuโ (QS. Al-Ankabutโ:41-43).
Berdasarkan tafsir ibnu katsir, ayat diatas merupakan perumpamaan yang
dibuat oleh Allah bagi orang-orang musyrik yang menjadikannya Tuhan selain
Allah, dimana mereka (orang-orang musyrik) mengharapkan pertolongannya,
meminta rizki dan berpegang kepadanya dalam keadaan sempit. Keadaan mereka
itu seperti sarang laba-laba dalam kelemahan dan kerapuhannya. Tidak ada di
tangan-tangan Tuhan mereka itu kecuali seperti orang yang berpegangan dengan
sarang laba-laba yang tidak dapat merubah apa-apa. Seandainya mereka
mengetahui hal tersebut, niscaya mereka tidak akan mengambil selain Allah
sebagai penolong. Ini tentu saja berbeda dengan orang islam yang hatinya beriman
kepada Allah, dan di samping itu dia berbuat amal baik dengan mengikuti syariโat.
Dia berpegang teguh kepada tali yang kuat yang tidak akan terputus karena
kekuatan dan kekokohnya. Kemudian Allah Taโala berfirman mengancam orang
yang menyembah selain Allah dan menyekutukan-Nya, Allah Mahamengetahui
2
perbuatan-perbuatan yang mereka lakukan serta mengetahui tandingan-tandingan
yang mereka persekutukan serta akan membalas mereka. Sesungguhnya Allah
Mahabijaksana lagi Mahamengetahui. Kemudian Allah Taโala berfirman di dalam
surat al-Ankabut ayat 43 yaitu, tidak ada yang dapat memahami dan
merenungkannya kecuali orang-orang yang kokoh dalam ilmunya serta
menguasainya (Ghoffar, 2004).
Ayat di atas menjelaskan tentang pentingnya menuntut ilmu sedalam-
dalamnya agar dapat memahami dan menguasai ilmu yang dipelajari. Menuntut
ilmu itu tidak hanya dalam bidang keagamaan saja, melainkan dalam bidang-
bidang yang lain seperti; ilmu matematika, ilmu fisika, ilmu kimia dan lain-lain.
Dalam ilmu matematika terdapat berbagai macam pembahasan, salah satunya
adalah bilangan.
Bilangan yang digunakan dalam pencacahan dan pengukuran adalah
bilangan asli. Bilangan asli memiliki sifat tertutup, komutatif, asosiatif, distributif,
dan terdapat unsur identitas perkalian. Sifat-sifat tersebut berlaku pada bilangan
asli, terkait ketika dikenai operasi penjumlahan dan perkalian. Sedangkan sistem
yang terdapat pada bilangan asli terdiri dari himpunan, relasi, operasi + dan ร,
serta sifat-sifat yang telah disebutkan pada kalimat sebelumnya (Abdussakir,
2009).
Selanjutnya, operasi yang melibatkan operator + dan ร ini melibatkan
masukan (input) bilangan bulat dan menghasilkan bilangan bulat sebagai keluaran
(output). Operasi yang sering digunakan dalam bilangan adalah operasi biner.
Operasi biner adalah apabila setiap dua elemen ๐, ๐ โ ๐ maka ๐ โ ๐ โ ๐. Atau
dapat dikatakan pula bahwa operasi โ merupakan pemetaan dari ๐ ร ๐ ke ๐.
3
Operasi โ pada ๐ merupakan operasi biner dan dapat dikatakan bahwa operasi โ
pada ๐ bersifat tertutup (Sukirman, 2005:35).
Latis melibatkan dua operasi biner dengan operasi tertentu. Suatu Latis
dapat dilihat dari sudut pandang yang berbeda, yaitu dari sudut pandang aljabar
atau dari sudut pandang teori bilangan. Suatu Latis ๐ฟ adalah suatu aljabar yang
dikenai dua operasi biner yang dilambangkan dengan + dan ร dan memenuhi
sifat-sifat idempotent, asosiatif, dan komutatif terhadap kedua operasi, serta kedua
operasi tersebut saling absorbsi (Gratzer, 2011:12).
Selanjutnya, kongruensi dapat dipandang dari berbagai sudut yang berbeda
pula, baik dari sudut pandang geometri maupun sudut pandang struktur aljabar.
Dalam struktur aljabar, kongruensi didefinisikan sebagai dua bilangan bulat ๐ฅ dan
๐ฆ yang mempunyai hasil sisa yang sama jika dibagi dengan bilangan bulat positif
๐, maka ๐ฅ dan ๐ฆ dapat disebut juga kongruen pada modulo ๐ yang dilambangkan
sebagai ๐ฅ โก ๐ฆ (mod ๐) (Khusnah, 2016:16).
Keterkaitan antara latis dengan kongruensi akan membentuk suatu definisi
baru, yaitu kongruensi latis. Suatu relasi ekuivalen ๐ผ pada latis ๐ฟ disebut
kongruensi latis jika dan hanya jika ๐ฅ โก ๐ฆ (mod ฮฑ) yang berarti bahwa, โ๐ง; ๐ง +
๐ฅ โก ๐ง + ๐ฆ (mod ฮฑ) dan โ๐ง; ๐ง ร ๐ฅ โก ๐ง ร ๐ฆ (mod ฮฑ) (Garg, 2007:63).
Kajian tentang kongruensi latis menjadi penelitian yang dikembangkan
oleh beberapa peneliti, salah satunya adalah Mayasari (2005). Dalam
penelitiannya, himpunan dengan operasi biner โจ dan โง adalah dasar dalam
mengerjakan kongruensi latis. Masalah yang dibahas adalah mengenai
karakteristik dari operasi biner โจ dan โง, sehingga menghasilkan suatu latis serta
membentuk sifat-sifat kongruensi latis pada semigrup.
4
Berdasarkan penelitian di atas, dasar dalam mengerjakan kongruensi latis
adalah menggunakan himpunan dengan operasi biner โจ dan โง, sehingga bilangan
bulat positif dengan operasi biner + dan ร sebagai dasar dalam mengerjakan
kongruensi latis yang belum pernah diteliti sebelumnya. Oleh karena itu, penulis
ingin mengembangkannya dengan menggunakan bilangan bulat positif dengan
operasi biner + dan ร yang didefinisikan sebagai ๐ + ๐ = KPK (๐, ๐) dan ๐ ร
๐ = FPB (๐, ๐) sebagai dasar dalam mengerjakan kongruensi latis. Sehingga
penulis mengangkat penelitian dengan judul โKongruensi Latisโ.
1.2 Rumusan Masalah
Berdasarkan latar belakang permasalahan di atas, maka rumusan masalah
dalam skripsi ini adalah bagaimanakah sifat dari kongruensi latis beserta
buktinya?
1.3 Tujuan Penelitian
Berdasarkan perumusan permasalahan di atas, maka tujuan penelitian ini
adalah mengetahui bagaimana sifat dari kongruensi latis beserta buktinya.
1.4 Batasan Masalah
Adapun yang dibahas dalam tugas akhir ini hanya dibatasi sampai teorema
dan bukti dari kongruensi latis pada bilangan asli dengan operasi biner + dan ร
yang didefinisikan sebagai ๐ + ๐ = KPK (๐, ๐) dan ๐ ร ๐ = FPB (๐, ๐).
5
1.5 Manfaat Penelitian
Berdasarkan tujuan dari penelitian di atas, maka manfaatnya adalah dapat
memahami sifat kongruensi latis beserta buktinya sehingga dapat menambah
penguasaan dalam mengkaji konsep dari kongruensi latis, serta dapat digunakan
sebagai bahan referensi bagi peneliti selanjutnya.
1.6 Metode Penelitian
Dalam penelitian ini, metode yang digunakan adalah metode penelitian
kepustakaan (library research) atau kajian pustaka. Adapun langkah-langkah yang
digunakan dalam membahas penelitian ini adalah sebagai berikut:
1. Membuat contoh dari dua definisi kongruensi latis.
2. Analisis kesamaan dan perbedaan dari definisi kongruensi latis.
3. Menarik kesimpulan dari contoh kongruensi latis.
4. Mendapatkan teorema dari kesimpulan contoh kongruensi latis.
5. Membutikan teorema yang telah didapat.
1.7 Sistematika Penulisan
Secara garis besar, sistematika penulisan pada tugas akhir ini adalah
sebagai berikut:
Bab I Pendahuluan
Pada bab ini membahas latar belakang, rumusan masalah, tujuan
penelitian, batasan masalah, manfaat penelitian, metode penelitian, dan
sistematika penulisan.
6
Bab II Kajian Pustaka
Pada bab ini menyajikan konsep-konsep yang mendukung bagian
pembahasan. Konsep-konsep tersebut antara lain membahas tentang
sistem bilangan asli, operasi biner, kongruensi, latis, definisi kongruensi
latis dan pembagian dalam kajian Islam.
Bab III Pembahasan
Pada bab ini membahas tentang definisi kongruensi latis berdasarkan
Garg dan Gratzer, analisis kesamaan dan perbedaan dari definisi
kongruensi latis, sifat-sifat kongruensi latis dan kajian Islam.
Bab IV Penutup
Bab ini berisi kesimpulan dan saran yang berkaitan dengan hasil
penelitian.
7
BAB II
KAJIAN PUSTAKA
2.1 Sistem Bilangan Asli
Secara sederhana, sistem bilangan asli terdiri dari himpunan
โ = {1, 2, 3, 4, โฆ , ๐}, relasi = dan >, operasi + dan ร, serta delapan sifat yang
akan dijelaskan pada sub bab di bawah ini.
Definisi
Bilangan asli adalah himpunan dari bilangan bulat positif yang tidak memuat nol.
Himpunan bilangan asli disimbolkan dengan huruf โ, sehingga โ =
{1, 2, 3, 4, โฆ , ๐}. Apabila bilangan asli diberikan operasi biner berupa
penjumlahan, maka hasilnya adalah bilangan asli juga. Misal 1 + 1 = 2, 2 + 1 =
3, 3 + 1 = 4, dan seterusnya. Secara umum, apabila terdapat tulisan ๐ โ โ, maka
tulisan tersebut mempunyai arti bahwa ๐ adalah himpunan dari bilangan asli
(Abdussakir, 2009:86-87).
Pernyataan 2 + 2 merupakan suatu operasi pada himpunan bilangan asli.
Sedangkan pernyataan 2 + 3 = 5 dan 2 + 3 > 4 merupakan relasi, pernyataan ini
merupakan relasi antara hasil suatu operasi dengan bilangan 5 dan 4, dan
pernyataan ini akan selalu bernilai benar (Abdussakir, 2009:87).
Beberapa sifat yang berlaku pada himpunan bilangan asli โ terhadap
operasi + dan ร adalah sebagai berikut:
1. Sifat tertutup terhadap operasi +
Untuk semua unsur ๐, ๐ โ โ, maka ๐ + ๐ โ โ.
2. Sifat tertutup terhadap operasi ร
8
Untuk semua unsur ๐, ๐ โ โ, maka ๐ ร ๐ โ โ.
3. Sifat komutatif terhadap operasi +
Untuk semua unsur ๐, ๐ โ โ, maka ๐ + ๐ = ๐ + ๐.
4. Sifat komutatif terhadap ร
Untuk semua unsur ๐, ๐ โ โ, maka ๐ ร ๐ = ๐ ร ๐.
5. Sifat asosiatif terhadap +
Untuk semua unsur ๐, ๐, ๐ โ โ, maka ๐ + (๐ + ๐) = (๐ + ๐) + ๐.
6. Sifat asosiatif terhadap ร
Untuk semua unsur ๐, ๐, ๐ โ โ, maka ๐ ร (๐ ร ๐) = (๐ ร ๐) ร ๐.
7. Sifat distributif ร atas +
Untuk semua unsur ๐, ๐, ๐ โ โ, maka (๐ + ๐) ร ๐ = (๐ ร ๐) + (๐ ร ๐).
8. Terdapat unsur identitas ร
Untuk semua unsur ๐ โ โ, ada 1 โ โ sehingga ๐ ร 1 = 1 ร ๐ = ๐.
1 disebut unsur satuan (identitas) dari ร.
(Abdussakir, 2009:87-88).
2.2 Operasi Biner
Definisi
Misalkan ๐ merupakan suatu himpunan yang tidak kosong. Kemudian operasi โ
pada elemen-elemen ๐ disebut operasi biner, apabila setiap dua elemen ๐, ๐ โ ๐
maka ๐ โ ๐ โ ๐. Atau dapat dikatakan pula bahwa operasi โ merupakan pemetaan
dari ๐ ร ๐ ke ๐ dan operasi tersebut bersifat tertutup (Sukirman, 2005:35).
Contoh
Misalkan ๐ adalah himpunan semua bilangan bulat positif. Kemudian,
didefinisikan + sebagai operasi pada ๐ yang merupakan operasi biner, karena
9
operasi + merupakan pemetaan dari ๐ ร ๐ โ ๐, yaitu untuk setiap unsur (๐, ๐) โ
๐ ร ๐ maka ๐ + ๐ โ ๐. Ingat bahwa hasil dari operasi penjumlahan dua bilangan
bulat positif adalah suatu bilangan bulat positif juga. Akan tetapi, berbeda dengan
operasi pembagian, karena operasi รท pada ๐ bukan merupakan operasi biner pada
๐. Hal ini terjadi karena ada (๐, ๐) โ ๐ ร ๐ sedemikian sehingga ๐ รท ๐ โ ๐. Misal
(3, 4) โ ๐ ร ๐, akan tetapi 3 รท 4 โ ๐.
2.3 Kongruensi
Sebelum membahas tentang kongruensi, terlebih dahulu akan dibahas
mengenai definisi keterbagian beserta teoremanya.
2.3.1 Keterbagian
Definisi
Misalkan ๐, ๐ โ โค, dengan ๐ โ 0. ๐ dikatakan membagi ๐ (ditulis โ๐ | ๐โ) jika
๐ = ๐ ร ๐ฅ, untuk setiap ๐ฅ โ โค (Abdussakir, 2009:114).
Berdasarkan definisi keterbagian, ๐ = ๐ ร ๐ฅ adalah jika terdapat suatu
bilangan bulat ๐ฅ dimana bilangan bulat ๐ dengan ๐ โ 0 membagi bilangan bulat
๐. Notasi ๐ | ๐ dapat dibaca dengan โ๐ habis membagi ๐โ, โ๐ habis dibagi ๐โ, โ๐
pembagi ๐โ, โ๐ faktor dari ๐โ, atau โ๐ kelipatan dari ๐โ. Tetapi jika ๐ tidak
membagi ๐, maka ditulis ๐ โค ๐ (Abdussakir, 2009:114).
Contoh
1. 5 | 30, karena ada 5 โ โค sehingga 30 = 5 ร 6.
2. 3 | 21, karena ada 3 โ โค sehingga 21 = 3 ร 7.
3. 4 โค 30, karena tidak ada ๐ฅ โ โค sehingga 30 = 4 ร ๐ฅ.
4. 2 โค 21, karena tidak ada ๐ฅ โ โค sehingga 21 = 2 ร ๐ฅ.
10
Teorema Keterbagian
Untuk bilangan bulat ๐, ๐, dan ๐ berlaku:
1. ๐ | ๐, maka ๐ | (๐ ร ๐ฅ); โ๐ฅ โ โค
2. ๐ | ๐ dan ๐ | ๐, maka ๐ | ๐
3. ๐ | ๐ dan ๐ | ๐, maka ๐ | ((๐ ร ๐ฅ) + (๐ ร ๐ฆ)); โ๐ฅ, ๐ฆ โ โค
4. ๐ | ๐ dan ๐ | ๐, maka ๐ = ยฑ๐
5. ๐ | ๐, dengan ๐ > 0 dan ๐ > 0, maka ๐ โค ๐
6. โ๐ โ โค, ๐ โ 0, maka ๐ | ๐ jika dan hanya jika (๐ ร ๐) | (๐ ร ๐)
(Abdussakir, 2009:115).
Bukti:
1. Jika ๐ | ๐, maka ๐ | (๐ ร ๐ฅ); โ๐ฅ โ โค
Jika ๐ | ๐ maka ๐ = ๐ ร ๐ฆ (definisi keterbagian)
๐ ร ๐ฅ = (๐ ร ๐ฆ) ร ๐ฅ (ditambahkan ๐ฅ pada ruas
kanan dan kiri)
๐ ร ๐ฅ = ๐ ร (๐ฆ ร ๐ฅ) (sifat asosiatif perkalian)
๐ | (๐ ร ๐ฅ) (definisi keterbagian)
Jadi terbukti bahwa jika ๐ | ๐, maka ๐ | (๐ ร ๐ฅ).
2. Jika ๐ | ๐ dan ๐ | ๐, maka ๐ | ๐
Jika ๐ | ๐ maka ๐ = ๐ ร ๐ฅ
Jika ๐ | ๐ maka ๐ = ๐ ร ๐ฆ
Jika ๐ = ๐ ร ๐ฆ maka ๐ = (๐ ร ๐ฅ) ร ๐ฆ (subtitusikan ๐)
๐ = ๐ ร (๐ฅ ร ๐ฆ) (sifat asosiatif perkalian)
๐ | ๐ (definisi keterbagian)
Jadi terbukti bahwa jika ๐ | ๐ dan ๐ | ๐, maka ๐ | ๐.
11
3. Jika ๐ | ๐ dan ๐ | ๐, maka ๐ | ((๐ ร ๐ฅ) + (๐ ร ๐ฆ)); โ๐ฅ, ๐ฆ โ โค
Jika ๐ | ๐ maka ๐ = ๐ ร ๐1; ๐1 โ โค (definisi keterbagian)
๐ ร ๐ฅ = (๐ ร ๐1) ร ๐ฅ (ditambahkan ๐ฅ pada ruas
kanan dan kiri)
Jika ๐ | ๐ maka ๐ = ๐ ร ๐2; ๐2 โ โค (definisi keterbagian)
๐ ร ๐ฆ = (๐ ร ๐2) ร ๐ฆ (ditambahkan ๐ฆ pada ruas
kanan dan kiri)
(๐ ร ๐ฅ) + (๐ ร ๐ฆ) = (๐ ร ๐1 ร ๐ฅ) + (๐ ร ๐2 ร ๐ฆ)
(๐ ร ๐ฅ) + (๐ ร ๐ฆ) = ๐ ร ((๐1 ร ๐ฅ) + (๐2 ร ๐ฆ)) (sifat distributif perkalian)
๐ | ((๐ ร ๐ฅ) + (๐ ร ๐ฆ)) (definisi keterbagian)
Jadi terbukti bahwa ๐ | ๐ dan ๐ | ๐, maka ๐ | ((๐ ร ๐ฅ) + (๐ ร ๐ฆ)); โ๐ฅ, ๐ฆ โ โค.
4. ๐ | ๐ dan ๐ | ๐, maka ๐ = ยฑ๐
Jika ๐ | ๐ maka ๐ = ๐ ร ๐ฅ (definisi keterbagian)
Jika ๐ | ๐ maka ๐ = ๐ ร ๐ฆ (definisi keterbagian)
Jika ๐ = ๐ ร ๐ฅ maka ๐ = (๐ ร ๐ฆ) ร ๐ฅ (subtitusi ๐)
๐ = ๐ ร (๐ฆ ร ๐ฅ) (sifat asosiatif perkalian)
๐ โ (๐ ร (๐ฆ ร ๐ฅ)) = 0
๐ ร (1 โ (๐ฆ ร ๐ฅ)) = 0
Karena ๐ โ 0, maka 1 โ (๐ฆ ร ๐ฅ) = 0, sehingga 1 = ๐ฆ ร ๐ฅ.
Persamaan terakhir dipenuhi untuk ๐ฅ = ๐ฆ = 1 atau ๐ฅ = ๐ฆ = โ1, sehingga
didapatkan ๐ = ยฑ๐.
Jadi terbukti bahwa jik ๐ | ๐ dan ๐ | ๐, maka ๐ = ยฑ๐.
12
5. ๐ | ๐, dengan ๐ > 0 dan ๐ > 0, maka ๐ โค ๐
Jika ๐ | ๐ maka ๐ = ๐ ร ๐ฅ (definisi keterbagian)
Karena ๐ > 0, ๐ > 0 dan ๐ = ๐ ร ๐ฅ, maka ๐ฅ > 0.
Untuk ๐ฅ = 1, maka terbukti jika ๐ = ๐. Sedangkan untuk ๐ฅ > 1, maka ๐ >
๐. Jadi terbukti bahwa jika ๐ | ๐, dengan ๐ > 0 dan ๐ > 0, maka ๐ โค ๐.
6. โ๐ โ 0 โ โค, maka ๐ | ๐ jika dan hanya jika (๐ ร ๐) | (๐ ร ๐)
Jika ๐ | ๐ maka ๐ = ๐ ร ๐ฅ untuk suatu ๐ฅ โ โค.
Akibatnya untuk ๐ โ โค dan ๐ โ 0, maka berlaku ๐ ร ๐ = ๐ ร (๐ ร ๐ฅ) =
(๐ ร ๐) ร ๐ฅ. Berdasarkan definisi keterbagian, maka (๐ ร ๐) | (๐ ร ๐).
Jika (๐ ร ๐) | (๐ ร ๐) dan ๐ โ 0, maka ๐ ร ๐ = (๐ ร ๐) ร ๐ฅ untuk suatu
๐ฅ โ โค.
๐ ร ๐ = (๐ ร ๐) ร ๐ฅ maka (๐ ร ๐) โ ((๐ ร ๐) ร ๐ฅ) = 0
(๐ ร ๐) โ (๐ ร (๐ ร ๐ฅ)) = 0
๐ ร (๐ โ (๐ ร ๐ฅ)) = 0
Karena ๐ โ 0, maka ๐ โ (๐ ร ๐ฅ) = 0, sehingga ๐ = ๐ ร ๐ฅ. Berdasarkan
definisi keterbagian maka ๐ | ๐. Jadi terbukti bahwa โ๐ โ 0 โ โค, maka ๐ | ๐
jika dan hanya jika (๐ ร ๐) | (๐ ร ๐).
Berdasarkan penjelasan dari enam teorema tersebut dan terbukti, maka
teorema keterbagian berlaku untuk bilangan bulat ๐, ๐, dan ๐.
Definisi
Misal ๐ adalah bilangan bulat positif dengan ๐ > 1 kemudian ๐ฅ dan ๐ฆ adalah
bilangan bulat, maka ๐ฅ dan ๐ฆ adalah kongruen pada modulo ๐ jika ๐ habis
membagi ๐ฅ โ ๐ฆ, dan dapat ditulis sebagai berikut:
13
๐ฅ โก ๐ฆ (mod ๐)
(Gilbert dan Gilbert, 2009:95).
Dikatakan pula bahwa ๐ฅ โก ๐ฆ (mod ๐) jika ๐ habis membagi ๐ฅ โ ๐ฆ. Dalam hal
ini, ๐ habis membagi ๐ฅ โ ๐ฆ ekuivalen dengan ๐ฅ โ ๐ฆ = ๐ ร ๐ atau
๐ฅ = ๐ฆ + (๐ ร ๐) (Gilbert dan Gilbert, 2009:96).
Contoh
1. 22 โก 2 (mod 5), karena 5 habis membagi 22 โ 2 atau 5 | 20. Dapat juga
ditulis dengan 22 โ 2 = 5 ร ๐ atau 22 = 2 + (5 ร ๐).
2. 20 โก 2 (mod 3), karena 3 habis membagi 20 โ 2 atau 3 | 18. Dapat juga
ditulis dengan 20 โ 2 = 3 ร ๐ atau 20 = 2 + (3 ร ๐).
2.4 Latis
Suatu latis dapat dilihat dari berbagai sudut pandang yang berbeda, yaitu
dari sudut pandang aljabar dan dari sudut pandang teori bilangan. Berikut adalah
definisi latis dilihat dari sudut pandang aljabar.
Definisi
Suatu Latis ๐ฟ adalah suatu aljabar dengan dua operasi biner yang dilambangkan
dengan perkalian dan penjumlahan yang memenuhi sifat-sifat berikut: untuk
semua ๐, ๐, ๐ โ ๐ฟ
1. ๐ ร ๐ = ๐ operasi ร bersifat idempotent
2. ๐ + ๐ = ๐ operasi + bersifat idempotent
3. ๐ ร ๐ = ๐ ร ๐ operasi ร bersifat komutatif
4. ๐ + ๐ = ๐ + ๐ operasi + bersifat komutatif
5. ๐ ร (๐ ร ๐) = (๐ ร ๐) ร ๐ operasi ร bersifat asosiatif
14
6. ๐ + (๐ + ๐) = (๐ + ๐) + ๐ operasi + bersifat asosiatif
7. ๐ ร (๐ + ๐) = ๐ absorpsi terhadap operasi +
8. ๐ + (๐ ร ๐) = ๐ absorpsi terhadap operasi ร
(Gratzer, 2011:12).
Contoh
Misalkan unsur-unsur dari latis ๐ฟ adalah himpunan dari bilangan asli ๐ด yang
didefinisikan sebagai ๐ด = {1, 3, 6}. Himpunan ini memuat FPB tunggal dan KPK
tunggal dari setiap dua anggota dari himpunan tersebut. Dengan demikian dapat
didefinisikan bahwa ๐ ร ๐ = FPB (๐, ๐) dan ๐ + ๐ = KPK (๐, ๐).
Agar lebih mudah dalam menyelesaikannya, maka akan dibentuk beberapa tabel
Cayley sebagai berikut:
Tabel 2. 1 Tabel Cayley untuk ๐ ร ๐
ร 1 3 6
1 1 1 1
3 1 3 3
6 1 3 6
Tabel 2. 2 Tabel Cayley untuk ๐ + ๐
+ 1 3 6
1 1 3 6
3 3 3 6
6 6 6 6
Berdasarkan tabel Cayley di atas terlihat bahwa sifat idempotent dan
komutatif terhadap kedua operasi pada latis telah terselesaikan. Selanjutnya, untuk
sifat asosiatif dan absorbsi terhadap kedua operasi akan ditunjukkan pada tabel
Cayley di bawah ini
15
Tabel 2. 3 Tabel Cayley Sifat Asosiatif untuk Operasi ร
ร 1 3 6 (1 ร 1) (1 ร 3) (1 ร 6) (3 ร 3) (3 ร 6) (6 ร 6)
1 1 1 1 1 1 1 1 1 1
3 1 3 3 1 1 1 3 3 3
6 1 3 6 1 1 1 3 3 6
(1 ร 1) 1 1 1
(1 ร 3) 1 1 1
(1 ร 6) 1 1 1
(3 ร 3) 1 3 3
(3 ร 6) 1 3 3
(6 ร 6) 1 3 6
Tabel 2. 4 Tabel Cayley Sifat Asosiatif untuk Operasi +
+ 1 3 6 (1 + 1) (1 ร 3) (1 + 6) (3 + 3) (3 + 6) (6 + 6)
1 1 3 6 1 3 6 3 6 6
3 3 3 6 3 3 6 3 6 6
6 6 6 6 6 6 6 6 6 6
(1 + 1) 1 3 6
(1 + 3) 3 3 6
(1 + 6) 6 6 6
(3 + 3) 3 3 6
(3 + 6) 6 6 6
(6 ร 6) 6 6 6
Tabel 2. 5 Tabel Cayley Sifat Absorbsi untuk Operasi ร
ร (1 + 1) (1 + 3) (1 + 6) (3 + 1) (3 + 3) (3 + 6) (6 + 1) (6 + 3) (6 + 6)
1 1 1 1
2 3 3 3
4 6 6 6
Tabel 2. 6 Tabel Cayley Sifat Absorbsi untuk Operasi +
+ (1 ร 1) (1 ร 3) (1 ร 6) (3 ร 1) (3 ร 3) (3 ร 6) (6 ร 1) (6 ร 3) (6 ร 6)
1 1 1 1
2 3 3 3
4 6 6 6
Karena dari delapan sifat latis terpenuhi, maka himpunan dari bilangan asli ๐ด
yang didefinisikan sebagai ๐ด = {1, 3, 6} adalah latis.
Teorema 2.1
Misal ๐ฟ adalah suatu latis dan ๐, ๐ โ ๐ฟ. Jika ๐ ร ๐ = ๐, maka ๐ + ๐ = ๐
(Sukardjono, 2002:40).
16
Bukti:
๐ + ๐ = (๐ ร ๐) + ๐ (diketahui)
๐ + ๐ = ๐ + (๐ ร ๐) (sifat asosiatif +)
๐ + ๐ = ๐ + (๐ ร ๐) (sifat komutatif ร)
๐ + ๐ = ๐ (sifat absorbsi ร)
Jadi, terbukti bahwa ๐ + ๐ = ๐ jika ๐ ร ๐ = ๐.
Teorema 2.2
Misal ๐ฟ adalah suatu latis dan ๐, ๐ โ ๐ฟ. Jika ๐ + ๐ = ๐, maka ๐ ร ๐ = ๐
(Sukardjono, 2002:40).
Bukti:
๐ ร ๐ = ๐ ร (๐ + ๐) (diketahui)
๐ ร ๐ = ๐ (sifat absorbsi +)
Jadi, terbukti bahwa ๐ ร ๐ = ๐ jika ๐ + ๐ = ๐.
Teorema 2.3
Misal ๐ฟ suatu latis dan ๐ โ ๐ฟ, maka berlaku ๐ ฮฑ ๐ (Sukardjono, 2002:40).
Bukti:
๐ ร ๐ = ๐ (sifat idempotent latis)
๐ ฮฑ ๐ (definisi 2.2)
maka terbukti bahwa ๐ ฮฑ ๐; โ๐ โ ๐ฟ.
Teorema 2.4
Misal ๐ฟ suatu latis dan ๐, ๐ โ ๐ฟ, maka berlaku jika ๐ ฮฑ ๐ dan ๐ ฮฑ ๐, maka ๐ = ๐
(Sukardjono, 2002:40).
17
Bukti:
๐ = ๐ ร ๐ (definisi 2.2)
= ๐ ร ๐ (sifat komutatif ร)
= ๐ (definisi 2.2)
Teorema 2.5
Misal ๐ฟ suatu latis dan ๐, ๐ โ ๐ฟ, maka berlaku jika ๐ ฮฑ ๐ dan ๐ ฮฑ ๐, maka ๐ ฮฑ ๐
(Sukardjono, 2002:40).
Bukti:
๐ ร ๐ = (๐ ร ๐) ร ๐ (definisi 2.2)
= ๐ ร (๐ ร ๐) (sifat asosiatif ร)
= ๐ ร ๐ (definisi 2.2)
= ๐ (definisi 2.2)
Jadi terbukti bahwa jika ๐ ฮฑ ๐ dan ๐ ฮฑ ๐, maka ๐ ฮฑ ๐.
Relasi ฮฑ pada teorema 2.3-2.5 merupakan relasi terurut parsial karena
bersifat reflektif, antisimetris, dan transitif. Relasi terurut parsial juga bisa
dituliskan sebagai ๐ โค ๐ untuk ๐ ฮฑ ๐ (Sukardjono, 2002:41).
Teorema 2.6
Suatu latis adalah poset dengan sifat ๐ โค ๐ yang berarti ๐ ร ๐ = ๐ dan ๐ + ๐ = ๐
(Sukardjono, 2002:41).
Bukti:
Akan ditunjukkan bahwa jika ๐ โค ๐ maka berlaku ๐ ร ๐ = ๐ dan ๐ + ๐ = ๐.
Karena ๐ โค ๐ maka โ๐, ๐ โ ๐ฟ berlaku sifat refleksif, antisimetris dan transitif.
Pertama akan dibuktikan bahwa jika ๐ โค ๐ maka ๐ ร ๐ = ๐ yaitu:
๐ ร ๐ = ๐ ร ๐ (karena berlaku sifat antisimetris)
18
= ๐ (karena berlaku sifat refleksif)
Selanjutnya berdasarkan teorema 2.1 jika ๐ ร ๐ = ๐ โ ๐ฟ maka ๐ + ๐ = ๐ โ ๐ฟ,
sehingga terbukti jika ๐ โค ๐ maka berlaku ๐ ร ๐ = ๐ dan ๐ + ๐ = ๐
2.5 Kongruensi Latis
Definisi (1)
Suatu relasi ekuivalen ฮฑ pada latis ๐ฟ adalah kongruen jika ๐ฅ โก ๐ฆ (mod ฮฑ) yang
berakibat bahwa
1. โ๐ง โถ ๐ง โ ๐ฅ โก ๐ง โ ๐ฆ (mod ฮฑ)
2. โ๐ง โถ ๐ง โ ๐ฅ โก ๐ง โ ๐ฆ (mod ฮฑ)
(Garg, 2007:63).
Definisi (2)
Suatu relasi ekuivalen ฮฑ pada latis ๐ฟ disebut relasi kongruen jika mengikuti dua
sifat sebagai berikut:
a. ๐0 โก ๐0 (mod ฮฑ) dan ๐1 โก ๐1(mod ฮฑ)
berakibat bahwa ๐0 ร ๐1 โก ๐0 ร ๐1 (mod ฮฑ)
b. ๐0 โก ๐0 (mod ฮฑ) dan ๐1 โก ๐1(mod ฮฑ)
berakibat bahwa ๐0 + ๐1 โก ๐0 + ๐1(mod ฮฑ)
(Gratzer, 2011:36).
Berdasarkan dua definisi tersebut, terdapat lemma pada Garg (2007) yang
belum dibuktikan, maka penulis akan mengambil definisi tersebut untuk dikaji
lebih lanjut pada pembahasan bab 3.4.
19
2.6 Menuntut Ilmu dalam Islam
Berdasarkan pembahasan pada bab ini, maka terdapat firman Allah yang
berbunyi:
(00ุงูู ุฌุงุฏูุฉ:ุงูุนูู ุฏุฑุฌุงุช ) ุงูุฐูู ุฃ ูุช ูุง ู ุฑูุน ุงููู ุงูุฐูู ุขู ู ูุง ู ูู ู ู
โAllah akan meninggikan orang-orang yang beriman diantaramu dan orang-orang yang
diberi ilmu pengetahuan beberapa derajat (al-Mujadalah:11)โ.
Meninggikan beberapa derajat adalah menunjukkan akan besarnya
keutamaan dan ia mencakup ketinggian maโnawi di dunia dengan tingginya
kedudukan dan nama baik serta ketinggian secara kongkrit di kehidupan akhirat
kelak dengan kedudukan sangat mulia di surga (Nabil, 2009:3).
Ayat yang menunjukkan keutamaan ilmu dan kewajiban menambah ilmu
adalah firman Allah yang ditujukan kepada Rasul-Nya:
(001ูู ู ุฑุจ ุฒุฏู ุนูู ุงุง )ุทู:
โDan katakanlah: โYa Tuhanku, tambahkanlah kepadaku ilmu pengetahuanโ (Thaha:
114)โ.
Allah tidak menyuruh Nabi-Nya tidak menambah sesuatu kecuali
menambah ilmu. Makna menambah ilmu di sisi Allah adalah ilmu syariโat yang
bisa menambah pengetahuan seorang hamba tentang Allah dan cara-cara
beribadah serta bermuamalah yang benar menurut agama (Nabil, 2009:3-4).
Adapun kemuliaan ilmu itu didapatkan oleh semua orang, karena ilmu
merupakan pemberian Allah yang khusus diberikan kepada manusia. Dengan
ilmu, Allah memberi kemuliaan kepada nabi Adam mengungguli para malaikat,
sehingga Allah memerintahkan semua malaikat agar bersujud kepada nabi Adam
(Shiddiq, 2000:4).
20
Sesungguhnya ilmu itu menjadi mulia, lantaran sebagai sarana untuk
menuju takwa kepada Allah. Sebagaimana syair yang dilantunkan syeikh
Muhammad bin Hasan bin Abdillah (Shiddiq, 2000:4-5):
ูุงู ูู ู ุงูู ุญุง ู ุฏ ุช ุนูู ูุฅู ุงูุนูู ุฒูู ูุฃููู * ููุถู ูุน ู
โBelajarlah ilmu pengetahuan, karena sesungguhnya ilmu pengetahuan itu merupakan
hiasan bagi yang memilikinya. Ilmu itu juga menjadi kelebihan dan tanda bagi setiap
sesuatu yang terpujiโ.
ุง ู ู ู ูู ุฒูุงุฏุฉุง * ู ู ุงูุนูู ูุงุณุจ ุงูููุงุฆุฏ ุญ ูู ุจุญ ูุฑ ูู ู ู ุณุชููุฏุง
โCarilah ilmu setiap hari, agar ilmu itu semakin bertambah dan carilah faidah-
faidahnya meskipun harus berenang di lautan faidahโ.
Maka berdasarkan penjelasan di atas, penulis akan menambah ilmu
pengetahuan dengan cara mencari sifat-sifat yang terdapat pada kongruensi latis
serta membuktikan lemma pada kongruensi latis agar lebih mudah untuk
dipahami. Seperti dalam hadits Rasulullah yang berbunyi:
ู ูุง ู ูุงุช ู ูุฑ ูุงูุณุฑ ูุง ููุงุช ุนุณุฑ ูุง ูุณู
โMudahkanlah setiap urusan dan janganlah kalian mempersulitnya, buatlah mereka
tenang dan jangan membuat mereka lari (HR. Bukhari)โ.
21
BAB III
PEMBAHASAN
Pada bagian ini akan dibahas mengenai analisis kesamaan dan perbedaan
dari definisi kongruensi latis serta membuktikan sifat-sifat pada kongruensi latis.
3.1 Definisi Kongruensi Latis (Garg)
Suatu relasi ekuivalen ฮฑ pada latis ๐ฟ adalah kongruen jika ๐ฅ โก ๐ฆ (mod ฮฑ)
yang berakibat bahwa
1. โ๐ง โถ ๐ง โ ๐ฅ โก ๐ง โ ๐ฆ (mod ฮฑ)
2. โ๐ง โถ ๐ง โ ๐ฅ โก ๐ง โ ๐ฆ (mod ฮฑ)
(Garg, 2007:63).
Misalkan โ adalah operasi + dan โ adalah operasi ร. Maka, akibat dari definisi
tersebut dapat dijabarkan menjadi:
1. โ๐ง โถ ๐ง + ๐ฅ โก ๐ง + ๐ฆ (mod ฮฑ)
2. โ๐ง โถ ๐ง ร ๐ฅ โก ๐ง ร ๐ฆ (mod ฮฑ)
Contoh:
Misal himpunan dari bilangan asli yang didefinisikan sebagai ๐ด = {1, 3, 6}
adalah latis. Kemudian himpunan tersebut dikatakan relasi ekuivalen jika
memenuhi sifat refleksif, simetrik, dan transitif:
Refleksif = {(1, 1), (3, 3), (6, 6)}
Simetrik = {(1, 3), (3, 1), (1, 6), (6, 1), (3, 6), (6, 3)}
Transitif = {(1, 3), (1, 6), (3, 1), (3, 6), (6, 1), (6, 6)}
Maka akan menghasilkan relasi ekuivalen sebagai berikut:
ฮฑ: {(1,1), (1,3), (1, 6), (3, 1), (3, 3), (3, 6), (6, 1), (6, 3), (6, 6)}.
22
Selanjutnya, jika ฮฑ adalah suatu relasi ekuivalen dan jika relasi (๐, ๐) โ ฮฑ,
maka dapat dinotasikan sebagai ๐ โก ๐ (mod ฮฑ) (Gratzer, 2011:2-3) dan
diperoleh:
1. 1 โก 1 (mod (1, 1))
2. 1 โก 3 (mod (1, 3))
3. 1 โก 6 (mod (1, 6))
4. 3 โก 1 (mod (3, 1))
5. 3 โก 3 (mod (3, 3))
6. 3 โก 6 (mod (3, 6))
7. 6 โก 1 (mod (6, 1))
8. 6 โก 3 (mod (6, 3))
9. 6 โก 6 (mod (6, 6))
Berdasarkan penjelasan di atas, maka suatu relasi ekuivalen ฮฑ pada latis ๐ฟ
sudah terbukti. Langkah selanjutnya adalah, bagaimana relasi ekuivalen pada latis
tersebut bisa disebut kongruensi. Merujuk pada definisi kongruensi latis menurut
Garg dan โ๐ง โ โ, misal ๐ง = 2 serta didefinisikan bahwa ๐ ร ๐ = FPB (๐, ๐) dan
๐ + ๐ = KPK (๐, ๐), maka diperoleh
1. 2 ร 1 โก 2 ร 1 (mod (1, 1)) 2 + 1 โก 2 + 1 (mod (1, 1))
1 โก 1 (mod (1, 1)) 2 โก 2 (mod (1, 1))
2. 2 ร 1 โก 2 ร 3 (mod (1, 3)) 2 + 1 โก 2 + 3 (mod (1, 3))
1 โก 2 (mod (1, 3)) 2 โก 3 (mod (1, 3))
3. 2 ร 1 โก 2 ร 6 (mod (1, 6)) 2 + 1 โก 2 + 6 (mod (1, 6))
1 โก 2 (mod (1, 6)) 2 โก 6 (mod (1, 6))
23
4. 2 ร 3 โก 2 ร 1 (mod (3, 1)) 2 + 3 โก 2 + 1 (mod (3, 1))
2 โก 1 (mod (3, 1)) 3 โก 2 (mod (3, 1))
5. 2 ร 3 โก 2 ร 3 (mod (3, 3)) 2 + 3 โก 2 + 3 (mod (3, 3))
2 โก 2 (mod (3, 3)) 3 โก 3 (mod (3, 3))
6. 2 ร 3 โก 2 ร 6 (mod (3, 6)) 2 + 3 โก 2 + 6 (mod (3, 6))
2 โก 2 (mod (3, 6)) 3 โก 6 (mod (3, 6))
7. 2 ร 6 โก 2 ร 1 (mod (6, 1)) 2 + 6 โก 2 + 1 (mod (6, 1))
2 โก 1 (mod (6, 1)) 6 โก 2 (mod (6, 1))
8. 2 ร 6 โก 2 ร 3 (mod (6, 3)) 2 + 6 โก 2 + 3 (mod (6, 3))
2 โก 2 (mod (6, 3)) 6 โก 3 (mod (6, 3))
9. 2 ร 6 โก 2 ร 6 (mod (6, 6)) 2 + 6 โก 2 + 6 (mod (6, 6))
2 โก 2 (mod (6, 6)) 6 โก 6 (mod (6, 6))
Karena sembilan kondisi tersebut memenuhi sifat yang terdapat pada
definisi kongruensi latis, maka ๐ด = {1, 3, 6} adalah kongruensi latis.
3.2 Definisi Kongruensi Latis (Gratzer)
Suatu relasi ekuivalen ฮฑ pada latis ๐ฟ disebut relasi kongruen jika
mengikuti dua sifat sebagai berikut:
a. ๐0 โก ๐0 (mod ฮฑ) dan ๐1 โก ๐1(mod ฮฑ)
berakibat bahwa ๐0 ร ๐1 โก ๐0 ร ๐1 (mod ฮฑ)
b. ๐0 โก ๐0 (mod ฮฑ) dan ๐1 โก ๐1(mod ฮฑ)
berakibat bahwa ๐0 + ๐1 โก ๐0 + ๐1(mod ฮฑ)
(Gratzer, 2011:36).
24
Contoh:
Misal himpunan dari bilangan asli yang didefinisikan sebagai ๐ด = {1, 3, 6}
adalah latis. Kemudian akan ditunjukkan relasi ekuivalen pada latis tersebut.
Dengan cara yang sama pada contoh kongruensi latis (Garg), maka diperoleh
1. 1 โก 1 (mod (1, 1))
2. 1 โก 3 (mod (1, 3))
3. 1 โก 6 (mod (1, 6))
4. 3 โก 1 (mod (3, 1))
5. 3 โก 3 (mod (3, 3))
6. 3 โก 6 (mod (3, 6))
7. 6 โก 1 (mod (6, 1))
8. 6 โก 3 (mod (6, 3))
9. 6 โก 6 (mod (6, 6))
Berdasarkan penjelasan di atas, maka suatu relasi ekuivalen ฮฑ pada latis ๐ฟ
sudah terbukti. Langkah selanjutnya adalah, bagaimana relasi ekuivalen pada
latis tersebut bisa disebut kongruensi. Merujuk pada definisi kongruensi latis
menurut Gratzer serta didefinisikan bahwa ๐ ร ๐ = FPB (๐, ๐) dan ๐ + ๐ =
KPK (๐, ๐), maka diperoleh
1. 1 โก 1 (mod ฮฑ) dan 1 โก 3 (mod ฮฑ)
a. 1 โก 1 (mod ฮฑ) dan 1 โก 3 (mod ฮฑ)
berakibat bahwa 1 ร 1 โก 1 ร 3 (mod ฮฑ)
1 โก 1 (mod ฮฑ)
25
b. 1 โก 1 (mod ฮฑ) dan 1 โก 3 (mod ฮฑ)
berakibat bahwa 1 + 1 โก 1 + 3 (mod ฮฑ)
1 โก 3 (mod ฮฑ)
Karena diperoleh hasil yang sama, maka persamaan 1 โก 1 (mod ฮฑ) dan
1 โก 3 (mod ฮฑ) bisa disebut reflektif.
2. 1 โก 1 (mod ฮฑ) dan 3 โก 3 (mod ฮฑ)
a. 1 โก 1 (mod ฮฑ) dan 3 โก 3 (mod ฮฑ)
berakibat bahwa 1 ร 3 โก 1 ร 3 (mod ฮฑ)
1 โก 1 (mod ฮฑ)
b. 1 โก 1 (mod ฮฑ) dan 3 โก 3 (mod ฮฑ)
berakibat bahwa 1 + 3 โก 1 + 3 (mod ฮฑ)
3 โก 3 (mod ฮฑ)
Karena diperoleh hasil yang sama, maka persamaan 1 โก 1 (mod ฮฑ) dan
3 โก 3 (mod ฮฑ) bisa disebut reflektif.
Berdasarkan kedua contoh tersebut, dapat disimpulkan bahwa untuk setiap
๐ โก ๐ (mod ฮฑ) jika dipasangkan dengan kongruensi berbentuk apapun hasilnya
akan kembali ke dirinya sendiri (reflektif).
3. 1 โก 3 (mod ฮฑ) dan 3 โก 1 (mod ฮฑ)
a. 1 โก 3 (mod ฮฑ) dan 3 โก 1 (mod ฮฑ)
berakibat bahwa 1 ร 3 โก 3 ร 1 (mod ฮฑ)
1 โก 1 (mod ฮฑ)
b. 1 โก 3 (mod ฮฑ) dan 3 โก 1 (mod ฮฑ)
berakibat bahwa 1 + 3 โก 3 + 1 (mod ฮฑ)
3 โก 3 (mod ฮฑ)
26
4. 1 โก 3 (mod ฮฑ) dan 6 โก 1 (mod ฮฑ)
a. 1 โก 3 (mod ฮฑ) dan 6 โก 1 (mod ฮฑ)
berakibat bahwa 1 ร 6 โก 3 ร 1 (mod ฮฑ)
1 โก 1 (mod ฮฑ)
b. 1 โก 3 (mod ฮฑ) dan 6 โก 1 (mod ฮฑ)
berakibat bahwa 1 + 6 โก 3 + 1 (mod ฮฑ)
6 โก 3 (mod ฮฑ)
3.3 Analisis Kesamaan dan Perbedaan dari Definisi Kongruensi Latis
Pada definisi kongruensi latis berdasarkan Gratzer terdapat dua sifat
sebagai berikut:
a. ๐0 โก ๐0 (mod ฮฑ) dan ๐1 โก ๐1 (mod ฮฑ)
berakibat bahwa ๐0 ร ๐1 โก ๐0 ร ๐1 (mod ฮฑ)
b. ๐0 โก ๐0 (mod ฮฑ) dan ๐1 โก ๐1 (mod ฮฑ)
berakibat bahwa ๐0 + ๐1 โก ๐0 + ๐1 (mod ฮฑ).
Kemudian, definisi tersebut akan dijabarkan menjadi
Misal ๐0 = ๐0 = ๐ง; ๐1 = ๐ฅ; ๐1 = ๐ฆ, maka dua sifat tersebut akan menjadi
a. ๐0 โก ๐0 (mod ฮฑ) dan ๐1 โก ๐1 (mod ฮฑ)
๐ง โก ๐ง (mod ฮฑ) dan ๐ฅ โก ๐ฆ (mod ฮฑ) yang berakibat
๐ง ร ๐ฅ โก ๐ง ร ๐ฆ (mod ฮฑ)
b. ๐0 โก ๐0 (mod ฮฑ) dan ๐1 โก ๐1 (mod ฮฑ)
๐ง โก ๐ง (mod ฮฑ) dan ๐ฅ โก ๐ฆ (mod ฮฑ) yang berakibat
๐ง + ๐ฅ โก ๐ง + ๐ฆ (mod ฮฑ).
27
Maka, terbukti bahwa dari definisi Gratzer bisa menjadi definisi Garg
dengan cara memisalkan ๐0 dan ๐0 dengan ๐ง, ๐1 dengan ๐ฅ, dan ๐1 dengan ๐ฆ.
3.4 Sifat-sifat Kongruensi Latis
Lemma
Misal ฮฑ adalah kongruensi pada latis ๐ฟ; maka
1. Jika ๐ โก ๐ (mod ฮฑ) โง (๐ โค ๐ โค ๐) maka ๐ โก ๐ (mod ฮฑ)
2. ๐ โก ๐ (mod ฮฑ) jika dan hanya jika ๐ ร ๐ โก ๐ + ๐ (mod ฮฑ)
(Garg, 2007:63).
Bukti:
1. Jika ๐ โก ๐ (mod ฮฑ) โง (๐ โค ๐ โค ๐) maka ๐ โก ๐ (mod ฮฑ)
Sebelum membuktikannya, terlebih dahulu penulis akan mengupas satu
persatu modal yang ada pada lemma nomor 1 tersebut. Modal pertama adalah
๐ โก ๐ (mod ๐) yang berarti ๐ = ๐ + (ฮฑ ร ๐) berdasarkan definisi dari
kongruensi pada pembahasan sebelumnya. Modal kedua adalah (๐ โค ๐ โค ๐)
yang berarti bahwa:
- Untuk ๐ โค ๐ berlaku ๐ ร ๐ = ๐ โฆ (โ) dan ๐ + ๐ = ๐ โฆ (โโ)
- Untuk ๐ โค ๐ berlaku ๐ ร ๐ = ๐ โฆ (#) dan ๐ + ๐ = ๐ โฆ (##)
- Untuk ๐ โค ๐ berlaku ๐ ร ๐ = ๐ โฆ (โ) dan ๐ + ๐ = ๐ โฆ (โโ)
Selanjutnya, akan dibuktikan jika ๐ โก ๐ (mod ฮฑ) dan (๐ โค ๐ โค ๐) maka
๐ โก ๐ (mod ฮฑ). Adapun langkah-langkah untuk membuktikannya adalah
sebagai berikut:
๐ = ๐ + (ฮฑ ร ๐) (modal pertama)
๐ = (๐ + ๐) + (ฮฑ ร ๐) (modal kedua (##))
28
๐ = (๐ + ๐) + (๐ + ๐) + (ฮฑ ร ๐) (modal kedua (โโ) dan (##))
๐ = ๐ + ๐ + ๐ + ๐ + (ฮฑ ร ๐)
๐ = ๐ + ๐ + ๐ + ๐ + (ฮฑ ร ๐)
๐ = ๐ + ๐ + ๐ + (ฮฑ ร ๐) (modal kedua (โโ))
๐ = ๐ + ๐ + (ฮฑ ร ๐) (sifat idempotent +)
๐ = ๐ + (ฮฑ ร ๐) (mengikuti teorema 2.1)
๐ โก ๐ (mod ฮฑ) (definisi kongruensi)
Maka, terbukti bahwa jika ๐ โก ๐ (mod ฮฑ) dan (๐ โค ๐ โค ๐) maka
๐ โก ๐ (mod ฮฑ).
Karena lemma nomor 1 sudah terbukti, maka lemma tersebut dapat
digunakan dalam membuktikan lemma setelah ini.
2. ๐ โก ๐ (mod ฮฑ) jika dan hanya jika ๐ ร ๐ โก ๐ + ๐ (mod ฮฑ)
Pada pembuktian ini, penulis menggunakan modal yang ada pada lemma
nomor 1, maka akan dibuktikan bahwa:
i) Jika ๐ โก ๐ (mod ฮฑ) maka ๐ ร ๐ โก ๐ + ๐ (mod ฮฑ)
๐ โก ๐ (mod ฮฑ) (modal utama)
๐ = ๐ + (ฮฑ ร ๐) (definisi kongruensi)
๐ ร ๐ = ๐ + (ฮฑ ร ๐) (modal kedua (โ))
(๐ ร ๐) ร (๐ ร ๐) = ๐ + (ฮฑ ร ๐) (modal kedua (โ) dan (#))
๐ ร ๐ = ๐ + (ฮฑ ร ๐) (sifat transitif)
๐ ร ๐ = (๐ + ๐) + (ฮฑ ร ๐) (modal kedua (##))
๐ ร ๐ = (๐ + ๐) + (๐ + ๐) + (ฮฑ ร ๐) (modal kedua (โโ) dan (##))
๐ ร ๐ = ๐ + ๐ + (ฮฑ ร ๐) (sifat transitif)
๐ + ๐ โก ๐ + ๐ (mod ฮฑ) (definisi kongruensi)
29
ii) Jika ๐ + ๐ โก ๐ + ๐ (mod ฮฑ) maka ๐ โก ๐ (mod ฮฑ)
๐ + ๐ โก ๐ + ๐ (mod ฮฑ) (modal utama)
๐ + ๐ = ๐ + ๐ + (ฮฑ ร ๐) (definisi kongruensi)
๐ ร (๐ + ๐) = ๐ + ๐ + (ฮฑ ร ๐) (modal kedua (##))
๐ ร ((๐ + ๐) + (๐ + ๐)) = ๐ + ๐ + (ฮฑ ร ๐)(modal kedua (โโ) dan (##))
๐ ร (๐ + ๐) = ๐ + ๐ + (ฮฑ ร ๐) (sifat transitif)
๐ = ๐ + ๐ + (ฮฑ ร ๐) (sifat absorbsi +)
๐ = (๐ ร ๐) + ๐ + (ฮฑ ร ๐) (modal kedua (โ))
๐ = ๐ + (๐ ร ๐) + (ฮฑ ร ๐) (sifat komutatif +)
๐ = (๐ + ((๐ ร ๐) ร (๐ ร ๐))) + (ฮฑ ร ๐) (modal kedua (โ) dan (#))
๐ = (๐ + (๐ ร ๐)) + (ฮฑ ร ๐) (sifat transitif)
๐ = (๐ + (๐ ร ๐)) + (ฮฑ ร ๐) (sifat komutatif ร)
๐ = ๐ + (ฮฑ ร ๐) (sifat absorbsi ร)
๐ โก ๐ (mod ฮฑ) (definisi kongruensi)
Karena (i) dan (ii) sudah terbukti, maka benar bahwa
๐ โก ๐ (mod ฮฑ) jika dan hanya jika ๐ + ๐ โก ๐ + ๐ (mod ฮฑ).
Berdasarkan pembuktian nomor 1 dan 2, maka lemma pada pembahasan
ini terbukti benar.
Teorema 1
ฮฑ adalah relasi ekuivalen. Misal ๐ โ ๐ฟ dan (๐, ๐) โ ฮฑ, maka
๐ โก ๐ (mod (๐, ๐)) adalah kongruensi latis yang bersifat reflektif jika ๐ = 0.
Bukti:
๐ โก ๐ (mod (๐, ๐)) (modal utama)
30
๐ โก ๐ (mod ฮฑ) (diketahui)
i) โ๐ง; ๐ง + ๐ โก ๐ง + ๐ (mod ฮฑ)
๐ง + ๐ = ๐ง + ๐ + (ฮฑ ร ๐); ๐ = 0 (definisi kongruensi latis)
๐ง + ๐ = ๐ง + ๐
ii) โ๐ง; ๐ง + ๐ โก ๐ง + ๐ (mod ฮฑ)
๐ง + ๐ = ๐ง + ๐ + (ฮฑ ร ๐); ๐ = 0 (definisi kongruensi latis)
๐ง + ๐ = ๐ง + ๐
Maka terbukti bahwa ๐ โก ๐ (mod (๐, ๐)) adalah kongruensi latis yang bersifat
reflektif jika ๐ = 0.
Teorema 2
ฮฑ adalah relasi ekuivalen. Misal ๐, ๐ โ ๐ฟ dan (๐, ๐), (๐, ๐) โ ฮฑ, maka
๐ โก ๐ (mod (๐, ๐)) jika dan hanya jika ๐ โก ๐ (mod (๐, ๐)) adalah kongruensi
latis yang bersifat simetris jika ๐ = 0.
Bukti:
Untuk membuktikan ๐ โก ๐ (mod (๐, ๐)) jika dan hanya jika
๐ โก ๐ (mod (๐, ๐)), maka dibutuhkan pembuktian melalui dua arah,
yaitu jika ๐ โก ๐ (mod (๐, ๐)) maka ๐ โก ๐ (mod (๐, ๐)) dan jika
๐ โก ๐ (mod (๐, ๐)) maka ๐ โก ๐ (mod (๐, ๐)). Dengan cara yang sama pada
pembuktian Teorema 1, maka
i) Jika ๐ โก ๐ (mod (๐, ๐)) maka ๐ โก ๐ (mod (๐, ๐))
โ๐ง; ๐ง + ๐ โก ๐ง + ๐ (mod ฮฑ)
๐ง ร ๐ โก ๐ง ร ๐ (mod ฮฑ)
maka untuk ๐ง + ๐ โก ๐ง + ๐ (mod ฮฑ) berlaku,
31
๐ง + ๐ = ๐ง + ๐ + (ฮฑ ร ๐); ๐ = 0 (definisi kongruensi)
๐ง + ๐ = ๐ง + ๐
dan untuk ๐ง + ๐ โก ๐ง + ๐ (mod ฮฑ) berlaku,
๐ง + ๐ = ๐ง + ๐ + (ฮฑ ร ๐); ๐ = 0 (definisi kongruensi)
๐ง + ๐ = ๐ง + ๐
ii) Jika ๐ โก ๐ (mod (๐, ๐)) maka ๐ โก ๐ (mod (๐, ๐))
โ๐ง; ๐ง + ๐ โก ๐ง + ๐ (mod ฮฑ)
๐ง ร ๐ โก ๐ง ร ๐ (mod ฮฑ)
maka untuk ๐ง ร ๐ โก ๐ง ร ๐ (mod ฮฑ) berlaku,
๐ง ร ๐ = ๐ง ร ๐ + (ฮฑ ร ๐); ๐ = 0 (definisi kongruensi)
๐ง ร ๐ = ๐ง ร ๐
dan untuk ๐ง ร ๐ โก ๐ง ร ๐ (mod ฮฑ) berlaku,
๐ง ร ๐ = ๐ง ร ๐ + (ฮฑ ร ๐); ๐ = 0 (definisi kongruensi)
๐ง ร ๐ = ๐ง ร ๐
Maka terbukti bahwa ๐ โก ๐ (mod (๐, ๐)) jika dan hanya jika ๐ โก ๐ (mod (๐, ๐))
adalah kongruensi latis yang bersifat simetris jika ๐ = 0.
3.5 Keutamaan Orang-orang yang Menuntut Ilmu dalam Islam
Berdasarkan pada pembahasan sebelumnya, telah dijelaskan bahwa pada
bab ini akan membahas tentang menambah ilmu pengetahuan berupa sifat-sifat
yang terdapat pada kongruensi latis serta memudahkan urusan orang lain dengan
cara membuktikan lemma yang belum terbukti. Maka, terdapat hadits yang
menunjang firman Allah pada pembahasan sebelumnya yang berbunyi:
32
ุงูุนูู ูุฑูุถุฉ ุนููุณูู : ุฃ ุทู ุจ ูุง ุงูุนูู ููู ุจุงูุต ูุงู ุฑุณ ูู ุงููู ุตูู ุงููู ุนููู ู ู ู ูู ูุฅู ุทู
ุงูุนูู ุฑุถุงุง ุจุง ูุทู ู ุณูู ุฅู ุงูู ูุงุฆูุฉ ุชุถุน ุฃุฌูุญุช ูุง ูุทุงู
โTuntutlah ilmu walaupun di negeri Cina, karena sesungguhnya menuntut ilmu itu wajib
bagi setiap muslim. Sesungguhnya para malaikat meletakkan sayap-sayap mereka
kepada para penuntut ilmu karena senang dengan yang ia tuntut (HR. Ibnu Abdil Bar)โ.
Hadits tersebut menunjukkan bahwa menuntut ilmu itu wajib dan para
malaikat turut berbahagia. Agama islam sangat memperhatikan pendidikan untuk
mencari ilmu pengetahuan karena dengan ilmu pengetahuan manusia bisa
berkarya dan berprestasi serta dapat menjadikan ibadah seseorang menjadi
sempurna. Begitu pentingnya ilmu, Rasulullah mewajibkan umatnya agar
menuntut ilmu, baik laki-laki maupun perempuan.
Untuk memperoleh ilmu pengetahuan, perlu adanya usaha. Oleh karena
itu, Rasulullah pernah meminta umat Islam agar menuntut ilmu walaupun ke
negeri Cina. Dianjurkannya memilih negeri Cina pada saat itu, karena
kemungkinan peradaban Cina sudah maju.
Di lain hadits, Rasulullah juga menegaskan bahwa menuntut ilmu itu tidak
mengenal batas usia. Hal ini dijelaskan dalam hadits yang berbunyi:
ุฏ ุฃ ุทู ุจ ูุง ุงูุนูู ู ู ุงูู ูุฏ ุฅ ูู ุงูุญ
โTuntutlah ilmu mulai dari buaian sampai liang lahatโ.
Selanjutnya dijelaskan pula bahwa mempermudah urusan orang lain,
khususnya yang sedang mendapatkan kesulitan itu termasuk perbuatan baik. Hal
ini telah dijelaskan dalam firman Allah yang berbunyi:
ุฅู ุฃุญุณูุช ู ุฃุญุณูุช ู ูุฃู ู ุณู ู ูุฅู ุฃุณุฃุช ู ููุง...
โJika kamu berbuat baik berarti kamu berbuat baik bagi dirimu sendiri dan jika kamu
berbuat jahat maka kejahatan itu bagi dirimu sendiri... (QS. al-Israโ:7)โ.
33
Adapun manfaat memudahkan orang lain yang sedang kesulitan adalah
orang tersebut akan dimudahkan segala urusannya oleh Allah, baik urusan dunia
maupun akhirat. Hal ini telah dijelaskan dalam hadits Rasulullah yang berbunyi:
ุฎุฑุฉ ...ูู ู ูุณุฑ ุนูู ู ุนุณุฑ ูุณุฑ ุงููู ุนููู ูู ู ูุง ูุง ... ุงูุฏู
โ...dan barangsiapa memudahkan orang yang tengah dilanda kesulitan, maka
Allah akan memudahkannya di dunia dan di akhirat..โ.
Alangkah beruntungnya seseorang yang kesehariannya senantiasa
berusaha untuk memudahkan urusan orang-orang yang sedang kesulitan. Karena
manfaat yang akan diperolehnya adalah mendapatkan kemudahan dari Allah, baik
di dunia maupun di akhirat.
34
BAB IV
PENUTUP
4.1 Kesimpulan
Berdasarkan hasil pembahasan pada bab sebelumnya, diperoleh beberapa
kesimpulan yaitu sebagai berikut:
1. Terdapat kongruensi latis yang bersifat reflektif yaitu ๐ โก ๐ (mod (๐, ๐)).
2. Terdapat kongruensi latis yang bersifat simetris yaitu ๐ โก ๐ (mod (๐, ๐))
jika dan hanya jika ๐ โก ๐ (mod (๐, ๐)).
4.2 Saran
Dalam penelitian ini, penulis hanya membahas dua definisi kongruensi
latis beserta contoh yang berkaitan dengan kongruensi latis, kemudian definisi
dari kongruensi latis tersebut dianalisis kesamaan dan perbedaannya sehingga
membentuk sifat-sifat kongruensi latis, yaitu reflektif dan simetris. Kemudian
sifat-sifat tersebut dibuktikan kebenarannya. Bagi peneliti selanjutnya dapat
dikembangkan kajian tentang kongruensi latis dengan memberikan lebih banyak
contoh, sehingga membentuk sifat baru yang berkaitan dengan kongruensi latis.
35
DAFTAR RUJUKAN
Abdussakir. 2009. Matematika 1: Kajian Integratif Matematika dan Al-Qurโan.
Malang: UIN Malang Press.
Al-Albani, M.N. 2005. Ringkasan Shahih Muslim. Jakarta: Gema Insani Press.
Khusnah, A.A. 2016. Penentuan Selesaian Kongruensi Polinomial. Skripsi tidak
dipublikasikan. Malang: UIN Maulana Malik Ibrahim Malang.
Garg, V.K. 2007. Lattice Theory with Applications. Austin: University of Texas.
Ghoffar, M.A. 2004. Lubaabut Tafsir min Ibnu Katsiir. Bogor: Pustaka Imam
Asy-Syafiโi.
Gilbert, L dan Gilbert, J. 2009. Elements of Modern Algebra Seventh Edition.
USA: Cengage Learning.
Gratzer, G. 2011. Lattice Theory Foundation. Canada: Springer Basel.
Mayasari, Z.M. 2005. Pembentukan dan Sifat-sifat Latis Kongruen pada
Semigrup. Jurnal Gradien, 1 (2): 87-89.
Nabil, A. 2009. Keutamaan Menuntut Ilmu Menurut Syariโat. Jakarta: Restu
Agung.
Shiddiq, A.N. 2000. Pedoman Belajar Pelajar dan Santri. Surabaya: Al-Hidayah.
Sukardjono. 2002. Teori Latis. Yogyakarta: ANDI.
Sukirman. 2005. Pengantar Aljabar Abstrak. Malang: UM PRESS.
RIWAYAT HIDUP
Aminatul Mardiyah lahir di Malang pada tanggal 19
November 1993. Biasa dipanggil Dyah. Ia tinggal di Tempur-
Kemiri, Kecamatan Kepanjen, Kabupaten Malang. Ia
merupakan anak kedua dari pasangan Muhammad Zainuri
dan Luluk Halimah. Pendidikan dasarnya ditempuh di SDN
Kemiri 02 lulus 2003, melanjutkan ke MTS An-Nur Bululawang lulus pada tahun
2009 dan melanjutkan ke MA An-Nur Bululawang lulus pada tahun 2012.
Selanjutnya menempuh kuliah di Universitas Islam Negeri Maulana Malik
Ibrahim Malang pada tahun 2013.