Prosiding Seminar Nasional Matematika dan Pendidikan Matematika 2015 ISBN No. 978-979-028-728-0
Kajian Sifat β Sifat Graf Pembagi-Nol dari Ring Komutatif dengan Elemen Satuan
Soleha1, Dian W. Setyowati2, Satrio A. W.3 1 Institut Teknologi Sepuluh Nopember,
[email protected] Institut Teknologi Sepuluh Nopember,
[email protected]
2
Abstrak. Perkembangan teori graf memang sangat menarik perhatian para ilmuan, khususnya para pakar aljabar. Dalam teori aljabar konsep ring komutatif merupakan pondasi dalam mengimplementasikan graf ke bentuk aljabar atau sebaliknya. Dalam artikel ini, dibahas graf pembagi-nol, yaitu graf yang simpul simpulnya ditentukan dari anggota pembagi-nol dari suatu ring komutatif dan sisi β sisinya merupakan relasi pembagi-nol. Pembahasan ini penting untuk mengetahui hubungan antara graf dengan aljabar, khususnya ring, yaitu dengan menyelidiki sifat - sifat graf yang dihasilkan dari suatu bentuk ring. Sifat yang dibahas antara lain; keberhinggaan, keterhubungan, graf bintang, dan graf lengkap. Kata Kunci: Graf Bintang, Graf Lengkap, Graf Pembagi nol, Ideal, Ring Komutatif
Pendahuluan Studi mengenai graf memang menjadi pembahasan yang sangat menarik akhir akhir ini, karena dengan mempresentasikan suatu masalah dalam bentuk graf, maka akan lebih mudah memilih suatu pemecahan dari berbagai solusi yang ditawarkan. pembahasan graf dalam ranah ring menjadi salah satu hal yang menarik perhatian peneliti dibidang aljabar. Graf adalah sebuah diagram yang terdiri dari simpul dan sisi yang menghubungkan suatu simpul dengan simpul yang lain, Sedangkan ring adalah sebuah himpunan tak kosong yang memiliki sifat grup abelian terhadap penjumlahan, assosiatif dan tertutup terhadap perkalian, dan bersifat distributive terhadap penjumlahan dan perkalian. Diberikan π
adalah suatu ring komutatif, yaitu ring yang memiliki sifat komutatif terhadap operasi perkalian, dan π(π
) adalah himpunan pembagi-nol dari π
. Suatu ring π
memuat suatu pembagi-nol jika terdapat π₯, π¦ β π
dimana π₯, π¦ β 0 sedemikian hingga π₯. π¦ = 0. Graf pembagi-nol dari ring komutatif yang dinotasikan dengan Ξ(π
) adalah suatu graf dengan simpul-simpulnya adalah semua elemen dari π
dan dua simpul terhubung jika perkalian titik keduanya adalah nol. Gagasan tersebut telah diperkenalkan I. Beck [1] dalam jurnalnya βColoring of Commutative Ringsβ pada tahun 1988 yang kemudian penelitian tersebut dilanjutkan oleh D. D. Anderson dan M. Naseer. Definisi dari graf pembagi-nol yang digunakan oleh D. D. Anderson dan M. Naseer [2] yaitu simpul dari graf pembagi-nolnya adalah semua elemen dari ring π
dan dua simpul yang berbeda, misalkan π₯ dan π¦ terhubung oleh suatu sisi atau bertetangga jika dan hanya jika π₯. π¦ = 0. Dengan demikian simpul 0 akan bertetangga dengan semua simpul dan simpul yang bukan nol pasti terhubung dengan simpul 0. Definisi yang digunakan dalam artikel ini adalah simpul dari suatu graf pembagi-nol bukan semua elemen dari π
, melainkan elemen dari himpunan pembagi-nol dari ring π
, dimana π₯ dan π¦ dikatakan bertetangga jika dan hanya jika π₯. π¦ = 0, dengan π₯, π¦ β π(π
)β , dimana π(π
)β = 492
25 April 2015
Universitas Negeri SUrabaya
Prosiding Seminar Nasional Matematika dan Pendidikan Matematika 2015 ISBN No. 978-979-028-728-0
π(π
) β {0}. Tujuan utama penulisan artikel ini adalah untuk mengkaji sifat sifat graf pembagi-nol Ξ(π
).
Landasan Teori 2.1
Teori Graf
Sebuah graf digambar dengan meletakkan simpul sebagai sebuah titik dan mewakili setiap sisi dengan kurva yang menghubungkan lokasi dari titik ujungnya. Definisi 2.1[3] Sebuah graf πΊ adalah pasangan dari himpunan (π, πΈ), dimana π adalah himpunan simpul yang tak kosong, sedangkan πΈ adalah himpunan sisi yang mungkin merupakan himpunan kosong. Graf sederhana adalah sebuah graf yang tidak memiliki loop ataupun sisi ganda. Graf sederhana ditentukan oleh himpunan simpul dan himpunan sisi, yaitu pasangan terurut dari simpul, ditulis π = ππ untuk sisi π dan titik ujung π dan π. Ketika π dan π menjadi sebuah titik ujung dari suatu sisi, maka ππ menjadi tetangga. Suatu graf πΊ dikatakan terhubung jika untuk setiap pasangan terurut dua simpul yang berbeda {π, π} terdapat lintasan dari π ke π. Misalkan suatu graf terhubung dengan simpul simpul π£1 , π£2 , β¦ , π£π . Panjang lintasan dari π£1 , π£2 sampai dengan π£π adalah π β 1. Graf berhingga adalah graf yang memiliki jumlah simpul dan sisi berhingga. Suatu perjalanan dari simpul satu ke simpul lain melalui sisi dinamakan sebagai lintasan. Sebuah sikel adalah graf dengan jumlah simpul dan sisi sama, dimana simpul dapat ditempatkan berkeliling membentuk suatu lintasan melingkar. Girth dari suatu graf πΊ dinotasikan π(πΊ) adalah panjang sikel terpendek graf πΊ. Suatu jarak antara dua titik π dan π dari suatu graf yang dinotasikan π(π, π) adalah panjang dari lintasan terpendek yang menghubungkan titik π dan π jika ada. Jika suatu graf tidak memiliki lintasan, maka π(π, π) = β. Dalam suatu graf terhubung pernyataan berikut ekuivalen: 1. π(π, π) β₯ 0, dengan π(π, π) = 0 jika dan hanya jika π = π 2. π(π, π) = π(π, π) 3. π(π, π) + π(π, π) β₯ π(π, π) Diameter dari suatu graf πΊ yang dinotasikan dengan ππππ(πΊ) adalah jarak terpanjang dari lintasan terpendek yang menghubungkan setiap titik pada graf tersebut. [7] Berikut diberikan preposisi mengenai keterkaitan girth suatu graf, π(πΊ), dengan diameternya, ππππ(πΊ). Proposisi 2.2[4] Setiap graf πΊ yang memiliki suatu sikel memenuhi π(πΊ) β€ 2 ππππ(πΊ) + 1. Graf lengkap adalah sebuah graf sederhana yang setiap simpulnya terhubung dengan simpul yang lain. Graf lengkap dinotasikan πΎπ dengan π menyatakan banyaknya simpul. Graf lengkap mempunyai jumlah simpul |π(ππ )| = π.
Universitas Negeri Surabaya
25 April 2015
493
Prosiding Seminar Nasional Matematika dan Pendidikan Matematika 2015 ISBN No. 978-979-028-728-0
Sebuah graf lengkap bipartite adalah graf sederhana yang kedua simpulnya terhubung jika dan hanya jika keduanya berada pada himpunan partisi yang berbeda. Misalkan kedua himpunan tersebut memiliki jumlah simpul π dan π , maka notasi untuk graf lengkap bipartite adalah πΎπ,π . 2.2
Graf Pembagi Nol
Diberikan π
adalah ring komutatif dengan elemen satuan dan pembagi-nol nya adalah π(π
). Sebuah graf pembagi nol, Ξ(π
) adalah graf sederhana dengan simpul simpulnya adalah anggota pembagi-nol dari suatu ring komutatif tersebut. Kedua simpul misalkan π₯ dan π¦ dikatakan terhubung jika dan hanya jika π₯. π¦ = 0 dimana π₯, π¦ β 0. Dalam sebuah kasus misalnya, himpunan bilangan bulat modulo empat (π4 ) dengan anggotanya {0, 1, 2, 3}, jika digambar dalam sebuah graf pembagi-nol adalah berupa sebuah titik, karena pembagi-nol dari himpunan tersebut hanya satu, yaitu 2. Sedangkan dalam contoh lain, misalkan bilangan bulat modulo tiga (π3 ) yang beranggotakan {0, 1, 2}, tidak memiliki himpunan pembagi-nol, sehingga ring tersebut tidak mempunyai bentuk graf pembagi-nol, dengan kata lain grafnya adalah graf kosong. Hal yang sama juga terjadi pada Ring lain yang memiliki sifat daerah integral, seperti π2 , π5 , π7 , dan seterusnya. Dengan kata lain ring yang bersifat daerah integral tidak memiliki bentuk graf pembagi-nol. Selanjutnya dari kedua contoh diatas didapatkan π
= π3 ππ4 dengan anggotanya adalah sebagai berikut {[0,0], [0,1], [0,2], [0,3], [1,0], [1,1], [1,2], [1,3], [2,0], [2,1], [2,2], [2,3]} Dari keduabelas anggota π
= π3 ππ4 tersebut yang memenuhi definisi pembagi-nol yang dibahas sebelumnya, terdapat 5 anggota, antara lain [0.1], [0,2], [0,3], [1,0] dan [2,0] dengan keterhubungan sebagai berikut: [1, 0]. [0, 1] = 0 [1, 0]. [0, 2] = 0 [1, 0]. [0, 3] = 0 [0, 2]. [1, 2] = 0
[2, 0]. [0, 1] = 0 [2, 0]. [0, 2] = 0 [2, 0]. [0, 3] = 0 [0, 2]. [2, 2] = 0
Dari keenam keterhubungan tersebut, maka suatu graf pembagi-nol dari ring π
= π3 ππ4 dapat digambarkan sebagai berikut.
Gambar 1 Ξ(π3
494
25 April 2015
Γ π4 )
Universitas Negeri SUrabaya
Prosiding Seminar Nasional Matematika dan Pendidikan Matematika 2015 ISBN No. 978-979-028-728-0
Pada bab ini akan dikaji mengenai konsep ring komutatif yang berkaitan dengan konsep graf sehingga didapatkan sifat sifat graf pembagi-nol, kemudian akan ditentukan syarat suatu ring agar graf pembagi-nolnya merupakan graf bintang dan graf lengkap. 2.3
Keberhinggaan Graf Pembagi Nol Berdasarkan Ganesan [5] bahwa setiap ring komutatif yang hanya memiliki π pembagi-nol adalah berhingga dan memiliki elemen yang tidak lebih dari (π + 1)2 . Berikut diberikan teorema mengenai keberhinggaan graf pembagi-nol Ξ(π
). Teorema 2.3[6] Diberikan suatu Ring komutatif π
. Graf Ξ(π
) adalah berhingga jika dan hanya jika π
berhingga. Keberhinggaan yang dijelaskan dalam Teorema 2.3 tersebut merupakan langkah awal dalam menentukan keterhubungan suatu graf pembagi-nol Ξ(π
), dimana keterhubungan Ξ(π
) akan lebih mudah diamati jika graf tersebut berhingga. 2.4 Keterhubungan Graf Pembagi Nol Sebuah graf terdiri dari simpul simpul dan sisi sisi. Antar dua simpul yang berbeda dapat dihubungkan oleh suatu sisi, sehingga dapat dikatakan bahwa sisi merupakan suatu penghubung antar simpul dalam suatu graf. Dalam sebuah graf terhubung Ξ(π
), untuk π₯, π¦ β π(π
)β maka ada kemungkinan π₯ dan π¦ terhubung langsung dan dinotasikan dengan π₯ β π¦, artinya π₯ β π¦ = 0. Kemungkinan yang lain adalah terdapat suatu lintasan dimana π₯ dan π¦ tidak terhubung langsung, misal lintasan π₯ β π¦ β π§, artinya π₯ β π§ = π§ β π¦ = 0 dengan π§ β π(π
)β β {π₯, π¦}, atau lintasan π₯ β π§1 β π§2 β π¦, yang artinya π₯ β π§1 = π§1 β π§2 = π§2 β π¦ = 0 dengan π§1 , π§2 β π(π
)β β {π₯, π¦} Teorema 2.4[6] Diberikan ring komutatif π
, maka Ξ(π
) terhubung dengan diameter yang tidak lebih dari tiga (ππππ(Ξ(π
)) β€ 3). Pembahasan sifat graf pembagi-nol dalam ring komutatif membutuhkan pengertian ideal maksimal. ideal penghilang dan ring lokal. Suatu ideal π dari ring π
, π β π
, dikatakan ideal maksimal jika terdapat ideal πΌ sedemikian hingga π β πΌ, maka πΌ = π atau πΌ = π
[5]. Himpunan dari semua anggota ring,π₯ β π
, sedemikian hingga π₯π΄ = 0 dengan π΄ ideal dari π
disebut sebagai ideal penghilang dari π΄ dinotasikan dengan π΄ππ(π΄). Suatu ring π
yang memiliki tepat satu ideal maksimal dinamakan sebagai ring lokal Berdasarkan Teorema 2.4 bahwa jika graf terhubung Ξ(π
) memiliki suatu sikel, maka menurut Proposisi 2.2, graf Ξ(π
) memiliki girth π(Ξ(R)) β€ 7. Berikut ini adalah teorema yang menunjukkan bahwa suatu ring berhingga komutatif π
dengan ideal maksimal tak nol, atau ring berhingga komutatif yang berbentuk direct product memiliki panjang sikel terpendek maksimal adalah 4. Teorema 2.3[6] Misalkan π
adalah ring berhingga komutatif dengan ideal maksimal tak nol, atau π
ring direct product berhingga komutatif. Jika Ξ(π
) memiliki sikel, maka π(Ξ(π
)) β€ 4.
Graf Pembagi-nol Bintang
Universitas Negeri Surabaya
25 April 2015
495
Prosiding Seminar Nasional Matematika dan Pendidikan Matematika 2015 ISBN No. 978-979-028-728-0
Pandang πΊ sebagai suatu graf yang memiliki sifat simpul π yang terhubung dengan setiap simpul lainya. Graf tersebut dapat berupa graf lengkap atau graf bintang. Teorema 3.1 Diberikan suatu ring komutatif π
. Ξ(π
) memiliki suatu simpul yang terhubung dengan setiap simpul lainya jika dan hanya jika π
β
π2 Γ π΄, dimana π΄ adalah daerah integral, atau π(π
) adalah ideal penghilang Bukti. (β)diketahui Ξ(π
) memiliki suatu simpul yang terhubung dengan setiap simpul lainya. Maka terdapat π β π(π
)β dengan π βΌ π, dimana π β π(π
)β β {π}. Artinya π adalah ideal dari π(π
). Relasi π βΌ π berarti bahwa π β π = 0, βπ β π(π
)β β {π}, akibatnya π(π
) adalah suatu ideal penghilang. Misalkan π
β
π
1 Γ π
2 dengan (1, 0) adalah salah satu simpul yang terhubung dengan setiap simpul yang lain, (1, 0) β π(π
). Andaikan π β π
1 β {1} dan (π, 0) β π(π
), maka (1, 0)(π, 0) = 0, akibatnya π = 0. Hal ini menunjukan bahwa (1, 0) adalah satu satunya simpul yang terhubung dengan setiap simpul yang lain, sehingga π
1 β
π2 . Misalkan π
2 adalah ring komutatif dengan pembagi-nol π dan π. Karena π, π β π(π
2 ), maka (1, π) dan (1, π) adalah pembagi-nol dari π
dengan keterhubungan dalam Ξ(π
) adalah sebagai berikut. (1, π) β (0, π) = 0 (1, π) β (0, π) = 0 Tetapi (1, π) β (1, 0) β 0 dan (1, π) β (1, 0) β 0. Akibatnya terdapat simpul yang tidak terhubung dengan (1, 0), maka π
2 bukanlah ring yang memiliki pembagi-nol, melainkan adalah suatu daerah integral. (β) diketahui π
β
π2 Γ π΄ dengan π΄ adalah Daerah integral. Ambil sebarang π β π΄ β {0, 1} sedemikian hingga keterhubungan dalam Ξ(π
) adalah (1, 0) β (0, 1) = 0 (1, 0) β (0, π) = 0 Dari keterhubungan tersebut terlihat bahwa terdapat suatu simpul yang terhubung dengan setiap simpul lainya, yaitu (1, 0). Diketahui π(π
) adalah ideal penghilang, maka terdapat suatu ideal π sedemikian hingga π β π = 0, βπ β π(π
) β {π}. Artinya π adalah simpul yang terhubung dengan setiap simpul π. β Bukti pada Teorema 3.1 menjelaskan bahwa jika dalam suatu graf pembagi-nol Ξ(π
) terdapat suatu simpul π₯ yang terhubung dengan setiap simpul lainya, maka π₯ adalah suatu ideal prima dari π
, atau π(π
) adalah suatu ideal penghilang. Misalkan π
adalah ring lokal dengan ideal maksimal tak-nol π. Jika terdapat bilangan positif terkecil π dengan ππ = 0, maka π(π
) = π = π΄ππ(π₯), untuk setiap π₯ β ππβ1. Jadi jika |π
/π| β₯ 3, maka terdapat paling sedikit dua simpul yang terhubung dengan setiap simpul lainya. Jika π
adalah ring lokal berhingga, maka terdapat suatu simpul dalam Ξ(π
) yang terhubung dengan setiap simpul yang lain jika dan hanya jika π
β
π2 Γ π΄, dimana π΄ adalah daerah integral, atau π(π
) adalah ideal prima dari π
. Selanjutnya jika dim π
= 0, maka π
β
π2 Γ πΉ, dimana πΉ adalah lapangan berhingga, atau {0} adalah ideal prima dari π
. Akibat 3.2 Diberikan π
ring komutatif berhingga. Terdapat suatu simpul dalam π€(π
) yang terhubung dengan setiap simpul lainya jika dan hanya jika π
β
π2 Γ πΉ, dimana πΉ adalah 496
25 April 2015
Universitas Negeri SUrabaya
Prosiding Seminar Nasional Matematika dan Pendidikan Matematika 2015 ISBN No. 978-979-028-728-0
lapangan berhingga atau π
adalah ring lokal. Untuk setiap bilangan prima π dan integer π β₯ 1, maka |π€(π
)| = |πΉ| = ππ jika π
β
π2 Γ πΉ, sedangkan |π€(π
)| = ππ β 1 jika π
adalah ring lokal. Lemma berikut menjelaskan model ring dimana bentuk graf pembagi-nolnya memiliki tepat satu simpul yang terhubung dengan setiap simpul yang lain. Lemma 3.3 Diberikan π
, ring komutatif berhingga. Jika Ξ(π
) memiliki tepat satu simpul yang terhubung dengan setiap simpul lainya dan tidak ada lagi simpul lain yang berhubungan, maka π
β
π2 Γ πΉ, dimana πΉ adalah lapangan berhingga dengan |πΉ| β₯ 3, atau π
adalah ring lokal dengan ideal maksimalnya π memenuhi π
/π β
π2 , π3 = 0, dan |π2 | β€ 2, sehingga |Ξ(π
)| adalah ππ atau 2π β 1, untuk bilangan prima π dan integer π β₯ 1 Teorema dan lemma diatas telah menjelaskan mengenai bentuk ring yang menghasilkan graf dengan simpul yang terhubung dengan simpul lain, atau bisa disebut sebagai simpul pusat. Adanya simpul pusat memang merupakan salah satu ciri dari graf bintang, tapi satu ciri yang tidak boleh terlupakan adalah tidak adanya keterhubungan dalam graf tersebut selain dengan simpul pusat. Seperti pada suatu ideal penghilang, π
= πππ(π), dimana π β π
. Jelas bahwa βπ β π
, maka π β π = 0, sehingga π adalah simpul pusat dari Ξ(π
), tetapi ada kemungkinan terdapat π β π
dengan π β π = 0. Dengan demikian, graf pembagi-nol bintang tidak dapat terbentuk. Teorema berikut menunjukan bahwa graf pembagi-nol bintang hanya dapat dibentuk dari ring π
β
π2 Γ πΉ, dimana πΉ adalah field berhingga. Teorema 3.4 Diberikan π
adalah ring komutatif berhingga dengan |Ξ(π
)| β₯ 4. Ξ(π
) adalah graf bintang jika dan hanya jika π
β
π2 Γ πΉ, dimana πΉ adalah lapangan berhingga. Bukti. (β) diketahui Ξ(π
) adalah graf bintang andaikan π
β π2 Γ πΉ, dimana πΉ adalah lapangan berhingga, maka berdasarkan Akibat 3.2 dan Lemma 3.3, π
adalah ring lokal dengan ideal maksimal π. Diberikan π = πππ(π₯) dan ambil sebarang π, π, π, π β πβ β {π₯} yang berbeda. karena π2 = {0, π₯}, maka ππ = ππ = ππ = π₯ dan tidak ada relasi pembagi-nol lainya, sehingga ππ β ππ = ππ β ππ = 0 π(π β π) = π(π β π) = 0 πβπ =πβπ =π₯ Sehingga π = π hal ini kontradiksi dengan permisalan bahwa π, π, π, π adalah berbeda. Maka haruslah π
β
π2 Γ πΉ, dimana πΉ adalah lapangan berhingga. (β) diketahui π
β
π2 Γ πΉ, dimana πΉ adalah lapangan berhingga. Berdasarkan definisi graf pembagi-nol, maka didapat keterhubungan dalam Ξ(π
) adalah [1, 0] β [0, π] = 0, βπ β πΉ, π β 0, artinya simpul [1, 0] bertetangga dengan [0, π]. Sehingga Ξ(π
) adalah graf bintang.β Contoh 3.5 Ring komutatif π
β
π2 Γ π7 dengan anggotanya sebagai berikut. π2 Γ π7 = {(0.0), (0.1), (0.2), (0.3), (0.4), (0.5), (0.6), (1.0), (1.1), (1.2), (1.3), (1.4), Universitas Negeri Surabaya
25 April 2015
497
Prosiding Seminar Nasional Matematika dan Pendidikan Matematika 2015 ISBN No. 978-979-028-728-0
(1.5), (1.6)} Berdasarkan definisi graf pembagi-nol, maka π2 Γ π7 memiliki pembagi-nol sebanyak 7, yaitu (0.1), (0.2), (0.3), (0.4), (0.5), (0.6), dan (1.0). Berikut adalah daftar ketetanggaan dari Ξ(π2 Γ π7 ). (1.0) βΌ (0.1), (1.0) βΌ (0.2),(1.0) βΌ (0.3),(1.0) βΌ (0.4),(1.0) βΌ (0.5),(1.0) βΌ (0.6) Sehingga graf pembagi-nol yang terbentuk dari Ξ(π2 Γ π7 ) adalah graf bintang yang ditunjukan pada Gambar 2 berikut.
Gambar 2 Ξ(π2 Γ π7 )
Graf Pembagi-nol Lengkap Suatu graf dikatakan lengkap jika setiap simpulnya terhubung dengan setiap simpul yang lain, artinya untuk sebarang dua simpul yang berbeda pasti terdapat suatu sisi yang menghubungkan keduanya. Berdasarkan definisi tersebut, Ξ(π
) adalah graf lengkap jika π₯ β π¦ = 0, βπ₯, π¦ β π(π
), π₯ β π¦, dengan kata lain setiap anggota dari pembagi-nol π(π
) selalu terhubung dengan diameter satu. Berikut diberikan teorema mengenai model ring yang dapat menghasilkan bentuk graf lengkap. Teorema 4.1 Diberikan ring komutatif π
. Ξ(π
) adalah graf lengkap jika dan hanya jika π
β
π2 Γ π2 atau π₯ β π¦ = 0, βπ₯, π¦ β π(π
) Bukti. (β) diketahui Ξ(π
) adalah graf lengkap, berdasarkan definisi jelas bahwa π₯ β π¦ = 0, βπ₯ π¦ β (π
), π₯ β π¦. andaikan terdapat π₯ β π(π
) dan π₯ 2 β 0, maka π₯ 2 β π₯ atau π₯ 2 = π₯. Misalkan π₯ 2 β π₯, maka π₯ 2 π₯ = 0 dan π₯ 4 = 0, sehingga; π₯2π₯ + π₯2π₯2 = 0 π₯ 2 (π₯ + π₯ 2 ) = 0 Dari persamaan diatas jelas bahwa π₯ + π₯ 2 β π(π
), sehingga π₯ + π₯ 2 = π₯ atau π₯ + π₯ 2 β π₯. Jika π₯ + π₯ 2 = π₯, maka π₯ 2 = 0, hal ini kontradiksi dengan yang dimisalkan yaitu π₯ 2 β 0. Selanjutnya misalkan π₯ + π₯ 2 β π₯, maka (π₯ + π₯ 2 )π₯ = 0 π₯2 + π₯2π₯ = 0 Karena π₯ 2 π₯ = 0, akibatnya π₯ 2 = 0, kontradiksi lagi, maka haruslahπ₯ 2 = π₯. Berdasarkan Teorema 3.1, maka π
β
π2 Γ π΄, dengan π΄ daerah integral. Karena π2 = {0.1} dan π₯ 2 = π₯, maka π΄ β
π2 . 498
25 April 2015
Universitas Negeri SUrabaya
Prosiding Seminar Nasional Matematika dan Pendidikan Matematika 2015 ISBN No. 978-979-028-728-0
Sehingga π
β
π2 Γ π2 . (β) diketahui π
β
π2 Γ π2 maka π
= {(0, 0), (0, 1), (1, 0), (1, 1)}. keterhubungan dalam π
adalah (1, 0) β (0, 1) = 0, sehingga Ξ(π
) adalah graf lengkap. β Jika dalam suatu π(π
) setiap elemen selalu terhubung dengan setiap elemen lain dan π
β π2 Γ π2 , maka π(π
) adalah ideal dari π
dengan π(π
)2 = 0. Oleh karena itu π(π
) = πππ(π
) adalah ideal prima dari π
. Teorema berikut memberi penjelasan bahwa graf lengkap juga dapat digambar dengan menggunakan ring lokal dengan karakternya adalah bilangan prima π atau π2 . Teorema 4.2 diberikan π
adalah ring komutatif berhingga. Jika Ξ(π
) merupakan graf lengkap, maka π
β
π2 Γ π2 atau π
adalah ring lokal dengan πβππ π
= π atau π2 dan |Ξ(π
)| = ππ β 1 untuk bilangan prima π dan integer π β₯ 1 Bukti. berdasarkan Teorema 4.1, jelas bahwa Ξ(π2 Γ πΉ) lengkap jika dan hanya jika πΉ = π2 . Misalkan π
β π2 Γ π2 , berdasarkan Akibat 3.2, π
adalah ring lokal dengan ideal makasimal π dan π2 = 0. Karena π
β π2 Γ π2 dan Ξ(π
) adalah graf lengkap, maka setiap elemen dalam π(π
) haruslah merupakan nilpotent, sehingga π(π
)2 = π2 = 0 mengakibatkan π(π
) adalah ideal prima dari π
. Oleh karena itu πβππ π
= ππ , π β₯ 1. Jika π β₯ 3, maka akan terdapat pembagi-nol yang tidak terhubung dengan suatu pembagi-nol yang lainya dalam π
. Sehingga karakter dari π
tidak lain adalah πβππ π
= π atau π2 . Dari Akibat 3.2 banyaknya simpul dari graf pembagi-nol dari ring lokal tersebut adalah |Ξ(π
)| = ππ β 1. β Contoh 4.3 π
β
ππ2 , untuk bilangan prima π. Karena elemen dari π
merupakan himpunan bilangan bulat modulo π2 dan prima, maka π2 = 0 dan tidak ada faktor lain dari π2 selain π. Sehingga didapat ππ β ππ = 0 dimana π, π adalah suatu bilangan bulat, artinya jika kita kalikan sebarang 2 elemen kelipatan π di π
, hasilnya adalah nol. Sehingga π(π
) = {π, 2π, 3π, β¦ , ππ}, dimana π adalah bilangan prima. Karena untuk setiap elemen di π(π
) merupakan annihilator (penghilang), maka setiap simpul di Ξ(π
) terhubung dengan setiap simpul lainnya. Sehingga Ξ(π
) adalah graf pembagi-nol lengkap dengan |Ξ(π
)| = π β 1. Misalkan π
β
π25 , maka π(π
) = {5, 10, 15, 20} sehingga ketetanggaan dalam Ξ(π25 ) adalah sebagai berikut. 5 βΌ 10, 5 βΌ 15,5 βΌ 20, 10 βΌ 15, 10 βΌ 20, 15 βΌ 20 Dengan demikian graf pembagi-nol yang terbentuk adalah graf lengkap yang ditunjukan pada Gambar 3 berikut.
Universitas Negeri Surabaya
25 April 2015
499
Prosiding Seminar Nasional Matematika dan Pendidikan Matematika 2015 ISBN No. 978-979-028-728-0
Gambar 3 Ξ(π25 ) Suatu graf lengkap bipartit adalah graf yang simpulnya dibagi menjadi 2 partisi dan dua simpul bertentangga jika keduanya berada pada partisi yang berbeda. graf ini dinotasikan dengan πΎπ,π . Sebagian besar ring yang dapat diimplemenrasikan dalam Ξ(π
) adalah bentuk direct produk berhingga. misalkan π
β
π
1 Γ π
2 , maka π
dapat berupa graf lengkap bipartite dengan π
1 , π
2 adalah daerah integral. Misalkan π
2 bukan merupakan daerah integral, artinya terdapat π₯, π¦ β π
2 dengan π₯ β π¦ = 0, maka akan ada keterhubungan dalam satu partisi yang sama, yaitu (0, π₯) dengan (0, π¦). Dengan adanya pembagi-nol dalam suatu partisi akan memicu munculnya simpul simpul lain yang membuat definisi graf lengkap bipartite tidak terpenuhi, seperti (1, π¦), (2, π¦), β¦ , (π, π¦) keseluruhan simpul tersebut terhubung dengan (0, π₯), dan sebagainya. Sebagai contoh π3 Γ π6 , terdapat 2, 3 β π6 dan 2 β 3 = 0, sehingga dalam satu partisi terdapat keterhubungan yaitu (0,2) βΌ (0,3), hal ini menyebabkan π3 Γ π6 tidak memenuhi syarat sebagai graf lengkap bipartite. Akibat 4.4 Diberikan π
ring komutatif berhingga. Ξ(π
) adalah graf lengkap bipartite dengan |Ξ(π
)| = π + π β 2 jika dan hanya jika π
β
ππ Γ ππ , dimana π, π β π, π adalah bilangan prima. Contoh 4.5 Ring komutatif π
β
π3 Γ π5 dengan anggota sebagai beikut. π3 Γ π5 = {(0.0), (0.1), (0.2), (0.3), (0.4), (1.0), (1.1), (1.2), (1.3), (1.4), (2.0), (2.1), (2.2), (2.3), (2.4)} Ring tersebut memiliki pembagi-nol yaitu (1.0), (2.0), (0.1), (0.2), (0.3), dan (0.4) dengan ketetanggaan dalam Ξ(π3 Γ π5 ) adalah sebagai berikut. (1, 0) βΌ (0, 1), (1, 0) βΌ (0, 2),(1, 0) βΌ (0, 3),(1, 0) βΌ (0, 4),(2, 0) βΌ (0, 1),(2, 0) βΌ (0, 2) (2, 0) βΌ (0, 3),(2, 0) βΌ (0, 4) Dengan demikian π3 Γ π5 merupakan graf lengkap bipartite yang ditunjukan pada Gambar 4
Gambar 4 Ξ(π3 Γ π5 )
500
25 April 2015
Universitas Negeri SUrabaya
Prosiding Seminar Nasional Matematika dan Pendidikan Matematika 2015 ISBN No. 978-979-028-728-0
Kesimpulan Berdasarkan pembahasan pada bab 3 dan 4, maka dapat ditarik beberapa kesimpulan berikut: 1. Ξ(π
) adalah Graf Bintang, atau disebut Graf Pembagi-nol Bintang dengan π
β
π2 Γ πΉ , dimana adalah πΉ lapangan berhingga. 2. Ξ(π
) adalah Graf Lengkap atau Graf Pembagi-nol Lengkap, dengan π
β
π2 Γ π2 , atau π
adalah Ring Lokal dengan πβππ π
= π atau π2 . 3. Ξ(π
) adalah graf lengkap bipartite dengan |π€(π
)| = π + π β 2 jika dan hanya jika π
β
ππ Γ ππ dimana π, π β π, dengan π adalah bilangan prima.
Daftar Pustaka [1] [2] [3] [4] [5] [6]
Beck, I. 1988. Coloring of Commutative Rings, Journal of Algebra, 116, 208-226. Anderson, D. D. dan M. Naseer. 1993. Beckβs Coloring of a Commutative Rings, Journal of Algebra. 159, 500-514. Hartsfied, Nora, dan Gerhard Ringel. 1994. Pearls in Graph Theory a Comprehensive Introduction. Academic Press, Inc Diestel, R. 2000. Graph Theory. Springer-Verlag, New York. Ganesan, N. 1964. Properties Of Rings With a Finite Number of Zero-Divisor. math. Ann. 157, 215 β 218. Anderson, D. F. dan Phillip S. Livingston. 1999. The Zero-Divisor Graph of a Commutative Ring, Journal of Algebra, volume 217, 434 β 447. Mathematic Departement, The University of Tennessee, Knoxville.
Universitas Negeri Surabaya
25 April 2015
501