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 π
ππ π€ π
πππ π€ π
subgraph of π π€ π
, then πππ π€ π
is connected, then ππππ π
ππ π€ π
β€ 2. If
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 elemenelemennya 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.7: Subgraf dan Subgraf Yang Diinduksi 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]
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
Sebuah graf komplit (lengkap) dengan π titik dilambangkan dengan πΎπ adalah graf sederhana dengan π titik sedemikian sehingga setiap dua titik berbeda dihubungkan oleh sebuah sisi. [3]
πΊ 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]
Definisi 2.1.5: Graf Bipartisi Komplit
2.2 Ring
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.
Definisi 2.2.1: Ring
Definisi 2.1.4: Graf Komplit
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]
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 π π
= π(π
)β βͺ {0}. [4]
Definisi 2.2.3: Elemen Reguler
PEMBAHASAN
Diberikan π
adalah ring komutatif. π β π
, π β 0 disebut elemen reguler dari π
jika βπ β π
berlaku π = πππ.π
ππ(π
) adalah himpunan elemen regular dari ring π
. [5]
3.1 Graf Total
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: β π₯, π¦ β πΌ maka π₯ + π¦ β πΌ dan β π₯ β πΌ. β π β π
, π β πΌ berlaku ππ β πΌ dan ππ β πΌ.[4]
1. 2.
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]
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 π πΉ .
Definisi 2.2.8: Homomorfisma Ring
Teorema 3.2.2
Suatu pemetaan π dari ring (π
, +,Γ) ke ring (π,β,β) disebut homomorfisma ring jika βπ, π β π
berlaku:
Diberikan π
adalah sebuah ring komutatif maka π(π€ π
) merupakan graf terhubung. Bukti:
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]
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 π
ππ π€ π
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
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 βπ¦ + π¦ β π π
π₯, βπ¦, π¦ merupakan lintasan dari π₯ ke π¦.
maka
Jadi π₯, βπ₯, π¦ dan π₯, βπ¦, π¦ merupakan lintasan dari π₯ ke π¦ di π
ππ π€ π
dengan panjang 2. Teorema 3.2.6 Diberikan πΉ adalah sebuah ring komutatif dan π πΉ merupakan ideal dari πΉ. Jika πΉππ π πΉ
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. π
ππ π
π ii. π
ππ π
π
π€ π
π€ π
π
graf komplit jika dan hanya jika β
π2 atau π
β
π3 . π
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 π π πΉ komplit.
maka π΅ππ π πΉ
merupakan graf
Bukti:
KESIMPULAN
Tunjukkan terlebih dahulu bahwa π΅ππ πΉ merupakan ideal. Karena π΅ππ πΉ β π(πΉ) maka π΅ππ π πΉ merupakan graf komplit.
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.
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 π₯ β π
π βπ β π sedemikian sehingga π₯ = 0.
dan
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
Andaikan ππ π π πΉ
> 3.
β 0 maka βπ₯ β πππ π
π₯ β 0.π πππ π€ π
dengan
βπ π π€ π
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.
[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
= π.
Bukti:
π πππ π€ π
DAFTAR PUSTAKA
=