Dalam suatu semigrup terdapat himpunan elemen idempoten yang menjadi latar

belakang munculnya E — semigrup dimana kelas semigrup ini merupakan generalisasi dari semigrup ortodoks. Seperti halnya semigrup ortodoks yang

mempunyai kaitan erat dengan semigrup reguler, E—semigrup mempunyai

kaitan pula dengan E-inversive semigrup dimana semigrup ini merupakan

generalisasi dari semigrup reguler. Untuk mengkarakterisasi E -semigrup digunakan

sifat-sifat dari E -inversive semigrup, sandwitch set dan himpunan invers lemah.

Akan ditunjukkan bahwa jika S adalah E -inversive semigrup maka terdapat

pernyataan-pernyataan yang ekuivalen mengenai E - semigrup, sandwitch set dan

himpunan invers lemah dari elemen S . Selanjutnya E -inversive dan E —

semigrup mengantarkan pada pembahasan E -inversive E — semigrup. Dibahas

pula mengenai hubungan urutan Mitsch µ , urutan Lallement λ dan relasi v yang erat kaitannya dengan terbentuknya himpunan elemen idempoten menjadi normal

band. Normal band merupakan salah satu bentuk dari E — semigrup. Dengan

demikian hubungan urutan Mitsch µ , urutan Lallement λ dan relasi v tersebut

menjadi syarat perlu dan cukup himpunan elemen idempoten merupakan E— semigrup.



Kata kunci: E — semigrup, E -inversive semigrup, sandwitch set dan himpunan invers lemah

Dhian Arista Istikomah, S.Si, M.Sc

Indonesian

Lumbung Pustaka UNY  (UNY Repository)

PROSIDING                ISBN : 978-979-16353-8-7     Makalah dipresentasikan dalam Seminar Nasional Matematika dan Pendidikan Matematika dengan tema ” Kontribusi Pendidikan Matematika dan  Matematika dalam Membangun Karakter Guru dan Siswa" pada tanggal   10 November 2012 di Jurusan Pendidikan Matematika FMIPA UNY  A-2 KARAKTERISASI E SEMIGRUP Dhian Arista Istikomah, S.Si, M.Sc1  1Universitas PGRI Yogyakarta dhian.arista@gmail.com  Abstrak Dalam suatu semigrup terdapat himpunan elemen idempoten yang menjadi latar belakang munculnya E  semigrup dimana kelas semigrup ini merupakan generalisasi dari semigrup ortodoks. Seperti halnya semigrup ortodoks yang mempunyai kaitan erat dengan semigrup reguler,  E  semigrup mempunyai kaitan pula dengan E -inversive semigrup dimana semigrup ini merupakan generalisasi dari semigrup reguler. Untuk mengkarakterisasi E -semigrup digunakan sifat-sifat dari E -inversive semigrup, sandwitch set dan himpunan invers lemah. Akan ditunjukkan bahwa jika S  adalah E -inversive semigrup maka terdapat  pernyataan-pernyataan yang ekuivalen mengenai   E - semigrup, sandwitch set dan himpunan invers lemah dari elemen S . Selanjutnya E -inversive dan E semigrup mengantarkan pada pembahasan E -inversive E  semigrup. Dibahas pula mengenai hubungan urutan Mitsch , urutan Lallement   dan relasi   yang erat kaitannya dengan terbentuknya himpunan elemen idempoten menjadi normal band. Normal band merupakan salah satu bentuk dari E  semigrup. Dengan demikian hubungan  urutan Mitsch  , urutan Lallement   dan relasi   tersebut menjadi syarat perlu dan cukup himpunan elemen idempoten merupakan E semigrup.  Kata kunci: E  semigrup, E -inversive semigrup, sandwitch set dan himpunan invers lemah.  PENDAHULUAN    Salah satu konsep yang dipelajari dalam struktur aljabar adalah grup. Jika aksioma eksistensi elemen identitas tidak diharuskan berlaku, maka  akan berdampak pada tidak dapat diberlakukannya aksioma eksistensi dari elemen invers elemen-elemennya. Dengan latar belakang ini didefinisikan struktur aljabar baru yang lebih umum yaitu semigrup.    Himpunan tak kosong S  dengan operasi biner ( )  disebut grupoid yang selanjutnya dituliskan dengan ( , )S  . Grupoid ( , )S   dimana operasi biner ( )  berlaku asosiatif, yaitu untuk setiap , ,a b c S  berlaku ( ) ( )a b c a b c     disebut semigrup. PROSIDING                                           ISBN : 978-979-16353-8-7    Seminar Nasional Matematika dan Pendidikan Matematika FMIPA UNY Yogyakarta, 10 November  2012                                                                                                  MA - 10                                                                                                  Selanjutnya dalam penulisan operasi biner ini dituliskan sebagai pergandaan dan semigrup ( , )S   dinotasikan dengan S .   Misalkan ( , )G   grup, berlaku aksioma eksistensi elemen identitas yaitu terdapat e G  dimana untuk setiap a G  berlaku ae ea a  . Selanjutnya e  disebut elemen identitas. Sebagai akibatnya selalu berlaku terdapat e G  sehingga ee ee e   atau secara umum dapat dituliskan  terdapat x G  sedemikian sehingga berlaku 2xx x x . Hal ini tentu saja belum tentu berlaku pada semigrup. Kenyataan ini memberi peluang untuk membentuk himpunan elemen-elemen x  di S  dengan sifat 2x x . Selanjutnya  himpunan ini disebut himpunan elemen-elemen idempoten dan dinotasikan ( )E S . Dengan demikian 2( ) { | }E S a S a a   .  Elemen a  di dalam ( )E S  disebut elemen idempoten. Semigrup S  dimana setiap elemennya adalah idempoten disebut band. Normal band dan rectangular band merupakan contoh dari jenis-jenis band.    Tidak  dijaminnya berlaku aksioma eksistensi elemen identitas pada semigrup akan berpengaruh pada aksioma eksistensi invers untuk elemen di G . Sudah diketahui bahwa pada grup G  berlaku untuk setiap a G   terdapat 1a G   sedemikian sehingga 1 1aa a a e   . Jika kedua ruas dikalikan dengan a  maka berlaku untuk setiap a G  terdapat 1a G   sedemikian sehingga 1 1aa a a aa ea a     atau secara umum dituliskan untuk setiap a G  terdapat x G  sedemikian sehingga axa a . Hal ini tentu saja belum tentu berlaku pada semigrup karena aksioma elemen invers tidak selalu berlaku. Kenyataan ini memberi peluang untuk mendefinisikan semigrup reguler. Semigrup S  disebut semigrup reguler jika untuk setiap a S  terdapat x S  sedemikian sehingga axa a . Selanjutnya a  di dalam  S  dengan sifat terdapat x  di S  sedemikian sehingga axa a  disebut elemen reguler dari S .    Pada semigrup reguler didefinisikan sandwitsch set dimana munculnya sandwitsch set ini dilatarbelakangi oleh sifat operasi elemen identitas pada grup. Pada dasarnya sandwitsch set merupakan himpunan elemen idempoten yang memiliki sifat tertentu. Di dalam grup dengan elemen identitas  e berlaku 2e e  dan 1 2 1( )e e   sehingga untuk setiap a G  berlaku 1 1; ;  ae a e a a ee e    dan  1eee ee e   . Hal ini belum tentu berlaku pada semigrup mengingat ketidakberadaan elemen identitas dan elemen invers. Jika hal tersebut diberlakukan pada himpunan elemen idempoten dengan memisalkan , , ( )e g f E S , sandwitsch set ( , )S e f  didefinisikan sebagai himpunan dengan elemen g  yang bersifat ge g fg   dan egf ef .   Berdasar sifat semigrup reguler dan himpunan elemen idempoten dapat dibentuk suatu kelas semigrup, yaitu semigrup ortodoks. Semigrup ortodoks merupakan semigrup reguler dimana himpunan elemen idempoten membentuk subsemigrup. Dari sifat semigrup ortodoks tersebut muncul kelas semigrup yang lebih umum dimana disyaratkan merupakan sebarang semigrup dengan himpunan elemen idempoten membentuk subsemigrup. Kelas semigrup ini disebut E  semigrup. E  semigrup merupakan generalisasi dari semigrup ortodoks sehingga sifat yang berlaku pada E semigrup menginduksi sifat dari semigrup ortodoks. Sebagai contoh adalah sifat himpunan invers lemah dari  E  semigrup mempunyai kemiripan dengan sifat himpunan invers pada semigrup ortodoks. Seperti halnya semigrup ortodoks yang mempunyai kaitan erat dengan semigrup reguler, dalam mengkarakterisasi E semigrup berkaitan pula dengan E  inversive semigrup yang merupakan generalisasi PROSIDING                                           ISBN : 978-979-16353-8-7    Seminar Nasional Matematika dan Pendidikan Matematika FMIPA UNY Yogyakarta, 10 November  2012                                                                                                  MA - 11                                                                                                  dari semigrup reguler. Dalam pengkarakterisasian tersebut diperlukan pula sifat sandwitch set dan himpunan invers lemah.   Selanjutnya sifat-sifat yang telah didapatkan dari E  inversive dan E semigrup menjadi dasar dalam  pembahasan E  inversive E  semigrup. Dalam hal ini hanya akan dibahas tentang kongruensi grup terkecil di dalamnya. Selanjutnya dibahas lebih lanjut tentang sifat urutan Mitsch   pada sebarang semigrup serta hubungan antara urutan Mitsch  , urutan Lallement  dan relasi   yang kemudian diketahui erat kaitannya dengan terbentuknya himpunan elemen idempoten menjadi normal band. Normal band merupakan salah satu bentuk dari E  semigrup, sehingga dari hubungan urutan Mitsch  , urutan Lallement   dan relasi   tersebut diketahui merupakan syarat perlu dan cukup himpunan elemen idempoten adalah E  semigrup.            Untuk menjawab pertanyaan ini akan dibahas tentang sifat himpunan idempoten yang mendorong suatu semigrup menjadi E  semigrup, sifat E  inversive semigrup, karakterisasi E  semigrup dari sifat-sifat E  inversive, kongruensi grup terkecil 𝜎 pada E  inversive E  semigrup, sifat-sifat urutan Mitsch   serta hubungan urutan Mitsch  , urutan Lallement   dan relasi   dimana hubungan ketiganya erat kaitannya dengan syarat perlu dan cukup suatu himpunan elemen idempoten ( )E S  merupakan E  semigrup.  PEMBAHASAN    Dalam bab ini akan dibahas mengenai E  inversive, E  semigrup dan E inversive E  semigrup. Berikut diberikan beberapa definisi, sifat, teorema serta contoh yang berlaku dalam E  inversive, E  semigrup dan E  inversive E  semigrup.  1. E  inversive dan E  semigrup   Telah diketahui bahwa pada suatu grup berlaku untuk setiap  a G  terdapat 1a G   sedemikian sehingga berlaku 1 1 .aa a a e    Jika kedua ruas dikuadratkan yaitu 1 2 2( )aa e e    maka diperoleh 1 2 1( )aa aa  . Bila ditulis secara umum untuk setiap  a G  terdapat x G  sedemikian sehingga berlaku 2( )ax ax  . Jadi dapat disimpulkan bahwa dalam suatu grup berlaku untuk setiap a G  terdapat x G   sehingga 2( )ax ax . Hal ini belum tentu berlaku pada semigrup mengingat eksistensi elemen identitas dan elemen invers tidak dijamin berlaku. Dengan latar belakang tersebut, didefinisikan pengertian sebagai berikut.  Definisi:  Diberikan sebarang semigrup S . Semigrup S  disebut E  inversive jika untuk setiap a S  terdapat x S  sedemikian sehingga ax  idempoten. Sedangkan semigrup S  disebut E  semigrup jika himpunan idempoten dari S  membentuk subsemigrup di dalam S .  Contoh: Diberikan semigrup { , , , }S a b c d  dimana operasi biner didefinisikan seperti pada tabel Cayley berikut:    PROSIDING                                           ISBN : 978-979-16353-8-7    Seminar Nasional Matematika dan Pendidikan Matematika FMIPA UNY Yogyakarta, 10 November  2012                                                                                                  MA - 12                                                                                                   a  b  c  d  a  a  a  a  a  b  a  a  b  a  c  a  a  c  a  d  a  b  b  d  Semigrup S  dengan operasi biner seperti pada tabel diatas merupakan E  inversive dan semigrup S  bukanlah E  semigrup.     Contoh:  Setiap band merupakan E  semigrup.    Berikut didefinisikan urutan Mitsch  , relasi   dan urutan Lallement   yang akan mengantarkan pada pembahasan tentang syarat cukup dan syarat perlu suatu himpunan elemen idempoten menjadi normal band .  Definisi: Diberikan  sebarang semigrup S  dan ,a b S . Urutan Mitsch   pada S  didefinisikan sebagai berikut:  1( ) ( , )a b s t S sa sb a at bt        .  Definisi: Diberikan  sebarang semigrup S  dan ,a b S . Relasi   pada S  didefinisikan sebagai berikut: 1( ) ( , ( ))a b e f E S a eb bf      . Sifat: Jika S  merupakan semigrup reguler maka   merupakan urutan parsial natural di S .  Definisi:  Diberikan semigrup regular S  dan , .a b S Urutan Lallement   pada S  didefinisikan sebagai berikut: ( ) ( , )a b x y S x    ℛ  dan xa xa xb y  ℒay ay by  .     Jika G  grup dan e  elemen identitas pada G ,  maka berlak2e e  dan 1 2 1( )e e  . Untuk setiap g G  berlaku 1 1; ;  ge g e g g ee e    dan  1eee ee e   . Hal ini juga belum tentu berlaku pada semigrup mengingat ketidakberadaan elemen identitas dan elemen invers. Dengan latar belakang  tersebut akan dapat di definisikan sandwitsch set sebagai berikut  Definisi: Diberikan semigrup regular S  dengan , ( )e f E S . Sandwitch set ( , )S e f  didefinisikan sebagai berikut: ( , ) { ( ) | ; }S e f g E S ge g fg egf ef     .  Lemma berikut adalah sifat dari sandwitch set.   Lemma: Diberikan semigrup reguler S . Untuk setiap ( , ),g S e f ef adalah inverse dari  g .    Berikut diberikan definisi dari himpunan invers lemah yang selanjutnya akan digunakan dalam teorema karakterisasi E  semigrup.   PROSIDING                                           ISBN : 978-979-16353-8-7    Seminar Nasional Matematika dan Pendidikan Matematika FMIPA UNY Yogyakarta, 10 November  2012                                                                                                  MA - 13                                                                                                  Definisi: Diberikan sebarang semigrup S  dan .a S  Himpunan invers lemah dari adinotasikan dengan ( )W a  didefinisikan sebagai berikut:  ( ) { | }W a x S xax x    Elemen-elemen dari ( )W a  disebut elemen invers lemah dari  a .    Lemma: Jika S  semigrup regular dan ( ' , ')h S a a bb  dimana ' ( ), ' ( )a W a b W b  , maka ' ' ( )b ha W ab .     Berikut adalah teorema karakterisasi E  semigrup.  Teorema: Jika semigrup S  adalah  E  inversive  semigrup, maka pernyataan berikut ekuivalen. 1. S adalah E  semigrup; 2. ( , ( )) ( , )e f E S fe S e f   ; 3. ( , ) ( ) ( ) ( )a b S W b W a W ab   ; 4. ( , ( )) ( ) ( ) ( )e f E S W e W f W fe   .  Teorema: Jika semigrup S  adalah  E -inversive semigrup dan ,a b S  dengan  ( ) ( )W b W a  ( )W ab  , maka untuk setiap idempoten e  dari S  berlaku ( ) ( )W e E S .    Tabel dibawah ini menunjukkan bahwa pada E  inversive semigrup ,S jika  untuk setiap ( )e E S  berlaku ( ) ( )W e E S  maka ( ) ( )W b W a  ( )W ab  dengan ,a b S .  Contoh: Misal 𝑆 =  𝑎, 𝑏, 𝑐, 𝑑 . Didefinisikan operasi pergandaan ’  ’ pada 𝑆 seperti pada tabel Cayley berikut.   𝑎 𝑏 𝑐 𝑑 𝑎 𝑎 𝑎 𝑎 𝑎 𝑏 𝑎 𝑎 b 𝑎 𝑐 𝑎 𝑎 𝑐 𝑎 𝑑 𝑎 𝑏 𝑏 𝑑 Dapat dibuktikan bahwa S  dengan operasi biner didefinisikan seperti pada tabel adalah E -inversive semigrup dan untuk setiap ( )e E S  berlaku ( ) ( )W e E S  maka ( ) ( )W b W a  ( )W ab  dengan ,a b S .   Pada E  inversive semigrup  , jika  𝑊 𝑏 𝑊(𝑎)𝑊(𝑎𝑏) berlaku untuk suatu 𝑎, 𝑏 ∈ 𝑆 maka tidak perlu bahwa 𝑆 merupakan E  semigrup. Hal ini diilustrasikan dalam contoh berikut:  Contoh: Misalkan 𝑆 = {𝐴, 𝐵, 𝐶, 𝐷, 𝑂} dimana =  1 01 0 , 𝐵 =  1 00 0 , 𝐶 =  0 10 1 , 𝐷 = 0 10 0 ,𝑂 =  0 00 0  , maka 𝑆 membentuk semigrup dibawah operasi perkalian seperti terlihat dalam tabel berikut: PROSIDING                                           ISBN : 978-979-16353-8-7    Seminar Nasional Matematika dan Pendidikan Matematika FMIPA UNY Yogyakarta, 10 November  2012                                                                                                  MA - 14                                                                                                    Dapat dibuktikan bahwa jika  𝑊 𝑏 𝑊(𝑎)𝑊(𝑎𝑏) berlaku untuk suatu 𝑎, 𝑏 ∈ 𝑆 maka tidak perlu bahwa 𝑆 merupakan E  semigrup.  1. E  inversive E  semigrup   Berikut akan dibahas tentang E  inversive E  semigrup dimana definisi E  inversive E semigrup diturunkan  dari definisi E  inversive dan E  semigrup.  Definisi: Semigrup S  disebut E  inversive E  semigrup jika : 1. ( )( )a S x S ax     ( )E S  2.  ( )E S  subsemigrup S .   Berikut adalah contoh dari E  inversive E  semigrup.  Contoh: Setiap band adalah E  inversive E  semigrup.    Berikut akan dibahas tentang kongruensi grup terkecil   pada E  inversive E  semigrup.  Definisi:  Diberikan  E  inversive E  semigrup S . Relasi   pada S  disebut  kongruensi grup terkecil   pada S  dan didefinisikan sebagai berikut: ( , )( ) ( , ( )) .a b S a b e f E S ea bf        Teorema: Jika S  adalah E  inversive E  semigrup maka  {( , ) | ( ) ( ) }a b S S W a W b       adalah kongruensi grup terkecil pada S .   Berikut akan diberikan beberapa sifat dari urutan Mitsch   yang nantinya akan digunakan dalam pembuktian syarat cukup dan syarat perlu suatu himpunan elemen idempoten menjadi normal band.  Teorema: Diberikan sebarang semigrup S . Urutan Mitsch   pada S  merupakan urutan parsial.  Teorema: Diberikan sebarang semigrup S . Urutan Mitsch   pada S  tidak kompatibel terhadap pergandaan.   Dari dua sifat diatas dapat disimpulkan bahwa relasi urutan Mitsch pada sebarang semigrup adalah urutan parsial dan tidak kompatibel terhadap pergandaan . Lemma berikut membahas tentang syarat cukup urutan Mitsch   merupakan urutan trivial.    𝐴 𝐵 𝐶 𝐷 𝑂 𝐴 𝐴 𝐴 𝐶 𝐶 𝑂 𝐵 𝐵 𝐵 𝐷 𝐷 𝑂 𝐶 𝐴 𝑂 𝐶 𝑂 𝑂 𝐷 𝐵 𝑂 𝐷 𝑂 𝑂 𝑂 𝑂 𝑂 𝑂 𝑂 𝑂 PROSIDING                                           ISBN : 978-979-16353-8-7    Seminar Nasional Matematika dan Pendidikan Matematika FMIPA UNY Yogyakarta, 10 November  2012                                                                                                  MA - 15                                                                                                  Lemma: Jika S  merupakan rectangular band, maka rutan Mitsch   pada S  adalah urutan trivial.  Akibat: Pada sebarang semigrup komutatif, urutan Mitsch  selalu kompatibel.     Contoh berikut ini merupakan contoh semigrup non-komutatif yang non-reguler, non trivial dimana   kompatibel terhadap pergandaan.   Contoh: Misalkan { , , , , , }S a b c d e f  semigrup yang memenuhi sifat ( , , )a b c S abc ac  dengan operasi biner " "  didefiniskan sebagai berikut:    a  b  c  d  e  f  a  b  b  e  e  e  b  b  b  b  e  e  e  b  c  f  f  d  d  d  f  d  f  f  d  d  d  f  e  b  b  e  e  e  b  f  f  f  d  d  d  f  Teorema berikut menyatakan syarat perlu dan syarat cukup suatu himpunan elemen idempoten menjadi normal band.  Teorema Jika semigrup S  dengan ( )Reg S  subsemigrup S , maka ( )E S  adalah normal band  jika hanya jika      pada  ( )Reg S .  KESIMPULAN  Berdasarkan pembahasan pada bab sebelumnya dapat disimpulkan bahwa E semigrup merupakan generalisasi dari semigrup ortodoks. Terdapat kaitan erat antara E  inversive dan E  semigrup. Dalam pengkarakterisasian E  semigrup diperlukan sifat-sifat dari E  inversive, sandwitch set serta himpunan invers lemah. Selanjutnya E  inversive dan E  semigrup diperlukan dalam mengkarakterisasi E  inversive E  semigrup. Dalam pembahasan ini hanya dibahas tentang kongruensi grup terkecil di dalamnya. Pada akhir pembahasan dibuktikan beberapa sifat dari urutan Mitsch  . Selanjutnya diketahui pula bahwa kesamaan relasi   dengan urutan Mitsch   dan urutan Lallement   pada himpunan elemen-elemen idempoten sebarang semigrup menjadi syarat cukup dan syarat perlu suatu himpunan elemen idempoten menjadi normal band.  DAFTAR PUSTAKA  Cliford,A.H and Preston,G.B.,1961, The Algebraic Theory of Semigroups, Volume 1, American Mathematical Society.  Howie, J.M.,1976, An Introduction To Semigroups Theory, Oxford University Press.  Howie, J.M., 1995, Fundamental of Semigroups Theory, Oxford University Press. PROSIDING                                           ISBN : 978-979-16353-8-7    Seminar Nasional Matematika dan Pendidikan Matematika FMIPA UNY Yogyakarta, 10 November  2012                                                                                                  MA - 16                                                                                                   Hungerford, Thomas W., 1974, Algebra, New York:Springer-Verlag.  Mitsch, H., 1986, A Natural Partial Order for Semigroups, Proceeding of the American Mathematical Society Volume 97 hal. 384-388.  Srinivas, K. V. R., 2007, , Characterization of E  semigroup, Southeast Asian Bulletin of Mathematics 31, hal. 979-989.  Weipoltshammer, B.,2002, Certain Congruence on E  inversive E  semigrup, Semigroup Forum 65 hal. 233-248.    

KARAKTERISASI E — SEMIGRUP

Abstract

Similar works

Full text

Available Versions

Lumbung Pustaka UNY (UNY Repository)