KARAKTERISASI SUATU IDEAL DARI SEMIGRUP IMPLIKATIF

Transkripsi

1 Jurnal Matematika UNAND Vol. 2 No. 4 Hal ISSN : c Jurusan Matematika FMIPA UNAND KARAKTERISASI SUATU IDEAL DARI SEMIGRUP IMPLIKATIF ELVA SUSANTI Program Studi Magister Matematika, Fakultas Matematika dan Ilmu Pengetahuan Alam, Universitas Andalas, Kampus UNAND Limau Manis Padang, Indonesia, srikandhi elva@yahoo.co.id Abstrak. Semigrup Implikatif S merupakan suatu himpunan terurut parsial yang bersifat semigrup, semigrup terurut parsial secara negatif (NPO semigrup) dan NPO semigrup komutatif. Selanjutnya didefinisikan himpunan S(u, v) = {z S u (v z) = 1}, kemudian dari definisi tersebut dapat ditentukan idealnya apabila memenuhi hukum distributif kiri. Ideal merupakan suatu himpunan bagian dari S yang semigrup implikatif dengan memenuhi sifat-sifat tertentu. Pada makalah ini akan dikaji tentang Ideal dari Semigrup Implikatif, karakteristik dari ideal dan juga diberikan beberapa contoh dari semigrup implikatif yang selanjutnya ditentukan idealnya. Kata Kunci: Semigrup implikatif, NPO semigrup, terurut parsial, komutatif 1. Pendahuluan Semilattice implikatif merupakan suatu sistem aljabar yang mempunyai sistem model logika dengan menggunakan implikasi dan konjungsi tetapi tidak menggunakan proses disjungsi. Pada [4], Nemitz telah mempelajari secara sistematik tentang semilattice implikatif. Nemitz memperlihatkan hasil-hasil tertentu dari logika Brouwerian yang dikaji oleh V. Glivenko yang dapat dibuktikan pada semilattice implikatif. Kemudian, Nemitz menyelidiki hubungan antara homomorfisma pada semilattice implikatif dan kernelnya. Selanjutnya, Chan dan Shum pada [1] mengikuti ide Nemitz dengan memperkenalkan istilah baru yakni negatively partially ordered (NPO) semigrup implikatif (semigrup yang terurut parsial secara negatif) dan kemudian mempelajari homomorfisma antara semigrup- semigrup tersebut. Beberapa hasil dari Nemitz tentang semilattice implikatif telah digeneralisasi untuk kasus semigrup implikatif. Dalam tulisan ini akan diperkenalkan istilah ideal dari semigrup implikatif yang merupakan himpunan bagian khusus (dengan sifat-sifat tertentu). Kemudian akan dikaji karakteristik dari ideal tersebut. Tulisan ini bertujuan untuk mengkaji karakterisasi himpunan bagian I S yang merupakan ideal, dimana S adalah suatu semigrup implikatif. 2. Himpunan Terurut Parsial, Semigrup dan Semigrup Implikatif Definisi 2.1. [2] Jika (a, b) R dan R bersifat refleksif, anti simetris dan transitif, maka R disebut relasi terurut parsial. 10

2 Karakterisasi Suatu Ideal dari Semigrup Implikatif 11 Misalkan G suatu himpunan yang tak kosong dan suatu operasi yang didefinisikan di G. Operasi disebut operasi biner di G jika untuk setiap a, b G berlaku a b G (G bersifat tertutup terhadap operasi ). G disebut membentuk semigrup terhadap operasi jika untuk setiap a, b, c G berlaku a (b c) = (a b) c (G bersifat asosiatif terhadap operasi biner ). Definisi 2.2. [3] Semigrup terurut parsial secara negatif (NPO semigrup) adalah suatu himpunan S dengan terurut parsial dan suatu operasi biner sedemikian sehingga untuk semua x, y, z S berlaku: (1) (x y) z = x (y z). (2) Jika x y maka x z y z dan z x z y. (3) x y x dan x y y. Definisi 2.3. [3] Semigrup terurut parsial secara negatif (S,, ) dikatakan implikatif (NPO semigrup implikatif), jika terdapat operasi biner : S S S sehingga untuk setiap elemen x, y, z di S berlaku: (4) z x y jika dan hanya jika z x y. Untuk penyederhanaan istilah, NPO semigrup implikatif disebut sebagai semigrup implikatif saja. Definisi 2.4. [3] Sebuah semigrup implikatif (S,,, ) dikatakan komutatif jika memenuhi: (5) x y = y x untuk semua x, y S, artinya (S, ) adalah semigrup komutatif. Contoh 2.5. Misalkan S = {1, a, b, c, d, 0} dan didefinisikan operasi terurut parsial di S sebagai berikut. i 0 b a 1. ii 0 d a 1. iii 0 d c 1. Gambar 1. Diagram Hasse untuk S = { 1, a, b, c, d, 0 }

3 12 Elva Susanti Definisi relasi terurut parsial, dapat juga disajikan diagram Hasse sebagaimana yang diperlihatkan pada Gambar 1. Tabel 1 dan 2 berikut adalah definisi dari operasi biner dan di S yang merupakan semigrup implikatif. Tabel 1. Definisi operasi di S 1 a b c d a b c d 0 a a b b d 0 0 b b b b c c d 0 c d 0 d d 0 0 d Tabel 2. Definisi operasi di S 1 a b c d a b c d 0 a 1 1 a c c d b c c c c 1 a b 1 a b d 1 1 a 1 1 a Proposisi 2.6. [3] Misalkan S sebuah semigrup implikatif maka untuk setiap x, y, z S, berlaku: (6) x 1, dimana x x := 1, x = 1 x, (7) x y (x y), (8) x x x 2, (9) x y x, (10) jika x y maka x z y z dan z x z y, (11) x y jika dan hanya jika x y = 1, (12) x (y z) = (x y) z, (13) jika S adalah komutatif maka x y (s x) (s y) untuk semua s dalam S. Sekarang perhatikan sifat dasar penting dari sebuah semigrup implikatif komutatif yang mengikuti (5), (6) dan (12). Proposisi 2.7. [3] Jika S adalah sebuah semigrup implikatif komutatif, maka untuk setiap x, y, z S, berlaku: (14) x (y z) = y (x z), (15) y z (x y) (x z), (16) x (x y) y. Proposisi 2.8. [5] Untuk semua x, y S, dimana S merupakan semigrup implikatif komutatif, berlaku: (a) y ((y x) x) = 1,

4 Karakterisasi Suatu Ideal dari Semigrup Implikatif 13 (b) 1 x x = Ideal pada semigrup implikatif Misalkan S semigrup implikatif. Dalam bagian ini akan diberikan definisi ideal dari S, dan hasil-hasil utama tentang ideal dari S. Definisi 3.1. [3] Sebuah himpunan bagian I dari S disebut ideal jika: (I1) x S dan a I berakibat x a I, (I2) x S dan a, b I berakibat (a (b x)) x I. Pada bagian ini akan dibahas mengenai pembuktian lema dan teorema yang berkaitan dengan karakteristik ideal semigrup implikatif. Lema 3.2. [3] Setiap ideal dari S memuat 1. Bukti. Misalkan S adalah semigrup implikatif dan I ideal dari S. Ambil sebarang ideal, akan ditunjukkan 1 I. Berdasarkan Definisi 3.1(I1), terdapat x S dan a I maka x a I. Misalkan x = a I dimana x a I akibatnya x x I artinya 1 I, berdasarkan Proposisi 2.6(6). Lema 3.3. [3] Jika I adalah ideal dari S, maka (a x) x I untuk semua a I dan x S. Bukti. Misalkan S adalah semigrup implikatif dan I ideal dari S, akan ditunjukkan (a x) x I untuk semua a I dan x S. Ambil x S, b = 1 I dan a I. Karena diketahui I ideal, maka berdasarkan Definisi 3.1(I2) berlaku (a (b x)) x = (a (1 x)) x = (a x) x I. Akibat 3.4. [3] Misalkan I adalah ideal dari S. Jika a I dan a x maka x I. Bukti. Misalkan S adalah semigrup implikatif dan I ideal dari S, Akan ditunjukkan bahwa jika a I dan a x maka x I. Ambil a x. Berdasarkan Proposisi 2.6(11), a x a x = 1, dari Proposisi 2.6(6) diperoleh x = 1 x. Karena a x = 1, maka dari Lema 3.3 diperoleh x = (a x) x I. Lema 3.5. [3] Misalkan S adalah semigrup implikatif komutatif dan I himpunan bagian dari S, sedemikian sehingga (I3) 1 I, (I4) untuk semua x, y, z S dimana x (y z) I dan y I berakibat x z I. Jika a I dan a x, maka x I. Bukti. Misalkan S adalah semigrup implikatif komutatif dan I himpunan bagian dari S dengan (I3) dan (I4) dimana a I dan a x. Akan ditunjukkan x I. Jika a I dan x S maka a x. Karena a x dan x 1 maka berdasarkan Proposisi

5 14 Elva Susanti 2.6(11) diperoleh a 1 = 1 sehingga x (a 1) = x 1 = 1 I dan juga x = x 1 I. Dengan demikian terbukti x I. Teorema 3.6. [3] Misalkan S adalah semigrup implikatif komutatif. Himpunan bagian I dari S adalah suatu ideal jika dan hanya jika I memenuhi kondisi (I3) dan (I4). Bukti. ( ) Misalkan S adalah semigrup implikatif komutatif dan I ideal dari S, akan ditunjukkan I memenuhi kondisi (I3) dan (I4). Karena I ideal dari S maka dari Lema 3.2 diperoleh 1 I. Pilih x, y, z S sedemikian rupa sehingga x (y z) I dan y I. Perhatikan bahwa: (x z) = 1 (x z), (Proposisi 2.6(6)) = ((x (y z)) (x (y z))) (x z) (Proposisi 2.6(6)) = ((x (y z)) (y (x z))) (x z) I (Definisi 3.1(I2)). ( ) Akan dibuktikan bahwa Definisi 3.1(I1) dan (I2) berlaku. Misalkan x S dan a I. Karena x (a a) = x 1 = 1 I dari (I3), maka berdasarkan (I4) diperoleh x a I, artinya (I1) terpenuhi. Karena (a x) (a x) = 1 I, maka (a x) x I (Lema 3.5(I4)). Dari Proposisi 2.6(10) dan Proposisi 2.7(15) diperoleh 1 = ((a x) x) ((a x) x) (Proposisi 2.6(6)) ((a x) x) (b (a x) (b x)). Akibatnya 1 ((a x) x) (b (a x) (b x)). Berdasarkan Proposisi 2.8(b) diperoleh 1 = ((a x) x) (b (a x) (b x)). Kemudian diperoleh ((a x) x) (b (a x)) (b x) untuk semua b I. Karena ((a x) x) (b (a x)) (b x) dan ((a x) x) I maka dari Akibat 3.4 diperoleh (b (a x)) (b x) I. Dengan menggunakan (I4), dapat disimpulkan bahwa (b (a x)) x I yang membuktikan (I2). Oleh karena itu I adalah ideal dari S. Selanjutnya akan diberikan definisi suatu himpunan bagian dari S dan akan ditunjukkan bahwa himpunan tersebut merupakan ideal dari S. Definisi 3.7. [3] Untuk suatu u, v S, didefinisikan suatu himpunan S(u, v) sebagai berikut. S(u, v) = {z S u (v z) = 1}. Teorema 3.8. [3] Misalkan S memenuhi hukum distributif kiri dibawah operasi, yaitu x (y z) = (x y) (x z) untuk semua x, y, z S. Untuk setiap u, v S, himpunan S(u, v) adalah ideal dari S. Bukti. Misalkan S adalah semigrup implikatif yang memenuhi hukum distributif kiri dibawah operasi. Akan ditunjukkan S(u, v) adalah ideal dari S. Ambil x S

6 Karakterisasi Suatu Ideal dari Semigrup Implikatif 15 dan a, b S(u, v) maka u (v (x a)) = u ((v x) (v a)) = (u (v x)) (u (v a)) = (u (v x)) 1 = 1. Menurut Definisi 3.1, x S dan a S(u, v). Sehingga x a S(u, v). Selanjutnya, u (v ((a (b x) x))) = u (v (a (b x))) (v x), = (u (v (a (b x)))) (u (v x)), = ((u (v a)) (u (v (b x)))) (u (v x)), = (1 (u (v b)) (u (v x))) (u (v x)), = (1 (1 (u (v x)))) (u (v x)), = (1 (u (v x))) (u (v x)), = (u (v x)) (u (v x)), = 1. Menurut Definisi 3.1(I2) (a (b x)) x S(u, v) dengan demikian (I1) dan (I2) terpenuhi artinya S(u, v) adalah ideal. Dengan menggunakan himpunan S(u, v), maka dapat dideskripsikan karakteristik dari ideal. Teorema 3.9. [3] Misalkan S adalah semigrup implikatif komutatif dan misalkan I merupakan himpunan bagian tak kosong dari S. Maka I adalah ideal dari S jika dan hanya jika S(u, v) I untuk semua u, v I. Bukti. Misalkan S adalah semigrup implikatif komutatif dan I merupakan himpunan bagian tak kosong dari S. Akan ditunjukkan I ideal dari S jika dan hanya jika S(u, v) I untuk semua u, v I. ( ) Asumsikan bahwa I adalah ideal dari S dan misalkan u, v I. Jika z S(u, v) maka u (v z) = 1 I dan juga z = 1 z = (u (v z)) z I dari (I2). Jadi terbukti S(u, v) I. ( ) Sebaliknya, anggap S(u, v) I untuk semua u, v I. Perhatikan bahwa 1 = u 1 = u (v 1) S(u, v). Misalkan x, y, z S sedemikian rupa sehingga (x (y z)) I dan y I. Karena (x (y z)) (y (x z)) = (y (x z)) (y (x z)) = 1, maka diperoleh x z S(x (y z), y) I. Teorema [3] Misalkan S merupakan semigrup implikatif komutatif. Jika I merupakan ideal dari S maka I = u,v I S(u, v). Bukti. Misalkan S semigrup implikatif komutatif dan I merupakan ideal dari S. Akan ditunjukkan bahwa I = u,v I S(u, v). Misalkan x I, maka x S(x, 1)

7 16 Elva Susanti sehingga I x I S(x, 1) u,v I S(u, v). Akan dibuktikan x I S(x, 1) u,v I S(u, v). Ambil y x I S(x, 1), x I x (1 y) = 1. Karena 1 I, untuk setiap u = x dan v = 1 u (v y) = 1 berarti y S(u, v) dan y u,v I S(u, v). Sekarang misalkan y u,v I S(u, v) kemudian terdapat a, b I sehingga y S(a, b). Ini mengikuti dari Teorema 3.9 bahwa y I. Karena u,v I S(u, v) I maka terbukti bahwa I = u,v I S(u, v). Akibat [3] Jika I adalah ideal dari semigrup implikatif komutatif S maka I = w I S(w, 1). 4. Contoh ideal pada semigrup implikatif Berikut akan diberikan contoh ideal yang dapat ditunjukkan dari definisi ideal dan dari suatu himpunan bagian S. Contoh 4.1. Misalkan S = {1, a, b, c, d} dan didefinisikan operasi terurut parsial di S sebagai berikut : i d b 1. ii d c a 1. Dari definisi relasi terurut parsial, dapat juga disajikan diagram Hasse berikut sebagaimana yang diperlihatkan pada Gambar 2. Gambar 2. Diagram Hasse untuk S = { 1, a, b, c, d }. Tabel 3 dan 4 berikut adalah definisi dari operasi biner dan di S. Tabel 3. Definisi operasi di S 1 a b c d 1 1 a b c d a a a d c d b b d b d d c c c d c d d d d d d d

8 Karakterisasi Suatu Ideal dari Semigrup Implikatif 17 Tabel 4. Definisi operasi di S 1 a b c d 1 1 a b c d a 1 1 b c d b 1 a 1 c c c 1 1 b 1 b d Dengan menggunakan definisi ideal maupun definisi himpunan S(u, v) dari S = {1, a, b, c, d} diperoleh idealnya yaitu apabila I 1 = {1}, I 2 = {1, a}, I 3 = {1, b}, I 4 = {1, a, b}, I 5 = {1, a, c} dan S = {1, a, b, c, d}. Selanjutnya, akan ditunjukkan I = u,v I S(u, v) dengan memisalkan S semigrup implikatif komutatif dan I merupakan ideal dari S. Untuk kasus I = {1, a}. i S(1, 1) = {1} ii S(1, a) = {1, a} iii S(a, 1) = {1, a} iv S(a, a) = {1, a} Jadi benar I = S(1, 1) S(1, a) S(a, 1) S(a, a) = {1, a}. 5. Ucapan Terima kasih Penulis mengucapkan terima kasih kepada Bapak Dr. Admi Nazra, Bapak Prof. Dr. I. Made Arnawa, Bapak Dr. Muhafzan, Bapak Dr. Mahdhivan Syafwan, Ibu Dr. Lyra Yulianti, dan Ibu Dr. Yanita yang telah memberikan masukan dan saran sehingga tulisan ini dapat diselesaikan dengan baik. Daftar Pustaka [1] Chan, M. W., dan Shum, K.P., 1993, Homomorphisms of implicative semigrups, Semigrup forum 46(1) : 7 15 [2] Connell, 2002, Elements of Abstract and Linear Algebra, Math. Miami. Edu, Coral Gables, Florida [3] Jun, Y.B., dan Kim, K. H., 2001, On ideals of implicative semigroups, International Journal of Mathematics and Mathematical Sciences 27(2): [4] Nemitz, W.C., 1965, Implicative semi-lattices, Trans. Amer. Math. Soc. 117: [5] Piekart, B., dan Andrzej, W., 2011, On Filters and upper set in Cl-algebras, Journal Algebra and Discrete Mathematics 11 (1):