QUASI-IDEAL PRIMA PADA SEMIRING TERNARI

Ririt Andria Sari

Jurusan Matematika, F MIPA, Universitas Brawijaya

Email: riritandria17@[Link]

Abstrak. Dalam artikel ini dibahas dan dibuktikan beberapa teorema yang berhubungan dengan quasi-ideal prima, quasi-
ideal semiprima, dan quasi-ideal prima lemah dalam semiring ternari. Setiap quasi-ideal prima pada semiring ternari adalah
quasi-ideal semiprima dan setiap quasi-ideal prima adalah quasi-ideal prima lemah dari semiring ternari serta setiap quasi-
ideal prima lemah adalah quasi-ideal prima dari semiring ternari, jika quasi ideal tersebut dengan relasi inklusi membentuk
rantai.
Kata kunci: semiring ternari, quasi-ideal, quasi-ideal prima, quasi-ideal semiprima.

1. PENDAHULUAN
Semiring merupakan struktur aljabar yang terdiri dari himpunan tak kosong yang disertai dengan
dua operasi biner, yaitu penjumlahan dan pergandaan. Konsep semiring diperkenalkan oleh Vandiver
pada tahun 1934. Semiring mengalami perkembangan saat Dutta dan Kar memperkenalkan macam-
macam semiring ternari dan sifat-sifatnya pada tahun 2003. Perbedaan antara semiring dan semiring
ternari terletak pada banyaknya operasi yang berlaku. Semiring disertai dengan dua operasi biner yaitu
penjumlahan dan pergandaan, sedangkan semiring ternari memiliki dua operasi yaitu operasi biner
terhadap penjumlahan dan operasi terner terhadap pergandaan. Ideal merupakan bagian khusus dari
ring. Konsep ideal juga mengalami perkembangan, salah satunya adalah quasi-ideal dan bi-ideal pada
semiring ternari oleh Kar dalam artikel yang berjudul On Quasi-ideals and Bi-ideal in Ternary
Semirings.
Pada tahun 2013 Dubey dan Anuradha memperkenalkan artikel yang berjudul A Note on Prime
Quasi-Ideals in Ternary Semirings yang membahas konsep quasi-ideal prima, quasi-ideal semiprima,
dan quasi-ideal prima lemah yang merupakan perkembangan dari quasi-ideal. Berdasarkan artikel
tersebut dan artikel-artikel pendukung sebelumnya, maka artikel ini mengkaji ulang artikel tersebut
dan membahas sifat-sifat dari quasi-ideal prima, quasi-ideal semiprima, dan quasi-ideal prima lemah
yang berupa proposisi, teorema beserta buktinya.

2. HASIL DAN PEMBAHASAN

Definisi 1. Misalkan himpunan tak kosong dengan operasi biner terhadap penjumlahan dan operasi
terner terhadap pergandaan. disebut semiring ternari jika semigrup komutatif dan
memenuhi kondisi berikut.
i.
ii.
iii.
iv. untuk setiap .
(Dubey dan Anuradha, 2013)
Definisi 2. Misalkan adalah semiring ternari dan adalah subsemigrup dari . disebut
quasi-ideal dari jika berlaku .
(Dubey dan Anuradha, 2013)
Lemma 1. Setiap ideal kiri, ideal kanan, dan ideal lateral dari semiring ternari adalah quasi -ideal
pada . Namun, kebalikannya belum tentu berlaku.
(Kar, 2005)
Bukti: Akan ditunjukkan bahwa ideal kiri dari semiring ternari adalah quasi-ideal pada . Misalkan
adalah subsemigrup dari . disebut ideal kiri dari jika . Akan dibuktikan adalah
quasi-ideal dari , maka . Karena maka
.
Pembuktian ideal kanan dan ideal lateral dari semiring ternari adalah quasi-ideal pada analog
dengan pembuktian ideal kiri dari adalah quasi-ideal dari .

97
Teorema 1. Irisan dari sebarang quasi-ideal pada semiring ternari adalah quasi-ideal dari .
(Koteswaramma dan Rao, 2012)
Bukti: Misalkan himpunan tak kosong adalah subsemigrup dari , dimana
⋂ adalah quasi-ideal dari . Akan dibuktikan adalah quasi-ideal dari . Maka,

⋂ ⋂ ⋂ ⋂ ,
untuk setiap .
Jadi ⋂ , sehingga terbukti bahwa adalah quasi-ideal dari
.
Definisi 3. Misalkan adalah semiring ternari dan adalah quasi-ideal sejati dari , yaitu .
disebut quasi-ideal prima dari jika maka atau atau untuk sebarang
quasi-ideal dari .
(Dubey dan Anuradha, 2013)
Definisi 4. Misalkan adalah semiring ternari dan adalah quasi-ideal sejati dari , yaitu .
disebut quasi-ideal semiprima dari jika maka untuk sebarang quasi-ideal dari .
(Dubey dan Anuradha, 2013)
Contoh 1. ̅ ̅ ̅ merupakan quasi-ideal prima dan quasi-ideal semiprima dari semiring ternari
.
Remark 1. Setiap quasi-ideal prima dari semiring ternari adalah quasi-ideal semiprima dari .
Namun, kebalikannya belum tentu berlaku.
(Dubey dan Anuradha, 2013)
Bukti: Ambil sebarang quasi-ideal dari . Karena merupakan quasi-ideal prima sehingga
memenuhi maka atau atau dan karena sehingga berlaku
maka . Jadi merupakan quasi-ideal semiprima dari .
Definisi 5. Misalkan adalah semiring ternari dan . Maka quasi-ideal pokok yang dibangun oleh
dapat dinyatakan sebagai berikut [ ] .
(Dubey dan Anuradha, 2013)
Proposisi 1. Misalkan adalah semiring ternari dan adalah quasi-ideal dari . Jika adalah
quasi-ideal prima maka ideal kanan atau ideal lateral atau ideal kiri dari .
(Dubey dan Anuradha, 2013)
Bukti: Misalkan dan . Karena adalah quasi-ideal prima
sehingga memenuhi maka
atau atau . Jadi adalah ideal kanan atau ideal kiri atau ideal
lateral dari .
Proposisi 2. Misalkan adalah semiring ternari komutatif dan adalah quasi-ideal dari . Maka
merupakan quasi-ideal prima jika dan hanya jika maka atau atau .
(Dubey dan Anuradha, 2013)
Bukti: Misalkan dan dapat dinyatakan sebagai berikut.
[ ][ ]
[ ], untuk setiap dan . Karena maka
sehingga jika [ ] dengan
juga merupakan subset dari . Jadi [ ]
, [ ] , dan [
] , untuk setiap . Maka diperoleh,
[ ][ ][
] .
Karena adalah quasi-ideal prima maka atau atau sehingga
atau atau .
Berdasarkan pembuktian maka , karena atau atau
maka, atau atau . Oleh karena itu, dapat disimpulkan
maka atau atau sehingga adalah
quasi-ideal prima.

98
Proposisi 3. Misalkan adalah semiring ternari dan adalah quasi-ideal dari . Maka adalah
quasi-ideal prima jika dan hanya jika [ ][
][ ] maka atau atau .
(Dubey dan Anuradha, 2013)
Bukti: Misalkan dimana ,
, dan . Akan ditunjukkan , dan
adalah quasi-ideal dari . Maka,

[[ ] ] [ [ ]
[ ] ] [ [ ]
[ ] [
] [
]
[ ] [
] [ ]
[ ] [ ] [
]
[ ] [ ] [
]

Begitu juga , dan , sehingga

dan adalah quasi-ideal dari . Karena adalah quasi-ideal prima maka atau atau
, maka atau atau sehingga atau atau .
Karena atau atau maka atau atau
, sehingga terbukti maka atau atau . Jadi adalah
quasi-ideal prima.
Definisi 6. Elemen pada semiring ternari disebut elemen idempoten jika . Suatu
semiring ternari disebut semiring ternari idempoten jika setiap elemen di adalah idempoten.
Suatu ideal dari disebut idempoten jika .
(Dutta dan Kar, 2004)
Teorema 2. Misalkan adalah semiring ternari. Maka pernyataan berikut ekivalen.
i. Quasi-ideal dari adalah idempoten.
ii. Jika adalah quasi-ideal dari sedemikian sehingga , maka
.
iii. [ ] untuk setiap .
(Dubey dan Anuradha, 2013)
Bukti: (i) (ii) Diketahui quasi-ideal dari adalah idempoten. Akan dibuktikan jika adalah
quasi-ideal dari sedemikian sehingga , maka . Karena
adalah quasi-ideal dari maka menurut Teorema 1 yaitu irisan quasi-ideal dari adalah quasi-ideal
dari . Jadi adalah quasi-ideal dari . Karena diketahui setiap quasi-ideal dari adalah
idempoten, maka

(ii) (iii) Karena merupakan quasi-ideal dari dan diketahui maka

[
] ………………………………………………….……….………(a)
Ambil elemen [ ] maka dengan , dimana
.
Karena maka dan dan . Oleh karena itu,
.
Begitu juga dengan dan .
Karena dan dan maka
. Jadi [ ]
……………….……………….(b)
Berdasarkan (a) dan (b) maka [ ] .

99
(iii) (i) Karena merupakan quasi-ideal dari dan [ ] maka
idempoten.
Definisi 7. Misalkan adalah semiring ternari dan adalah quasi-ideal sejati, yaitu . disebut
quasi-ideal prima lemah jika dan maka atau atau
untuk sebarang quasi-ideal dan dari .
(Dubey dan Anuradha, 2013)
Contoh 2. ̅ ̅ ̅ ̅ ̅ ̅̅̅̅ ̅̅̅̅ ̅̅̅̅ ̅̅̅̅ ̅̅̅̅ ̅̅̅̅ ̅̅̅̅ adalah quasi-ideal prima lemah dari semiring
ternari .
Remark 2. Setiap quasi-ideal prima dari semiring ternari adalah quasi-ideal prima lemah dari .
Namun, kebalikannnya belum tentu berlaku.
(Dubey dan Anuradha, 2013)
Bukti: Misalkan adalah quasi-ideal dari . Andaikan dan dan .
Karena adalah quasi-ideal prima, sehingga maka atau atau .
Hal tersebut kontradiksi dengan pengandaiannya dan seharusnya dan
maka atau atau . Jadi adalah quasi-ideal prima lemah dari .

Teorema 3. Misalkan adalah semiring ternari dan adalah quasi-ideal dari . Jika dengan
relasi inklusi yang membentuk rantai yaitu dengan dan
maka setiap quasi-ideal prima lemah pada adalah quasi-ideal prima dari .
(Dubey dan Anuradha, 2013)
Bukti: Misalkan adalah quasi-ideal prima lemah dari dan adalah quasi-ideal dari
sedemikian sehingga , dan . Andaikan dan .
Karena adalah quasi-ideal prima lemah, maka atau atau , hal tersebut
kontradiksi dengan pengandaiannya dan seharusnya atau atau .
Jadi adalah quasi-ideal prima.

3. KESIMPULAN
Berdasarkan hasil dari pembahasan dapat disimpulkan bahwa quasi-ideal dalam semiring
ternari adalah quasi-ideal prima jika dan hanya jika maka atau atau .
juga disebut quasi-ideal prima jika dan hanya jika maka atau
atau . Jika merupakan quasi-ideal prima maka juga merupakan quasi-ideal semiprima
karena setiap quasi-ideal prima dari semiring ternari adalah quasi-ideal semiprima dari , setiap
quasi-ideal prima dari semiring ternari adalah quasi-ideal prima lemah dari dan setiap quasi-ideal
prima lemah adalah quasi-ideal prima dari , jika dengan relasi inklusi membentuk rantai.

4. UCAPAN TERIMA KASIH

Penulis berterimakasih kepada A. Andari, B. Sugandi, dan V. H. Krisnawati atas segala
bimbingan, kritik, dan saran yang telah diberikan selama penulisan artikel ini.

DAFTAR PUSTAKA
Dubey, M.K. dan Anuradha, (2013), A Note on Prime Quasi-Ideals in Ternary Semirings, Kragujevac
Journal of Mathematics, 37. hal 361-367.
Dutta, T.K. dan Kar, S., (2004), On Ternary Semifields, General Algebra and Applications, 24, hal
185-198.
Kar, S., (2005), On Quasi-Ideals and Bi-Ideals in Ternary Semirings, International Journal of
Mathematics and Mathematical Sciences, 18, hal 3015-3023.
Koteswaramma, N. dan Rao, J. V., (2012), Quasi-Ideals and Minimal Quasi-Ideals in Ternary
Semirings, International Journal of Mathematics and Computer Application Research
(IJMCAR), 2, hal 76-84.

100