DEFINISI 1
Suatu grupoid G , merupakan semigrup terhadap operasi penjumlahan jika memenuhi
syarat tertutup dan asosiatif terhadap operasi penjumlahan.
Contoh:
1. Grupoid bilangan asli N , bilangan bulat Z , bilangan rasional Q dan bilangan real R
merupakan semigrup terhadap operasi penjumlahan. Sehingga dapat dinotasikan sebagai
N , , Z , , Q, , R,
DEFINISI 2
Suatu grupoid G , merupakan semigrup terhadap operasi perkalian jika memenuhi
syarat tertutup dan asosiatif terhadap operasi perkalian.
Contoh:
1. Grupoid bilangan asli N , bilangan bulat Z , bilangan rasional Q dan bilangan real R
merupakan semigrup terhadap operasi perkalian. Sehingga dapat dinotasikan sebagai
N , , Z ,, Q, , R,
2. Diketahui himpunan bilangan asli N disertai dengan operasi biner x * y x y xy .
Buktikan bahwa N ,* adalah suatu semigrup.
Penyelesaian:
Modul_Struktur_Aljabar/Rachmaniah_Mirza
18
x * y * z x y xy * z
x y xy z x y xy z
x y z xy xz yz xyz
(1)
x * y * z x * y z yz
x y z yz x y z yz
x y z yz xy xz xyz
(2)
Karena (1) dan (2) menunjukkan hasil yang sama, maka operasi biner * asosiatif di
N.
Jadi N ,* adalah semigrup.
3. Diketahui suatu grupoid yang disajikan dalam daftar Cayley sebagai berikut:
x y z a a a b a d
x y z a a a a b c
Karena x y z x y z , maka tidak berlaku sifat asosiatif dalam grupoid tersebut.
Jadi grupoid tersebut bukan semigrup.
2.2 MONOID
DEFINISI 3
Suatu grupoid
G ,
Modul_Struktur_Aljabar/Rachmaniah_Mirza
19
Contoh:
1. Semigrup-semigrup Z , , Q, dan R, merupakan monoid-monoid karena memuat
unsur identitas terhadap penjumlahan yaitu e 0 .
DEFINISI 4
Suatu grupoid G, disebut monoid terhadap perkalian jika memenuhi syarat tertutup,
asosiatif dan mempunyai unsur identitas terhadap operasi perkalian.
Dari definisi di atas dapat disimpulkan bahwa monoid merupakan semigrup terhadap
LATIHAN
1. Diketahui N ,* dengan x * y x y xy , x, y N .
a. Tunjukkan bahwa N ,* merupakan semigrup.
b. Tunjukkan bahwa N ,* merupakan monoid.
2. Diketahui Z 4 0,1,2,3 dengan Z 4 Z . Jika didefinisikan a * b c , dengan 3 * 1 0 ,
3 * 2 1 , dan 3 * 3 2 , tunjukkan dengan tabel operasi biner apakah Z 4 memenuhi sifatsifat semigrup dan monoid.
Modul_Struktur_Aljabar/Rachmaniah_Mirza
20