Diberikan semigrup S dan R adalah suatu relasi ekuivalensi pada S. Relasi ekuivalensi R disebut relasi kongruensi pada S jika R kompatibel. Penelitian ini akan menjelaskan beberapa karakeristik yang dimiliki oleh relasi kongruensi R pada semigrup S

Persulessy, E. R. (Elvinus)

Neliti

Karakteristik Relasi Kongruensi pada Semigrup

Persulessy, Elvinus R.

OJS UNPATTI Publication Center (Universitas Pattimura)

  Jurnal Barekeng Vol. 7 No. 2 Hal. 27 – 30 (2013)         KARAKTERISTIK RELASI KONGRUENSI PADA SEMIGRUP Characterization of Congruence Relation on Semigrup   ELVINUS RICHARD PERSULESSY Staf Jurusan Matematika Fakultas MIPA Universitas Pattimura Jl. Ir. M. Putuhena, Kampus Unpatti, poka-Ambon e-mail: richardelvinus@yahoo.com   ABSTRAK  Diberikan semigrup S dan R adalah suatu relasi ekuivalensi pada S. Relasi ekuivalensi R disebut relasi kongruensi pada S jika R kompatibel. Penelitian ini akan menjelaskan beberapa karakeristik yang dimiliki oleh relasi kongruensi R pada semigrup S.  Keywords: Kompatibel,Relasi Ekuivalensi, Kongruensi.   PENDAHULUAN   Himpunan S   yang dilengkapi dengan operasi biner " " , ditulis  ,S  atau disingkat S, disebut semigrup jika terhadap operasi biner yang sama S memenuhi sifat  asosiatif.  Jika pada S didefinisikan suatu relasi ekuivalensi R yang memenuhi sifat kompatibel kiri dan kompatibel kanan, maka relasi ekuivalensi R menjadi relasi kongruensi pada S. Karena relasi kongruensi juga merupakan relasi ekuivalensi, maka S akan terpartisi menjadi kelas-kelas yang saling asing. Himpunan   ,xR y S x y R    adalah kelas ekuivalensi yang memuat x. Himpunan kelas-kelas ekuivalensi yang saling asing ini, selanjutnya disebut himpunan kuosen dari S dan dinotasikan dengan SR.  Penelitian ini akan menjelaskan secara detail beberapa karakteristik relasi kongruensi pada semigrup S.   TINJAUAN PUSTAKA  Untuk menjelaskan karakteristik relasi kongruensi pada semigrup diperlukan beberapa konsep dasar tentang homomorfisma, kompatibilitas, dan kekongruenan yang dikaji dari Howie [1] dan Thierrin (1995). Selanjutnya, dalam buka An Introduction to Semigroup Theory, J. M Howie memberikan landasan teori tentang karakteristik relasi kongruensi pada semigrup yang dilengkapi oleh Spitznagel (1997) lewat tulisannya Structure in Semigroup II. [2] Berikut ini adalah beberapa definisi dan teorema yang melandasi penelitian ini.  Definisi 1. Diberikan himpunan S   yang dilengkapi dengan operasi biner " " .   ,S , selanjutnya ditulis S, disebut semigrup terhadap operasi biner  ,S  jika S memenuhi sifat asosiatif       1 2 1 2 3 1 2 3,s s S s s s s s s        Definisi 2. Misalkan  ,S  dan  ', *S adalah dua semigrup. a. Fungsi : 'S S   dinamakan homomorfisma jika        , *x y S x y x y        b. Jika  homomorfisma yang surjektif, maka   disebut epimorfisma. c. Jika   homomorfisma yang injektif, maka   disebut monomorfisma. d. Jika   homomorfisma yang surjektif dan injektif, maka   disebut isomorfisma.  Definisi 3. Suatu relasi R pada semigrup S disebut i. Kompatibel kiri, jika      , , , ,s t a S s t R as at R       . ii. Kompatibel kanan, jika      , , , ,s t a S s t R sa ta R       .  28   Persulessy  Barekeng Vol. 7 No. 2 Hal. 27 – 30 (2013) iii. Kompatibel, jika  , , ', 's t s t S         , ' & , ' , ' 's s R t t R st s t R      . Relasi ekuivalensi yang kompatibel kiri disebut relasi kongruensi kiri. Relasi ekuivalensi yang kompatibel kanan disebut relasi kongruensi kanan. Relasi ekuivalensi yang kompatibel disebut relasi kongruensi.  Teorema 1 Relasi R pada semigrup S merupakan relasi kongruensi jika dan hanya jika R merupakan relasi kongruensi kiri dan relasi kongruensi kanan.   HASIL DAN PEMBAHASAN  Teorema 2 Diberikan S dan T semigrup. Jika : S T   adalah homomorfisma, maka 1    adalah relasi kongruensi pada S. Selanjutnya, 1 ker    . Bukti : Karena : S T  , maka 1 : S S    . Akibatnya                   1 1, , , dan ,, , , dan ,,x y S S z T x z z yx y S S z T x z y zx y S S x y                      Selanjutnya akan ditunjukkan 1    adalah relasi kongruensi. i). Ambil sebarang x S . Karena x y  , maka jelas   1,x x    . Jadi 1    refleksif. ii). Ambil sebarag ,x y S  dengan   1,x y    . Akan ditunjukkan   1,y x    . Karena   1,x y    , maka x y   atau y x  . Ini berarti   1,y x    . Jadi 1    simetris. iii). Ambil , ,x y z S  dengan     1, , ,x y y z    . Akan ditunjukkan   1,x z    . Karena     1, , ,x y y z    , maka x y   dan y z  . Akibatnya x z   atau   1,x z    . Jadi 1    transitif. iv). Ambil sebarang , , ,x y z t S  dengan     1, , ,x y z t    . Karena     1, , ,x y z t    , maka x y   dan z t  .  Karena   homomorfisma, maka         xz x zy tyt     Akibatnya   1,xz yt    . Dibentuk himpunan S dengan   adalah relasi kongruen pada semigrup S. Jika didefinisikan operasi biner "*"  pada S dengan aturan      *a b ab a  , untuk setiap , Sa b  , diperoleh teorema berikut.  Teorema 3 a.  , *S  adalah semigrup. b. Fungsi : SS  dengan aturan     a S a a        merupakan homomorfisma. c. Jika S dan T semigrup, dengan : S T   homomorfisma, maka 1ker     adalah relasi kongruensi pada S dan :kerS T  monomorfisma serta diagram berikut komutatif.   Bukti : a. (i). Akan ditunjukkan S well-defined. Ambil sebarang , , ' , ' Sa b a b     dengan 'a a   dan 'b b  .  Karena 'a a   dan 'b b  , maka  , 'a a   dan  , 'b b  . Karena , , ', 'a b a b S  dan   relasi kongruensi, maka  , ' 'ab a b  . Akibatnya    ' 'ab a b   atau S . (ii). Ambil sebarang , , Sa b c   . Akibatnya                      * * *** *a b c ab cabca bca b c        Berlaku sifat asosiatif. S T   f  29   Persulessy  Barekeng Vol. 7 No. 2 Hal. 27 – 30 (2013) b. Akan ditunjukkan : SS  adalah homomorfisma. Ambil sebarang ,a b S . Diperoleh,          **ab aba ba b      Jadi   adalah homomorfisma. c. Definisikan :kerS T  dengan aturan perkawanan    kers S a a     .  c.1. Akan dibuktikan :kerS T  monomorfisma.  (i). Ambil sebarang ker , kerkerSa b   dengan  ker kera b  . Karena ker kera b  , maka  , kera b   atau a b   atau    ker kera b    . Jadi   well-defined. (ii). Ambil sebarang ker , kerkerSa b  .          ker ker kerker kera b ababa ba b         Jadi   homomorfisma. (iii). Ambil sebarang ker , kerkerSa b    dengan    ker kera b    . Karena    ker kera b    , maka a b   atau  , kera b   atau ker kera b  . Jadi   injektif. Berdasarkan (i) – (iii) terbukti   monomorfisma. c.2. Ambil sebarang a S . Diperoleh       kerf a f aaa    Terbukti diagram komutatif.  Teorema 4 Jika   dan   adalah relasi-relasi kongruensi pada semigrup S dan   , maka terdapat homomorfisma : S S   sehingga diagram berikut komutatif.  Bukti i). Didefinisikan : S S   dengan aturan perkawanan  a a   . Akan ditunjukkan   well-defined. Ambil sebarang , Sa b   dengan a b . Karena a b  , maka  ,a b   atau a b   atau    a b    . Terbukti   well-defined. ii). Ambil sebarang , Sa b  . Berdasarkan  a a    dan Teorema 3, diperoleh           **ab aba ba b         Jadi terbukti : S S   adalah homomorfisma. iii). Ambil sebarang a S .        * **a aaaa      Terbukti diagram komutatif.  Teorema 5 Jika ,i i I   adalah relasi kongruensi pada semigrup S, maka  i i I   juga merupakan relasi kongruensi pada S. Bukti Ambil sebarang , , ', 's t s t S  dengan  , ii Is t   dan  ', ' ii Is t  . Akibatnya  , is t   dan  ', ' is t   untuk setiap i I . Karena i  relasi kongruensi pada semigrup S, maka  ', ' iss tt  . Akibatnya  ', ' ii Iss tt  . S      30   Persulessy  Barekeng Vol. 7 No. 2 Hal. 27 – 30 (2013) Terbukti  i i I   merupakan relasi kongruensi pada S.   KESIMPULAN   1. Relasi kongruensi pada semigrup S akan membentuk struktur yang sama dengan subgrup normal pada grup dan ideal di ring. 2. Irisan relasi-relasi kongruensi pada semigrup S juga membentuk relasi kongruensi.   DAFTAR PUSTAKA [1] Howie, J. M. (1976) Introduction to Semigroup Theory. Academic Press. London. [2]  Spitznagel, C. R. (1997) Strucutre in Semigroup II. Seminar Notes. [3]  Spitznagel, C. R. (2000) Congruence Lattices. http://www.jcu.edu/math.pdf 