GRAF TOTAL DARI RING KOMUTATIF
Andika
Matematika, Fakultas Matematika dan Ilmu Pengetahuan Alam, Universitas Negeri Surabaya, 60231
Email: [email protected]
Dwi Juniati
Matematika, Fakultas Matematika dan Ilmu Pengetahuan Alam, Universitas Negeri Surabaya, 60231
Email:[email protected] ABSTRAK
Graf total dari ring komutatif π yang dilambangkan denganπ(π€ π ) adalah graf dengan himpunan titiknya adalah semua elemen dari ring π dan setiap π₯,π¦ β π dihubungkan oleh sebuah sisi jika dan hanya jika π₯+π¦ β
π(π ). π(π€ π ) merupakan graf terhubung dan jika π(π ) membentuk ideal maka π(π€ π ) merupakan graf komplit. π ππ π€ π merupakan gabungan dari beberapa graf komplit atau graf bipartisi komplit yang saling lepas. Jika π ππ π€ π terhubung, maka ππππ π ππ π€ π β€2. Jika πππ π€ π subgraf dari π π€ π maka
πππ π€ π merupakan graf komplit.
Kata kunci: graf total, graf pembagi nol dan graf komplit. ABSTRACT
The graph total of a ring commutative π denote π(π€ π ) is graph with all elements of π as vertices, and for distinct π₯,π¦ β π are adjacent if and only if π₯+π¦ β π(π ). π(π€ π )is always connected and if π(π ) is ideal, then π(π€ π ) is a complete graph. π ππ π€ π is the union of disjoint subgraphs, each of which is either complete graph or complete bipartite graph. If π ππ π€ π is connected, then ππππ π ππ π€ π β€2. If
πππ π€ π subgraph of π π€ π , then πππ π€ π is a complete graph. Keyword: total graph, zero divisor graph, and complete graph.
PENDAHULUAN
Teori graf lahir pada tahun 1736 melalui makalah tulisan Leonard Euler seorang ahli matematika dari Swiss. Euler adalah orang pertama yang berhasil memecahkan masalah jembatan Konigsberg di sungai Pregal yang sangat terkenal di Eropa yang mengalir mengitari pulau Kneiphof lalu bercabang menjadi dua buah anak sungai. Ia memodelkan masalah ini ke dalam graf. Daratan dinyatakan sebagai titik dan jembatan dinyatakan sebagai sisi.
Teori ring merupakan salah satu materi dalam aljabar abstrak. Asal usul teori ring berawal dari Richard Dedekind pada pertengahan abad ke 19. Ring mempelajari tentang struktur dari suatu himpunan terhadap dua operasi biner yaitu operasi aditif dan operasi multiplikatif.
Artikel ini mengambil dari jurnal internasional hasil kerja sama antara F. Anderson David dan Badawi Ayman yang berjudul βthe Total Graph of a Commutatif Ringβ. Berdasarkan jurnal tersebut
artikel yang berjudul βGraf Total Dari Ring
Komutatifβ ini akan membahas mengenai pendefinisian baru tentang graf total, subgraf total yang dibangunoleh π π , subgraf total yang dibangun oleh π ππ(π ), dan subgraf total yang dibangun oleh πππ π .
LANDASAN TEORI 1.1 Graf
Definisi 2.1.1: Graf
Sebuah graf πΊ berisikan dua himpunan yaitu himpunan berhingga (tak kosong) π(πΊ) dari obyek-obyek yang disebut titik dan himpunan berhingga (mungkin kosong) πΈ(πΊ) yang elemen-elemennya disebut sisi sedemikian hingga setiap elemen dalam πΈ(πΊ) merupakan pasangan tak berurutan dari titik-titik di π(πΊ). π(πΊ) disebut himpunan titik-titik πΊ dan πΈ(πΊ) disebut himpunan sisi-sisi πΊ. [3]
Definisi 2.1.2:Berhubungan Langsung (adjacent) Misalkan u dan v adalah dua titik di πΊ. titik u dan titik v dikatakan berhubungan langsung (adjacent) di πΊjika ada sisi yang menghubungkan titik u dan titik v. [3]
Definisi 2.1.3: Graf Sederhana
Dalam suatu graf, apabila suatu sisi e menghubungkan suatu titik v dengan dirinya sendiri maka sisi e dinamakan sisi gelung. Jika terdapat lebih dari satu sisi yang menghubungkan dua titik, maka sisi tersebutdinamakan sisi rangkap. Graf yang tidak memuat gelung dan tidak memuat sisi rangkap dinamakan graf sederhana. [3]
Definisi 2.1.4: Graf Komplit
Sebuah graf komplit (lengkap) denganπ titik dilambangkan dengan πΎπ adalah graf sederhana dengan π titik sedemikian sehingga setiap dua titik berbeda dihubungkan oleh sebuah sisi. [3]
Definisi 2.1.5: Graf Bipartisi Komplit
Sebuah grafπΊ disebut graf bipartisi jika himpunan titik πΊ dapat dipartisi menjadi dua himpunan bagian Adan B sedemikian hingga setiapsisi dariπΊ menghubungkan sebuah titik di A dan sebuah titik B.
ApabilaπΊ graf sederhana dan bipartisi sedemikian sehingga setiap titik di A berhubungan langsung dengan setiap titik di B, maka πΊ disebut graf bipartisi komplit dan dilambangkan dengan
πΎπ,π dimana A =πdan B =π. [3]
Definisi 2.1.6: Diameter Dan Girth Dari Graf Untuk setiap π₯,π¦ β π(πΊ), jarak dari titik π₯ dan titik π¦ dilambangkan dengan π(π₯,π¦) adalah panjang dari lintasan terpendek dari π₯ ke π¦ (π π₯,π₯ = 0 dan jika π₯ dan π¦ tidak terhubung maka π π₯,π¦ =β). Diameter dari graf πΊ dilambangkan dengan ππππ πΊ = supβ‘{π π₯,π¦ βΆ
π₯,π¦ β π πΊ }. Girth dari graf πΊ dilambangkan dengan ππ(πΊ) adalah panjang dari sikel terpendek di graf πΊ( πΊ =β jika πΊ tidak mempunyai sikel). [1]
Definisi 2.1.7: Subgraf dan Subgraf Yang Diinduksi
Sebuah graf H disebut subgraf dari graf G, ditulis HβG, jika V(H)βV(G) dan E(H)βE(G). Misal VβV(G), subgraf yang dibangun (diinduksi) oleh V dilambangkan dengan G[V] adalah sebuah subgraf dari G yang himpunan titiknya adalah V
dan himpunan sisinya beranggotakan semua sisi G
yang mempunyai titik-titik akhir di V. [3] Definisi 2.1.8: Graf Terhubung
πΊ merupakan graf terhubung jika untuk setiap dua titik yang berbeda terdapat sebuah lintasan yang menghubungkan kedua titik tersebut . Sebuah komponen graf G adalah subgraf terhubung maksimal dari. Setiap graf terhubung memiliki tepat satu komponen sedangkan graf tak terhubung memiliki paling sedikit dua komponen. Misal πΊ1 dan πΊ2 adalah subgraf dari πΊ, πΊ1 dan πΊ2 saling lepas padaπΊ jika tidak ada titik di πΊ1 yang berhubungan langsung dengan titik di πΊ2 dan sebaliknya. [3]
2.2 Ring
Definisi 2.2.1: Ring
Sebuah himpunan tak kosongπ dengan operasi biner pertama * dan operasi biner kedua β disebut ring, jika βπ,π,π β π berlaku:
1. π β π β π 2. π β π β π=π β π β π 3. β 0 β π β π β0 = 0β π=π 4. β β π β π β π β βπ=βπ β π= 0 5. π β π=π β π 6. π β π β π 7. π β π β π=π β π β π 8. π β π β π = (π β π)β(π β π) dan π β π β π= π β π β(π β π)
Sebuah himpunan tak kosongπ dengan operasi biner pertama * dan operasi biner kedua β membentuk ring dilambangkan dengan (π ,β,β). [4] Definisi 2.2.2: Pembagi Nol
Diberikan π adalah ring komutatif. π β π ,
π β 0, π disebut pembagi nol jika βπ β π ,π β 0 sedemikian sehingga ππ= 0. π(π )β adalah himpunan pembagi nol dari ring π sedangkan
Definisi 2.2.3: Elemen Reguler
Diberikan π adalah ring komutatif. π β π ,
π β 0 disebut elemen reguler dari π jika βπ β π berlaku π=πππ.π ππ(π ) adalah himpunan elemen regular dari ring π . [5]
Definisi 2.2.4: Nilpotent
Diberikan π adalah ring komutatif. π β π ,
π β 0 disebut nilpotent jika ada bilangan bulat positif π sedemikian sehingga ππ = 0 dimana 0 adalah elemen nol dari π . πππ(π )βhimpunan nilpotent dari ring π sedangkan πππ π =
πππ(π )ββͺ{0}. [4] Definisi 2.2.5: Ideal
Diberikan π ring.πΌ β π , πΌ β β .πΌdisebut ideal dari π jika memenuhi:
1. βπ₯,π¦ β πΌ maka π₯+π¦ β πΌ dan β π₯ β πΌ. 2. βπ β π , π β πΌ berlaku ππ β πΌ dan ππ β πΌ.[4] Definisi 2.2.6: Koset
Diberikan π ring, πΌ ideal dari π dan π β π .
π+πΌ= {π+π βΆ π β πΌ} disebut koset dari ideal πΌ. [4]
Definisi 2.2.7: Ring Faktor
Diberikan π ring dan πΌ ideal dari π . Ring faktor dari π yang dibangun oleh ideal πΌ dilambangkan dengan π πΌ dengan π πΌ= {π+πΌ βΆ
π β π } dimana βπ,π β π berlaku: 1. π+πΌ + π+πΌ = π+π +πΌ 2. π+πΌ π+πΌ = (ππ) +πΌ.[4] Definisi 2.2.8: Homomorfisma Ring
Suatu pemetaan π dari ring (π , +,Γ) ke ring (π,β,β) disebut homomorfisma ring jika βπ,π β
π berlaku:
1. π π+π =π π β π π 2. π πΓπ =π π β π π .[4] Definisi 2.2.9: Isomorfisma Ring
Suatu pemetaan π dari ring (π , +,Γ) ke ring (π,β,β) disebut isomorfisma ring jika π homomorfisma dan π korespondensi satu-satu. Ring π dan ring π dikatakan isomorfik jika dan hanya jika ada fungsi π sedemikan sehingga π merupakan isomorfisma ring. Ring π isomorfik dengan ring π dilambangkan dengan π β π. [4]
PEMBAHASAN 3.1 Graf Total
Definisi3.1.1: Graf Pembagi Nol
Graf pembagi nol dari π dilambangkan dengan
π€ π adalah graf dengan himpunan titiknya adalah semua elemen dari π π β dan untuk βπ₯,π¦ β π π β , π₯ β π¦ maka titik π₯ dan titik π¦ dihubungkan oleh sebuah sisi jika dan hanya jika π₯π¦= 0.
Definisi 3.1.2: Graf Total
Graf total dari ring komtatif π dilambangkan dengan π(π€ π ) adalah graf dengan himpunan titiknya adalah semua elemen dari ring π dan setiap
π₯,π¦ β π , π₯ β π¦ maka titik π₯ dan titik π¦ dihubungkan oleh sebuah sisi jika dan hanya jika
π₯+π¦ β π(π ). 3.2 Subgraf Total
Definisi 3.2.1: Graf π(π πΉ )
Diberikan π adalah sebuah ring komutatif.
π(π€ π ) adalah graf dengan himpunan titiknya adalah semua elemen dari π(π ) dan setiap π₯,π¦ β
π(π ), π₯ β π¦ maka titik π₯ dan titik π¦ dihubungkan oleh sebuah sisi jika dan hanya jika π₯+π¦ β π(π ). Lemma 3.2.1
π π πΉ merupakan subgraf dari π» π πΉ . Definisi 3.2.2
π π πΉ disebut subgraf total dari π» π πΉ yang dibangun oleh π πΉ .
Teorema 3.2.2
Diberikan π adalah sebuah ring komutatif maka π(π€ π ) merupakan graf terhubung.
Bukti:
Ambil sebarang π,π β π½(π π πΉ maka
π,π β π πΉ . Jika π+π β π πΉ maka (π,π) merupakan lintasan dari π ke π. Jika π+π β π πΉ maka π+π=π β π(πΉ) dan π+π=π β π(πΉ) sehingga (π,π,π) merupakan lintasan dari π ke π. Jadi π π πΉ merupakan graf terhubung.
Teorema 3.2.3
Diberikan πΉ adalah sebuah ring komutatif. Jika
π πΉ merupakan ideal dari πΉ maka π(π πΉ ) merupakan graf komplit.
Bukti:
Ambil sebarang π,π β π(πΉ). Karena π(πΉ) ideal maka π+π β π(πΉ) sehingga titik π dan titik
π berhubungan langsung (adjacent) di π(π πΉ . Jadi π(π πΉ merupakan graf komplit.
Definisi 3.2.3: Graf πΉππ(π πΉ )
Diberikan πΉ adalah sebuah ring komutatif dengan elemen satuan. πΉππ(π πΉ ) adalah graf dengan himpunan titiknya adalah semua elemen dari πΉππ πΉ dan setiap π,π β πΉππ πΉ , π β π maka titik π dan titik π dihubungkan oleh sebuah sisi jika dan hanya jika π+π β π(πΉ).
Lemma 3.2.4
π ππ π€ π merupakan subgraf dari π π€ π . Definisi 3.2.4
π ππ π€ π disebut subgraf total dari π π€ π yang dibangun oleh π ππ π .
Teorema 3.2.5
Diberikan π adalah sebuah ring komutatif danπ π merupakan ideal dari π . Jika βπ₯,π¦ β
π ππ π dengan π₯ dan π¦ terhubung di π ππ(π€ π ) dan π₯+π¦ β π π , maka π₯,βπ₯,π¦ dan π₯,βπ¦,π¦ adalah lintasan dari π₯ ke π¦ di π ππ π€ π dengan panjang 2.
Bukti:
Ambil sebarang π,π β π½ πΉππ π πΉ dan
π+π β π πΉ makaβπ β π½ πΉππ π πΉ
sehingga (π,π,π) merupakan lintasan dari πke π. Jadi π+π , (π+π)β π(πΉ). Karenaπ(πΉ) ideal maka π+π β π+π =π β π β π(πΉ).π β π β
π πΉ danπ(πΉ) ideal maka β π β π =βπ+π β
π(πΉ).π πΉ ideal maka π=π+ βπ β π πΉ dan
π=βπ+π β π πΉ .
Karenaπ₯+ βπ₯ β π π dan βπ₯+π¦ β π(π ) maka π₯,βπ₯,π¦ merupakan lintasan dari π₯ke π¦. Karena π₯ β π¦ β π(π ) dan βπ¦+π¦ β π π maka
π₯,βπ¦,π¦ merupakan lintasan dari π₯ ke π¦.
Jadi π₯,βπ₯,π¦ dan π₯,βπ¦,π¦ merupakan lintasan dari π₯ ke π¦ di π ππ π€ π dengan panjang 2. Teorema 3.2.6
Diberikan πΉ adalah sebuah ring komutatif dan
π πΉ merupakan ideal dari πΉ. Jika πΉππ π πΉ
terhubung maka βπ±,π² β πππ π berlaku π±+π² β
π π atau π± β π² β π π . Bukti:
Ambil sebarang π,π β π½ πΉππ π πΉ maka
π,π β πΉππ πΉ . Jika titikπ dan titik π berhubungan langsung (adjacent) maka π+π β
π πΉ . Jika titikπ dan titik π tidak berhubung langsung maka π+π β π πΉ . Berdasarkan teorema 3.2.5 π,βπ,π adalah lintasan dari π ke π di πΉππ π πΉ sehingga π β π β π πΉ . Jadi
πΉππ π πΉ terhubung maka βπ,π β πΉππ πΉ berlaku π+π β π πΉ atau π β π β π πΉ .
Teorema 3.2.7
DiberikanπΉ adalah sebuah ring komutatif dan
π πΉ merupakan ideal dari πΉ, π(πΉ) =πΆ dan
πΉ π(πΉ) =π·.
i. Jika 2β π(π ), maka π ππ(π€ π ) merupakan gabungan dari sebanyak π½ β1 graf komplit πΎπΌ yang saling lepas.
ii. Jika 2β π(π ), maka π ππ(π€ π ) merupakan gabungan dari sebanyak π½β1
2 graf bipartisi komplit πΎπΌ,π yang saling lepas.
Bukti:
i. Ambil sebarang π₯ β π ππ π maka π₯+π π β
π π π . Ambil sebarang π,π β π₯+π π .
π β π₯+π π makaβπ§1β π(π ) sehingga
π=π₯+π§1. π β π₯+π π maka βπ§2β π(π ) sehingga π=π₯+π§2. Karena 2β π(π ) maka
π+π= π₯+π§1 + π₯+π§2 = 2π₯+π§1+π§2β
π(π ) sehingga titik π dan titik π berhubungan langsung di π ππ(π€ π ). Karena βπ,π β π₯+
π π , titikπ dan titik π berhubungan langsung (adjacent) di π ππ(π€ π ) dan π₯+π(π ) =
π(π ) =πΌ maka π₯+π π membentuk graf komplit dengan πΌ titik atau πΎπΌ. Karena 0β
π ππ π maka 0 +π π =π(π ) tidak pada
π ππ π sehingga ada sebanyak π½ β1 koset yang membentuk πΎπΌ.
Ambil sebarangπ β π₯+π π dan π β π¦+
π π dengan titikπ dan titik π berhubungan langsung (adjacent) maka π+π β π π .π₯+
π¦= π₯+π§1 + π¦+π§2 β π§1+π§2 =π+π β
π§1+π§2 β π(π ). 2β π π maka π₯+π¦ β2π¦=
π₯ β π¦ β π(π ) sehingga π₯+π π =π¦+π π . Jadi π ππ(π€ π ) merupakan gabungan dari sebanyak π½ β1 graf komplit πΎπΌ yang saling lepas.
ii. Ambil sebarang π₯ β π ππ π dan ambil sebarang
π,π β π₯+π π . Andaikan titik π dan titik π berhubungan langsung (adjacent) maka π+π=
π₯+π§1 + π₯+π§2 = 2π₯+π§1+π§2β π(π ) untuk suatu π§1,π§2β π(π ) tapi mengakibatkan 2β π(π ). Kontradiksi dengan 2β π(π ) sehingga βπ,π β π₯+π(π ) maka titik π dan titik
π tidak berhubungan langsung. π₯ β π ππ π makaβπ₯ β π ππ π sehingga π₯+π(π ) dan
βπ₯+π(π ) merupakan dua koset berbeda dan setiap titik pada π₯+π(π ) berhubungan langsung dengan setiap titik pada βπ₯+π(π ). Karena
π₯+π(π ) = βπ₯+π(π ) = π(π ) =πΌ maka
π₯+π π βͺ βπ₯+π(π ) membentuk sebuah graf bipartisi komplit πΎπΌ,πΌ. Karena 0β π ππ π maka 0 +π π =π(π ) tidak pada π ππ π sehingga ada sebanyak π½β1
2 pasang koset yang membentuk sebuah graf bipartisi komplit πΎπΌ,πΌ.
Ambil sebarang π β π₯+π π dan π β π¦+π π dengan π dan π berhubungan langsung maka
π+π β π π .π₯+π¦= π₯+π§1 + π¦+π§2 β
π§1+π§2 =π+π β π§1+π§2 β π(π ) sehingga
π¦+π π =βπ₯+π π . Jadi π ππ(π€ π ) merupakan gabungan dari sebanyak π½β1
2 graf bipartisi komplit πΎπΌ,π yang saling lepas.
Teorema 3.2.8
Diberikan πΉ adalah sebuah ring komutatif dengan elemen satuan dan π πΉ merupakan ideal dari πΉ, maka memenuhi:
i. π ππ π€ π graf komplit jika dan hanya jika
π π π β π2 atau π β π3.
ii. π ππ π€ π terhubung jika dan hanya jika
π π π β π2 atau π π π β π3. Bukti:
Misal: π(πΉ) =πΆ dan πΉ π(πΉ) =π·.
i. Berdasarkan teorema 3.2.7, π ππ π€ π graf komplit jika dan hanya π ππ π€ π merupakan sebuah πΎπΌatau πΎ1,1. Jika 2β π(π ) maka
π½ β1 = 1 dan didapat π½= 2 sehingga
π π π β π2. Jika 2β π(π ) maka πΌ= 1 dan π½β1
2 = 1 didapat π½= 3 π = π(π ) . π /
π(π ) = 3 . 1 = 3 sehingga π β π3.
ii. Berdasarkan teorema 3.2.7π ππ π€ π terhubung jika dan hanya π ππ π€ π merupakan sebuah πΎπΌ atau sebuah πΎπΌ,πΌ. Jika 2β π(π ) maka π½ β1 = 1 dan didapat π½= 2.
Jika 2β π π maka π½β1
2 = 1 dan didapat π½= 3. Jadi π π π β π2 atau π π π β π3. Teorema 3.2.9
Diberikan πΉ adalah sebuah ring komutatif dengan elemen satuan dan π πΉ merupakan ideal dari πΉ. Jika πΉππ π πΉ terhubung, maka
π πππ πΉππ π πΉ β€ π. Bukti:
πΉππ π πΉ terhubung maka berdasarkan teorema 3.2.7 πΉππ π πΉ berupa sebuah graf komplit atau sebuah graf bipartisi komplit sehingga
π πππ πΉππ π πΉ β€ π. Teorema 3.2.10
Diberikan πΉ adalah sebuah ring komutatif dengan elemen satuan dan π πΉ merupakan ideal dari πΉ. Jika πΉππ π πΉ memuat sikel, maka
ππ πΉππ π πΉ β€ π. Bukti:
Berdasarkan teorema 3.2.7 πΉππ π πΉ merupakan graf dengan setiap komponennya adalah graf komplit atau graf bipartisi komplit sehingga πΉππ π πΉ harus memuat sikel dengan panjang 3 atau sikel dengan panjang 4. Jadi
ππ πΉππ π πΉ β€ π. Definisi 3.2.5
Diberikan π adalah sebuah ring komutatif dengan elemen satuan. πππ π =πππ π ββͺ{0}.
πππ(π€ π )adalah graf dengan himpunan titiknya adalah semua elemen dari πππ π dan setiap
π₯,π¦ β πππ π , π₯ β π¦ maka titik π₯ dan titik π¦ dihubungkan oleh sebuah sisi jika dan hanya jika
π₯+π¦ β π(π ). Lemma 3.2.11
π΅ππ π πΉ merupakan subgraf dari π» π πΉ . Definisi 3.2.6
π΅ππ π πΉ disebut subgraf total dari
π» π πΉ yang dibangun oleh π΅ππ πΉ . Teorema 3.2.12
Diberikan πΉ adalah sebuah ring komutatif dengan elemen satuan. Jika π΅ππ π πΉ subgraf dari π π πΉ maka π΅ππ π πΉ merupakan graf komplit.
Bukti:
Tunjukkan terlebih dahulu bahwa π΅ππ πΉ merupakan ideal. Karena π΅ππ πΉ β π(πΉ) maka
π΅ππ π πΉ merupakan graf komplit. Teorema 3.2.13
Diberikan πΉ adalah sebuah ring komutatif dan
π πΉ merupakan ideal dari πΉ. Jika π β π΅ππ πΉ ,
π β π(πΉ), dan π β π maka titik π dan titik π berhubungan langsung (adjacent) di π» π πΉ . Bukti:
Diberikan π₯ β πππ π maka π₯ β π dan
βπ β π sedemikian sehingga π₯π = 0.
Jika π= 1 maka π₯= 0β π π . Jika π> 1 maka
π₯π =π₯π₯πβ1= 0 sehingga π₯ merupakan pembagi nol dari ring π . Jadi π₯ β π π . Diberikan π¦ β π(π ) dan π¦ β π₯ maka π₯+ π¦ β π π sehingga titik π₯ dan titik π¦ berhubungan langsung (adjacent) di
π π€ π . Teorema 3.2.14
Diberikan πΉ adalah sebuah ring komutatif dengan elemen satuan dan π πΉ merupakan ideal dari πΉ. Jika π½ π΅ππ π πΉ β {π} dan
π½ π΅ππ π πΉ β π½ π π πΉ , maka ππ π π πΉ =π. Bukti: Andaikan ππ π π πΉ > 3. π πππ π€ π β 0 maka βπ₯ β πππ π dengan π₯ β 0.π πππ π€ π β π π π€ π maka
βπ¦ β π π dengan π¦ β 0 dan π¦ β π₯. Karena
π₯ β πππ π dan πππ(π )β π(π ) maka π₯ β π π . 0,π₯ β π π danπ π ideal maka 0 +π₯=π₯ β
π π sehingga titik 0 dan titik π₯ berhubungan langsung. π₯ β πππ π dan π¦ β π π maka berdasarkan teorema3.10 titik π₯ dan titik π¦ berhubungan langsung.π¦, 0β π π danπ π ideal maka π¦+ 0 =π¦ β π π sehingga titik π¦ dan titik 0 berhubungan langsung . Jadi (0,π₯,π¦, 0) merupakan sikel dengan panjang 3. Terjadi kontradiksi sehingga pengandaian salah. Jadi ππ π π€ π = 3.
KESIMPULAN
Graf total dari ring komutatif π dilambangkan dengan π(π€ π ) adalah graf dengan himpunan titiknya adalah semua elemen dari ring π dan setiap
π₯,π¦ β π , π₯ β π¦ maka titik π₯ dan titik π¦ dihubungkan oleh sebuah sisi jika dan hanya jika
π₯+π¦ β π(π ). Dalam skripsi ini telah dibahas 3 subgraf total dari π(π€ π ) yaitu π(π€ π ) subgraf total yang dibangun oleh π(π ), π ππ(π€ π ) subgraf total yang dibangun oleh π ππ(π ), dan πππ(π€ π ) subgraf total yang dibangun oleh πππ(π ). Dari pembahasan di atas didapatkan sifat-sifat dari ketiga subgraf total tersebut dalam bentuk teorema dan lemma.
DAFTAR PUSTAKA
[1] Anderson, David F. and BadawiAyman. 2007.
The total graph of a comutatif ring. USA: The University of Tennessee.
[2] Aprinurisa, Dilla. 2012. Latis Dan graph pembaginolkompresdari ring komutatifhingga.
Skripsi. Tidakdipublikasikan . Surabaya: UniversitasNegeri Surabaya.
[3] Budayasa, I Ketut. 2007. TeoriGraph danAplikasinya. Surabaya:University Press UNESA.
[4] Gallian, Joseph A. 2010. Contemporary Abstract Algebra. USA: University of Minnesota Duluth.
[5] Alkam, Osama and Osba, Emad Abu. 2008.
On the Regular Element in ππ. Tubitak: Turk J. Math