BAB 4 FREE OBJECT DAN CONTOH

advertisement
BAB 4
FREE OBJECT DAN CONTOH
Free object akan menjadi pokok bahasan utama pada bab terakhir ini,
penulis akan membahas beberapa contoh dari free object seperti free semigroup,
free group dan free inverse semigroup.
4.1 FREE OBJECT
Ide mengenai free object merupakan konsep dasar pada aljabar abstrak,
dan pembelajarannya merupakan bagian dari aljabar universal, yaitu aljabar yang
mempelajari sifat-sifat yang dimiliki oleh semua struktur aljabar. Secara informal
free object atas himpunan A dapat dipandang sebagai struktur aljabar yang
“Dibangun” oleh himpunan A, kemudian sifat dan ketentuan yang berlaku di
antara elemen-elemen dari free object ini bergantung terhadap aksioma-aksioma
yang didefinisikan pada struktur aljabar tersebut.
6
Misal C adalah suatu (class) struktur aljabar, A ∈ C, X himpunan tak
kosong dan ϕ adalah pemetaan X pada A. Pasangan (A, ϕ) (ditentukan oleh X )
adalah free C - algebra jika untuk setiap C di C dan setiap pemetaan 0 : X → C
terdapat homomorfisma yang unik 0’ : A → C sehingga diagram dibawah ini
komutatif (0‘∘ ϕ = 0 .
Diagram 3.1
6
Carlos Carvalho, ‘Presentations of Semigroups and Inverse Semigroups’. p. 2
17
Bisa ditunjukkan melalui homomorfisma pada definisi tersebut, bahwa
jika struktur tersebut ada, maka struktur tersebut unik.
Contoh familiar dari free object pada himpunan tak kosong X, free
semigroup, yaitu himpunan
seluruh words tak kosong dengan letters di X
dibawah operasi menempelkan, kita lambangkan dengan FSx. Free group adalah
himpunan seluruh words yang telah tereduksi pada alphabet X ∪ X-1, dimana
himpunan X-1 = {x-1| x∈X } adalah himpunan yang terkorespondensi satu-satu
dengan X dan terpisah denganya, kita lambangkan free group ini dengan FGx.
Perlu diketahui bahwa yang penulis lakukan adalah membahas bentuk jadi
dari konstruksi free object yang sudah ada sebelumnya, penulis menyerahkan
sepenuhnya kepada pembaca untuk menemukan bukti pemetaan yang membuat
diagram 3.1 komutatif pada contoh konstruksi free object yang akan dibahas.
4.2 FREE SEMIGROUP
7
Misalkan X adalah suatu himpunan dan FSx terdiri dari semua barisan
hingga dari elemen-elemen di X. Jika (x1, … , xm) dan (y1, … , yn) adalah elemenelemen dari FSx (xi∈X, i = 1, 2, … , m ; yj∈X, j = 1, 2, … , n ). Maka kita
definisikan produk antara keduanya melalui juxtaposisi sederhana :
(x1, … , xm) (y1, … , yn) = (x1, … , xm, y1, … , yn)
FSx didefinisikan sebagai Free Semigroup di X , dan elemen dari FSx
adalah words tak kosong dengan letters pada alphabet X.
Contoh dari yaitu semigrup (N,+) dari bilangan asli (termasuk nol) dengan
operasi penjumlahan adalah free semigroup dengan pembangun unik yaitu 1.
Menambahkan identitas, 1, pada FSx , maka kita peroleh free monoid pada
X, kita lambangkan dengan FSx1. Secara umum nantinya kita akan lebih sering
bekerja dengan FSx1 ketimbang FSx. Elemen identitas yang ditambahkan, yaitu 1,
dapat dipandang sebagai “words kosong”.
7
Clifford, ‘The Algebraic Theory of Semigroups’. p. 40
18
4.3 FREE GROUP
Suatu grup G dikatakan free (Free Group) jika terdapat subhimpunan S
dari G sehingga setiap elemen dari G dapat dituliskan dalam satu dan hanya satu
cara sebagai produk dari sejumlah hingga elemen di S dan inversnya. Contoh,
grup (Z, +) dari bilangan bulat adalah free group, kita dapat mengambil S = {1}.
Berikut ini akan diberikan contoh konstruksi free group (Z, +) :
(1) Pertama-tama kita mempunyai himpunan S = { 1 } dan S-1 = { -1 }.
(2) Kita buat himpunan baru yaitu T = S ∪ S-1 = {1, 1-1}.
(3) 111-111-11 adalah contoh dari word di S. Jika direduksi 111-111-11 → 11,
dan 11 adalah contoh dari word yang telah tereduksi di S.
(4) Free group FGS didefinisikan sebagai grup dari seluruh words yang telah
tereduksi di T , contoh: (ε , 11, 111, 1-1, 1-11-11-1). Operasi group di FGS
adalah menempelkan word (diikuti dengan reduksi apabila diperlukan).
(5) Anggota – anggota FGS memiliki bentuk 1m, ε, 1-n, m, n ∈ Ζ
(6) Identitas disini adalah word kosong ε.
(7) Dikenakan homomorfisma dari FGS ke bilangan bulat :
1n → n, 1-m → -m, ε → 0, 1m - n → m – n, dimana m, n ∈ Ζ.
(8) Kita dapatkan FGS dengan homomorfisma tersebut adalah free group (Ζ, +).
8
Dan berikut ini adalah contoh konstruksi FGX pada himpunan tak kosong X :
(1) Misalkan X ≠ φ, X ∩ X -1 = φ , | X -1|=| X |, dan x ↦ x -1 satu-satu,
(2) Misalkan Y = X ∪ X -1 , dan FSY 1adalah free semigroup dengan identitas di Y.
(3) Misalkan ρ adalah kongruen pada FSY 1 yang dibangun oleh
T = {(xx -1, 1 ) : x ∈ X} ∪ {(x -1x, 1) : x ∈ X}
(4) FSY 1/ ρ adalah free group pada X, kita lambangkan ini dengan FGX .
8
Clifford, ‘The Algebraic Theory of Semigroups’. p. 43
19
4.4 FREE INVERSE SEMIGROUP
Dalam pembelajaranya, penulis menemukan bahwa terdapat berbagai
macam cara dan alat yang dapat dipakai untuk mengkonstruksi free inverse
semigroup, melalui generator dan relasi, principal ideal dan semilattice, atau
dapat juga menggunakan seperangkat alat pada aljabar universal seperti kategori
dan morfisma.
Suatu konstruksi serupa pada free group dapat juga dilakukan pada
inverse semigroup 9:
(1) Misalkan X adalah himpunan tak kosong (X ≠ φ), kemudian kita bentuk
himpunan baru yaitu X
-1
= {x -1: x ∈ X} ,dimana pemetaan x ↦ x
-1
adalah
satu-satu, dan X adalah himpunan yang terpisah dengan X-1 ( X ∩ X -1 = φ).
(2) Kita bentuk himpunan Y yang anggota-anggotanya adalah elemen-elemen
dari X dan X -1 (Y = X ∪ X -1 ), dan kita bentuk FSY yaitu free semigroup di Y.
(3) Definisikan inverse bagi elemen elemen di FSY dengan aturan :
(x -1 ) -1 = x , x ∈ X
(y1y2 … yn)-1 = yn-1…y1-1 , y1y2 … yn ∈ Y
perhatikan bahwa untuk setiap w anggota dari FSY , (w -1)-1 = w .
(4) Misalkan τ adalah kongruen pada Y + yang dibangun oleh
T = {(ww -1w,w ) : w ∈ FSY} ∪ {ww -1zz -1, zz -1ww -1) : w,z ∈ FSY}
(5) Y +/ τ adalah free inverse semigroup, kita lambangkan dengan FISX .10
...
9
10
John Howie , ‘Fundamentals of semigroup Theory’, Claredon Press, Oxford, 1995. p. 201
Carlos Carvalho, ‘Presentations of Semigroups and Inverse Semigroups’. p. 3-5
20
Download