ABSORBENT PENYARINGAN TERURUT DARI SEMIGRUP IMPLIKATIF

dokumen-dokumen yang mirip
SUATU KAJIAN TENTANG PENYARINGAN TERURUT DARI SEMIGRUP IMPLIKATIF

KARAKTERISASI SUATU IDEAL DARI SEMIGRUP IMPLIKATIF

STRUKTUR SEMILATTICE PADA PRA A -ALJABAR

PRA A*-ALJABAR SEBAGAI SEBUAH POSET

IDEAL PRIMA FUZZY DI SEMIGRUP

TINGKATAN SUBGRUP DARI SUBHIMPUNAN FUZZY

GELANGGANG ARTIN. Kata Kunci: Artin ring, prim ideal, maximal ideal, nilradikal.

PRA A -MODUL ATAS PRA A -ALJABAR DAN ALJABAR IF-THEN-ELSE ATAS PRA A -ALJABAR

DEKOMPOSISI PRA A*-ALJABAR

HIMPUNAN KUBIK ASIKLIK DAN KUBUS DASAR

RING FUZZY DAN SIFAT-SIFATNYA FUZZY RING AND ITS PROPERTIES

SEMIGRUP BENTUK BILINEAR TERURUT PARSIAL DALAM BATASAN SUBHIMPUNAN FUZZY

HIMPUNAN LEMBUT DENGAN MENGGUNAKAN HIMPUNAN PARAMETER TUNGGAL

PROSIDING ISBN : Dhian Arista Istikomah, S.Si, M.Sc 1. Abstrak

HOMOLOGI DARI HIMPUNAN KUBIK YANG DIREDUKSI (ELEMENTARY COLLAPSE)

URUTAN PARSIAL PADA SEMIGRUP DAN PADA KELAS- KELAS DARI SUATU SEMIGRUP

PENENTUAN SUATU GRUP KUOSIEN FUZZY DARI SUATU GRUP

SEMI-HOMOMORFISMA BCK-ALJABAR. Deffyana Prastya A. 1 dan Suryoto 2. Program Studi Matematika FMIPA UNDIP Jl. Prof. Soedarto, SH, Semarang, 50275

SEMIGRUP BENTUK BILINEAR TERURUT PARSIAL DALAM BATASAN SUBHIMPUNAN FUZZY

DUAL DARI SUATU GRUP. Y.D. Sumanto Jurusan Matematika FMIPA UNDIP Jl. Prof. H. Soedarto, S. H, Tembalang, Semarang

Produk Cartesius Semipgrup Smarandache

HUBUNGAN ANTARA HIMPUNAN KUBIK ASIKLIK DENGAN RECTANGLE

TOPOLOGI METRIK PARSIAL

KELAS-KELAS BCI-ALJABAR DAN HUBUNGANNYA SATU DENGAN YANG LAIN. Winarsih 1, Suryoto 2. Jl. Prof. H. Soedarto, S.H. Semarang 50275

Semigrup Legal Dan Beberapa Sifatnya

SUB KS-SEMIGRUP FUZZY DAN ASPEK-ASPEK YANG TERKAIT. Tessa Danty Fajriyah 1, Suryoto 2, Widowati 3

BEBERAPA SIFAT DARI SUBGRUP FUZZY

Y.D. Sumanto Jurusan Matematika FMIPA UNDIP. Abstrak

K-ALJABAR. Iswati dan Suryoto Jurusan Matematika FMIPA UNDIP Jl. Prof. H. Soedarto, S.H, Semarang 50275

ORDER UNSUR DARI GRUP S 4

SUATU KAJIAN TENTANG HIMPUNAN FUZZY INTUISIONISTIK

Restia Sarasworo Citra 1, Suryoto 2. Jurusan Matematika FMIPA UNDIP Jl. Prof. H. Soedarto, S. H, Tembalang, Semarang Jurusan Matematika FMIPA UNDIP

K-ALJABAR. Jl. Prof. H. Soedarto, S.H, Semarang 50275

RUANG TOPOLOGI LEMBUT KABUR

KAITAN SPEKTRUM KETETANGGAAN DARI GRAF SEKAWAN

Fahmi Ulfa Nur Hidayati dan Suryoto Program Studi Matematika Jurusan Matematika FSM UNDIP

HIMPUNAN BILANGAN BULAT NON NEGATIF PADA SEMIRING LOKAL DAN SEMIRING FAKTOR. Jl. Prof. H. Soedarto, S.H. Semarang 50275

MATHunesa Jurnal Ilmiah Matematika Volume 3 No.6 Tahun 2017 ISSN

A4 : Subsemigrup Fuzzy Karyati, Sri Wahyuni, Budi Surodjo, Setiadji

IDEAL PRIMA DAN IDEAL MAKSIMAL PADA GELANGGANG POLINOMIAL PRIME IDEAL AND MAXIMAL IDEAL IN A POLYNOMIAL RING

PENGKONSTRUKSIAN BILANGAN TIDAK KONGRUEN

PENENTUAN RAINBOW CONNECTION NUMBER PADA HASIL OPERASI CARTESIAN PRODUCT TERHADAP GRAF LINGKARAN DAN GRAF BIPARTIT LENGKAP DENGAN GRAF LINTASAN

Pembentukan -aljabar Komutatif dan Implikatif dari Sebuah Lapangan. Jl. Prof. H. Soedarto, S.H. Tembalang Semarang

SUATU KAJIAN PADA BCI-ALJABAR YANG TERKAIT DENGAN SIFAT DERIVASI KIRI

HUBUNGAN DERIVASI PRIME NEAR-RING DENGAN SIFAT KOMUTATIF RING

SIFAT-SIFAT BI- -IDEAL PADA -SEMIGRUP Romi Setiawardi 1, Y.D. Sumanto 2, Suryoto 3

ENDOMORFISMA RIGID DAN COMPATIBLE PADA RING DERET PANGKAT TERGENERALISASI MIRING

R-SUBGRUP NORMAL FUZZY NEAR-RING

SUATU KAJIAN TENTANG HIMPUNAN LUNAK KABUR (FUZZY SOFT SET ) DAN APLIKASINYA

HIMPUNAN LEMBUT BERPARAMETER KABUR INTUISIONISTIK DAN APLIKASINYA DALAM PENGAMBILAN KEPUTUSAN

SYARAT PERLU DAN SYARAT CUKUP AGAR REPRESENTASI QUIVER BERTIPE HINGGA

Skew- Semifield dan Beberapa Sifatnya

STABILISASI SISTEM KONTROL LINIER DENGAN PENEMPATAN NILAI EIGEN

BAB I PENDAHULUAN. 1.1 Latar Belakang Masalah

Semiring Pseudo-Ternary. Pseudo-Ternary Semiring

KEKONVERGENAN BARISAN DI RUANG HILBERT PADA PEMETAAN TIPE-NONSPREADING DAN NONEXPANSIVE

MATHunesa (Volume 3 No 3) 2014

LAPORAN TAHUNAN PENELITIAN FUNDAMENTAL

SOLUSI POSITIF DARI SISTEM SINGULAR DISKRIT

GRAF PANGKAT PADA SEMIGRUP. Nur Hidayatul Ilmiah. Dr. Agung Lukito, M.S.

SUATU KAJIAN TITIK TETAP PEMETAAN k-pseudononspreading SEJATI DI RUANG HILBERT

Semi Modul Interval [0,1] Atas Semi Ring Matriks Fuzzy Persegi

HUBUNGAN BENTUK-BENTUK KHUSUS K-ALJABAR HIPER IMPLIKATIF

BILANGAN KROMATIK LOKASI UNTUK GRAF K n K m

ADLN PERPUSTAKAAN UNIVERSITAS AIRLANGGA HUBUNGAN ANTARA ALJABAR IMPLIKASI DENGAN ALJABAR - BCK IMPLIKATIF SKRIPSI SITI FARIDAH

REALISASI POSITIF STABIL ASIMTOTIK DARI SISTEM LINIER DISKRIT

STABILISASI SISTEM DESKRIPTOR DISKRIT LINIER POSITIF

PRODUK SILANG TEREDUKSI DARI ALJABAR- OLEH SEMIGRUP PADA AUTOMORFISMA

UNNES Journal of Mathematics

Karakteristik Invarian Translasional Subhimpunan Fuzzy Relatif terhadap Homomorfisma Ring

BAB I PENDAHULUAN. 1.1 Latar Belakang

KATA PENGANTAR. Semarang, Desember Penulis

Prosiding ISSN:

ANALISIS LAX PAIR DAN PENERAPANNYA PADA PERSAMAAN KORTEWEG-DE VRIES

BAB I PENDAHULUAN Latar Belakang Masalah

BILANGAN STRONG RAINBOW CONNECTION UNTUK GRAF GARIS, GRAF MIDDLE DAN GRAF TOTAL

SEMIGRUP BEBAS DAN MONOID BEBAS PADA HIMPUNAN WORD. Fakultas Matematika dan Ilmu Pengetahuan Alam Univeritas Riau Kampus Bina Widya Indonesia

Pembentukan Ring Faktor Pada Ring Deret Pangkat Teritlak Miring

IDEAL FUZZY NEAR-RING. Saman Abdurrahman, Na imah Hijriati, Thresye

PENJADWALAN KULIAH DENGAN ALGORITMA WELSH-POWELL (STUDI KASUS: JURUSAN MATEMATIKA FMIPA UNAND)

BAB 3 STRUKTUR ALJABAR DAN CONTOH

SOLUSI NON NEGATIF PARSIAL SISTEM PERSAMAAN DIFERENSIAL LINIER ORDE SATU

TM-ALJABAR DAN ASPEK-ASPEK TERKAIT

BILANGAN KROMATIK LOKASI UNTUK GRAF AMALGAMASI BINTANG

SOLUSI POSITIF DARI PERSAMAAN LEONTIEF DISKRIT

BILANGAN STRONG RAINBOW CONNECTION UNTUK GRAF RODA DAN GRAF KUBIK

PENENTUAN RAINBOW CONNECTION NUMBER PADA GRAF BUKU SEGIEMPAT, GRAF KIPAS, DAN GRAF TRIBUN

GRAF RAMSEY (K 1,2, C 4 )-MINIMAL DENGAN DIAMETER 2

BEBERAPA SIFAT DIMENSI KRULL DARI MODUL. Amir Kamal Amir 1)

IDEAL PRIMA DAN IDEAL MAKSIMAL PADA GELANGGANG POLINOMIAL

SIFAT-SIFAT PENGEMBANGAN RING ARMENDARIZ DAN RING MCCOY

Sifat-Sifat Ideal Utama dan Ideal Maksimal dalam Near-Ring

PELABELAN TOTAL (a, d)-sisi ANTIAJAIB SUPER PADA GRAF RODA W n

BILANGAN KROMATIK LOKASI UNTUK GRAF K n K m

BATAS ATAS RAINBOW CONNECTION NUMBER PADA GRAF DENGAN KONEKTIVITAS 3

SUBGRUP C-NORMAL DAN SUBRING H R -MAX

SYARAT CUKUP UNTUK OPTIMALITAS MASALAH KONTROL KUADRATIK LINIER

SUATU BUKTI DARI WEDDERBURN S LITTLE THEOREM

ALJABAR-C* KOMUTATIF Commutative C*-algebra

BILANGAN KROMATIK LOKASI UNTUK JOIN DARI DUA GRAF

Transkripsi:

Jurnal Matematika UNAND Vol. 4 No. 1 Hal. 85 92 ISSN : 2303 2910 c Jurusan Matematika FMIPA UNAND ABSORBENT PENYARINGAN TERURUT DARI SEMIGRUP IMPLIKATIF TUTUT IRLA MULTI Program Studi Matematika, Fakultas Matematika dan Ilmu Pengetahuan Alam, Universitas Andalas, Kampus UNAND Limau Manis Padang, Indonesia. im.tutut@yahoo.co.id Abstract. The simplest algebraic structure is called groupoid, where groupoid is nonempty set with a binary operation. The groupoid which is associative is called a semigroup. A negatively partially ordered semigroup is a set A with a partial ordering and a binary operation. Such A is called implicative if there is an additional binary operation. In this paper will be reviewed the notion of absorbent ordered filters in implicative semigroups. Then it will be studied the relations among ordered filters, absorbent ordered filters, and positive implicative ordered filters. Kata Kunci: Binary operation, implicative semigroup, positive implicative ordered filter, absorbent ordered filter 1. Pengantar Semilattice implikatif merupakan struktur aljabar yang terdiri dari himpunan tak kosong dengan tiga operasi, yaitu operasi terurut parsial, konjungsi, dan implikatif. Lebih jelasnya, semilattice implikatif merupakan suatu sistem (A,,, ), di mana A merupakan himpunan tak kosong, merupakan terurut parsial di A, merupakan konjungsi dan merupakan operasi biner di A, di mana untuk setiap elemen x, y, z di A berlaku z x y jika dan hanya jika z x y. Semilattice implikatif secara umum telah dibahas oleh Nemitz [11] dan Blyth [2] yang terkait erat dengan implikasi logika matematika dan teori himpunan beda (Birkhoff [1] dan Curry [5]). Kemudian Nemitz menunjukkan bahwa penyaringan terurut memainkan peranan yang penting dalam perkembangan teori semilattice implikatif. Termotivasi dari hal tersebut, Chan dan Shum [3] menetapkan beberapa sifat dasar dan membentuk struktur penyaringan terurut dari semigrup implikatif. Kemudian Jun [7] menyelidiki sifat-sifat lain dari semigrup implikatif dan penyaringan terurutnya. Jun, Park, dan William [8] juga mendiskusikan dan mempelajari secara lebih mendalam terkait semigrup implikatif, dengan membangun teori yang lebih lengkap dari penyaringan terurut. Di dalam paper ini, akan dikaji kembali tentang absorbent penyaringan terurut dari semigrup implikatif yang merupakan salah satu jenis subhimpunan dari semigrup implikatif. 85

86 Tutut Irla Multi 2. Pendahuluan Pada bagian ini akan diuraikan beberapa definisi, teorema dan contoh mengenai semigrup implikatif, semigrup implikatif komutatif, penyaringan terurut, penyaringan terurut implikatif dan penyaringan terurut implikatif positif. Definisi 2.1. [9] Semigrup terurut parsial secara negatif (A,, ) adalah suatu himpunan yang terdefinisi terurut parsial dan terdapat suatu operasi biner pada A sedemikian sehingga untuk semua x, y, z A 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.2. [9] Semigrup terurut parsial secara negatif (A,, ) dikatakan implikatif, jika terdapat operasi biner : A A A, sehingga untuk setiap x, y, z A berlaku z x y jika dan hanya jika z x y. Definisi 2.3. [9] Semigrup terurut parsial secara negatif (A,, ) dikatakan implikatif, jika terdapat operasi biner : A A A, sehingga untuk setiap x, y, z A berlaku z x y jika dan hanya jika z x y. Untuk penyederhanaan istilah, semigrup implikatif terurut parsial secara negatif disebut sebagai semigrup implikatif saja. Contoh 2.4. [9] Misalkan suatu himpunan T 1 = {1, a, b, c, d} yang padanya terdefinisi operasi terurut parsial, operasi dan operasi di T 1 sebagai berikut: (1) d b 1. (2) d c a 1. (3) c a 1. Akan ditunjukkan T 1 merupakan semigrup implikatif. Definisi relasi terurut parsial, dapat juga disajikan dengan diagram Hasse sebagaimana yang diperlihatkan pada Gambar 2.4. Gambar 1. Diagram Hasse untuk T 1 = {1, a, b, c, d}.

Absorbent Penyaringan Terurut dari Semigrup Implikatif 87 Tabel 1 dan 2 berikut adalah definisi dari operasi dan di T 1. Tabel 1. Definisi operasi pada T 1 = {1, a, b, c, d}. 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 Tabel 2. Definisi operasi pada T 1 = {1, a, b, c, d}. 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 1 1 1 1 1 Berdasarkan Definisi 2.1 Definisi 2.3, diperoleh (T 1,,, ) adalah semigrup implikatif. Definisi 2.5. [9] Misalkan (A,,, ) suatu semigrup implikatif. Maka A dikatakan komutatif jika x y = y x untuk semua x, y A, yaitu (A, ) adalah semigrup komutatif. Proposisi 2.6. [3] Misalkan A suatu semigrup implikatif maka untuk setiap x, y, z A, berlaku: (1). x 1, dimana x x = 1, x = 1 x, (2). x y (x y), (3). x x (x x), (4). x y x, (5). Jika x y maka x z y z dan z x z y, (6). x y jika dan hanya jika x y = 1, (7). x (y z) = (x y) z, (8). Jika (A, ) merupakan komutatif maka x y (a x) (a y) untuk setiap a A. Proposisi 2.7. [9] Jika A suatu semigrup implikatif komutatif, maka untuk setiap x, y, z A, berlaku: (1). x (y z) = y (x z),

88 Tutut Irla Multi (2). x (x y) y, (3). y z (z x) (y x), (4). y z (x y) (x z), (5). ((x y) y) y = x y. Definisi 2.8. [3] Misalkan A suatu semigrup implikatif dan F suatu himpunan bagian tak kosong pada A. Maka F disebut penyaringan terurut dari A jika: (F1). x y F untuk setiap x, y F. Ini artinya, F suatu subsemigrup dari A, (F2). Jika x F dan x y, maka y F. Proposisi 2.9. [10] Misalkan A suatu semigrup implikatif dan F suatu himpunan bagian tak kosong pada A. Maka F merupakan penyaringan terurut pada A jika dan hanya jika berlaku: (F3). 1 F, (F4). Jika x y F dan x F, maka y F untuk setiap y A. Lema 2.10. [6] Misalkan A semigrup implikatif dan F suatu himpunan bagian tak kosong pada A. Himpunan F merupakan penyaringan terurut pada A jika dan hanya jika berlaku: (F5). Jika x y z, maka z F untuk setiap x, y F dan z A. Definisi 2.11. [6] Misalkan A semigrup implikatif dan F suatu himpunan bagian tak kosong pada A. F dikatakan penyaringan terurut implikatif dari A jika memenuhi: (F3). 1 F, (F6). Jika x (y z) F dan x y F, maka x z F untuk setiap x, y, z A. Lema 2.12. [6] Misalkan A semigrup implikatif. Jika F penyaringan terurut implikatif dari A, maka berlaku: (F7). Jika x (x y) F, maka x y F untuk setiap x, y A. Lema 2.13. [6] Misalkan A semigrup implikatif. Maka setiap penyaringan terurut implikatif dari A adalah penyaringan terurut dari A. Definisi 2.14. [4] Misalkan A semigrup implikatif dan F yang merupakan suatu himpunan bagian tak kosong pada A. F dikatakan penyaringan terurut implikatif positif dari A jika memenuhi: (F3). 1 F, (F8). Jika x ((y z) y) F dan x F maka y F untuk setiap x, y, z A. Teorema 2.15. [4] Misalkan A semigrup implikatif. Maka setiap penyaringan terurut implikatif positif dari A adalah penyaringan terurut dari A. Teorema 2.16. [4] Misalkan A semigrup implikatif dan F penyaringan terurut pada A. F adalah penyaringan terurut implikatif positif dari A jika dan hanya jika berlaku: (F9). Jika (x y) x F maka x F untuk setiap x, y A.

3. Absorbent Penyaringan Terurut Absorbent Penyaringan Terurut dari Semigrup Implikatif 89 Pada bagian ini akan diuraikan beberapa definisi dan teorema terkait absorbent penyaringan terurut. Definisi 3.1. [8] Misalkan A suatu semigrup implikatif dan F suatu himpunan bagian tak kosong pada A. Maka F dikatakan suatu absorbent penyaringan terurut dari A jika memenuhi: (F3). 1 F, (F10). Jika z (y x) F, z F, maka ((x y) y) x F, untuk setiap x, y A. Teorema 3.2. [8] Misalkan A merupakan semigrup implikatif. Maka setiap absorbent penyaringan terurut F dari A adalah penyaringan terurut dari A. Bukti. Asumsikan bahwa F merupakan absorbent penyaringan terurut dari A. Akan ditunjukkan F penyaringan terurut dari A. Misalkan x, y, z A. Misalkan z x F dan z F. Akan ditunjukkan x F. Perhatikan bahwa z x = z (1 x) (Proposisi 2.5 (1)). Sehingga diperoleh z (1 x) F dan z F (karena F absorbent). Maka, ((x 1) 1) x = (1 1) x, (Proposisi 2.5 (6)), = 1 x (Proposisi 2.5 (1)), = x F. Oleh karena itu, F penyaringan terurut dari A. Teorema 3.3. [8] isalkan A merupakan semigrup implikatif. Maka suatu penyaringan terurut F dari A adalah absorbent penyaringan terurut dari A jika dan hanya jika berlaku: (F11). y x F, maka ((x y) y) x F untuk setiap x, y A. Bukti. ( ) Asumsikan bahwa F absorbent penyaringan terurut dari A. Akan ditunjukkan bahwa jika y x F, maka ((x y) y) x F untuk setiap x, y A. Ambil x, y, z A dan misalkan (y x) F. Perhatikan bahwa (y x) = 1 (y x) F (Proposisi 2.5 (1)). Karena F penyaringan terurut maka 1 F (F3). Karena 1 (y x) F, dan 1 F serta diketahui bahwa F absorbent, maka berdasarkan Definisi 3.1 (untuk z = 1) maka diperoleh ((x y) y) x F (F 10). ( ) Asumsikan bahwa F penyaringan terurut dari A yang memenuhi (F11). Akan ditunjukkan F absorbent penyaringan terurut dari A. Karena F penyaringan terurut maka 1 F (F3). Misalkan x, y, z A sedemikian sehingga z (y x) F dan z F, maka y x F (F4). Oleh karena itu ((x y) y) x F (F11). Dengan demikian dapat disimpulkan bahwa F absorbent penyaringan terurut dari A.

90 Tutut Irla Multi Teorema 3.4. [8] Misalkan A merupakan semigrup implikatif komutatif. Maka setiap penyaringan terurut implikatif positif F dari A adalah absorbent penyaringan terurut dari A. Bukti. Asumsikan bahwa F merupakan penyaringan terurut implikatif positif dari A. Akan ditunjukkan F absorbent penyaringan terurut dari A. Karena F penyaringan terurut implikatif positif dari A, maka F merupakan penyaringan terurut dari A (Teorema 2.16). Untuk membuktikan teorema ini, akan digunakan Teorema 3.3. Misalkan x, y A. Misalkan y x F. Akan ditunjukkan ((x y) y) x F. Perhatikan bahwa: x ((x y) y) x, (Proposisi 2.5 (4)). Akibatnya (((x y) y) x) y x y (Proposisi 2.5 (5)). Asumsikan a = ((x y) y) x. Diperoleh (a y) a = ((((x y) y) x) y) (((x y) y) x) (x y) (((x y) y) x) (Proposisi 2.5 (5)) = ((x y) y) ((x y) x) (Proposisi 2.6 (1)) y x (Proposisi 2.6 (4)). Karena y x F dan y x (a y) a maka (a y) a F (F2). Karena (a y) a F maka a F (F9). Sehingga dapat disimpulkan bahwa F absorbent penyaringan terurut dari A. Teorema 3.5. [8] (Perluasan Sifat) Misalkan A merupakan semigrup implikatif komutatif dan misalkan F dan G merupakan penyaringan terurut dari A, sedemikian sehingga F G. Jika F absorbent penyaringan terurut dari A maka G absorbent penyaringan terurut dari A. Bukti. Asumsikan bahwa F merupakan absorbent penyaringan terurut dari A. Akan ditunjukkan G absorbent penyaringan terurut dari A, di mana F G. Untuk membuktikan teorema ini, akan digunakan Teorema 3.3. Misalkan x, y A dan y x G. Akan ditunjukkan ((x y) y) x G. Perhatikan bahwa: y ((y x) x) = (y x) (y x) (Proposisi 2.6 (1)), Karena F absorbent maka berlaku: Sehingga = 1 F (Proposisi 2.5 (1)). ((((y x) x) y) y) ((y x) x) F, (Teorema 3.3). (y x) (((((y x) x) y) y) x) F G (Proposisi 2.6 (1)).

Absorbent Penyaringan Terurut dari Semigrup Implikatif 91 Karena y x G maka ((((y x) x) y) y) x G (F4). Kemudian perhatikan bahwa (((((y x) x) y) y) x) (((x y) y) x), ((x y) y) ((((y x) x) y) y), (Proposisi 2.6 (3)), (((y x) x) y) (x y), (Proposisi 2.6 (3)), x ((y x) x), (Proposisi 2.6 (3)), = (y x) (x x), (Proposisi 2.6 (1)), = (y x) 1, (Proposisi 2.5 (1)), = 1 G. Berdasarkan (F5) diperoleh ((x y) y) x G. Akibatnya G absorbent penyaringan terurut dari A. 4. Kesimpulan Misalkan A adalah suatu semigrup implikatif, F himpunan tak kosong dan merupakan penyaringan terurut pada A. Maka syarat perlu dan syarat cukup F merupakan absorbent penyaringan terurut dari A adalah: Jika (y x) F maka ((x y) y) x F untuk setiap x, y A. Misalkan A adalah suatu semigrup implikatif komutatif, F dan G penyaringan terurut pada A, di mana F G. Jika F absorbent penyaringan terurut pada A, maka G juga absorbent penyaringan terurut pada A. 5. Ucapan Terima Kasih Penulis mengucapkan terima kasih kepada Bapak Dr. Admi Nazra, Ibu Dr. Yanita, Bapak Prof. I Made Arnawa serta Ibu Nova Noliza Bakar, M.Si yang telah memberikan masukan dan saran sehingga makalah ini dapat diselesaikan dengan baik. Daftar Pustaka [1] Birkhoff, G. 1967. Lattice Theory. American Mathematical Society, Amerika. Vol. XXV [2] Blyth, T. S. 1965. Pseudo-residual in Semigroups. London Mathematical Society, Inggris. 40: 441 454 [3] Chan, M. W. dan K. P. Shum. 1993. Homomorphism of Implicative Semigroups. Semigroup Forum. 46(1): 7 15 [4] Connell, E. H. 2002. Elements of Abstract and Linear Algebra. Department of Mathematicc. University of Miami, USA [5] Curry, H. B. 1963. Foundation of Mathematics Logic. McGrow-Hill, New York [6] Jun, Y. B. 1999. Implicative Ordered Filters of Implicative Semigroups. Korean Mathematical Society, Korea. 14(1): 47 55 [7] Jun, Y. B. 2007. Folding Theory Applied to Implicative Ordered Filters of Implicative Semigroups. Asia Tenggara. 31: 893 901

92 Tutut Irla Multi [8] Jun, Y. B., C. H. Park dan D. R. P. Williams. 2009. Absorbent Ordered Filters and Their Fuzzications in Implicative Semigroups. Iranian Journal of Fuzzy Systems. 6(1): 45 61 [9] Jun, Y. B. dan K. H. Kim. 2000. Positive Implicative Ordered Filters of Implicative Semigroups. Internat. J. Math. dan Math. Sci. 23(12): 801 806 [10] Jun, Y. B., J. Meng dan X. L. Xin. 2000. On Ordered Filters of Implicative Semigroups. Semigroup Forum. 54: 75 82 [11] Nemitz, W. C. 1995. Implicative Semi-lattice. American Mathematical Society, Amerika. 117: 128 142 [12] Susanti, Elva. 2013. Karakterisasi Himpunan Bagian dari Semigrup Implikatif Ideal. Tesis-S2, tidak dipublikasikan. Universitas Andalas, Padang