Oleh: Kelompok 5
1. Amalia Fitri (RSA1C213006)
2. Novrike Mulyawati (RSA1C213016)
3. Reza Putra Wardana (RSA1C213028)
4. Yolanda Fitria (RSA1C213003)
Program Studi: Pendidikan Matematika PGMIPA-U
Homomorfisma Letis
Definisi :
Misalkan
( L, ,1 1 ,)1
dan
( M , 2 ,2 ,) 2
(a, b) L
f (a 1 b) f (a ) 2 f (b)
berlaku:
dan
f (a 1 b) f (a ) 2 f (b)
Khususnya jika f 1-1 dan pada, maka f dikatakan isomorfisma letis, sedangkan L dan M
disebut isomorfik.
Teorema 6 :
Misalkan f : L
a 1 b, maka f ( a ) 2 f (b)
Jika f homomorfisma letis, maka f mengawetkan urutan. Dapat terjadi suatu fungsi f : L
M yang 1-1 pada dan mengawetkan urutan, tapi f -1 tidak.
Contoh
( L, )
Dik: Misalkan
a 1 b
a 2 b a b
12
f:L
L dengan f(x) = x ,
Penyelesaian:
L1
Diagram Hasse
a 1 b
b habis dibagi a
Diagram Hasse
a 2 b a b
L2
12
1
4
3
2
1
(1, 2) L
Ambil
L1
Lihat diagram
f (1 1 2)
L2
f (1)
Lihat diagram
f (1) 2 f (2)
1 *2 2
1
f (a 1 b) f (a) 2 f (b)
f ( x) x maka f (1) 1
L1
Lihat diagram
L2
Lihat diagram
f (1 1 2)
f (1) 2 f (2)
f ( 4)
12 2
(a,b) L
Karena
2
terdapat
f ( a 1 b ) f ( a ) 2 f (b )
a 1 b f ( a ) 2 f (b )
(1, 2) L
Ambil
1 1 2 f (1) 2 f (2)
1 1 2 1 2 2
(1, 3) L
Ambil
Ambil
( 2, 4) L 1 1 3 f (1) 2 f (3)
2 1 4 f ( 2) 2 f ( 4)
1 1 3 1 2 3
2 1 4 2 2 4
a, b L
f mengawetkan urutan.
3
( 2,1) L
Ambil
a 1 b f ( a ) 2 f (b )
2 1 1 f (2) 2 f (1)
2 1 1 2 2 1
Letis Khusus
Definisi :
berlaku
a 1 b f ( a ) 2 f (b )
Misalkan L letis. L disebut terbatas dibawah jika ada elemen L yang dilambangkan 0
sehingga
0 a,
Sebagai akibat langsung dari sifat antisimetris, elemen 0 dan 1 (jika ada) adalah tunggal.
a L berlaku: 0 * a = a
l*a=a
0a=0
la=1
Definisi :
Misalkan L adalah letis terbatas dan a
L, b
b
a0
= 0 dan
d
ab=1
e 1
Dit: Periksalah
a
b
Penyelesaian:
a
Akan diperiksa apakah letis L terbatas, berarti letis L terbatas dibawah dan diatas.
Syarat:
a *b a 0
(0 b )
a *c a 0
(0 c )
a * d a 0 (0 d )
Karena a L berlaku 0 a maka L terbatas dibawah.
c e e 1 (c 1)
d e e 1 (d 1)
Karena a L berlaku a 1 maka L terbatas diatas.
ab=1
a *b a 0
a b e 1
a *c a 0
a c e 1
a*d a 0
ad e 1
b*c a 0
bc e 1
b*d a 0
b d e 1
c*d a 0
cd e 1
b*e a 0
be e 1
c *e a 0
ce e 1
d *e a 0
d e e 1
a, b L
Karena
terdapat
a *b 0
dan
a b 1
Letis Distributif
Definisi :
Letis L disebut distributif jika
a, b, c
berlaku:
b
a0
i d a * (b c) = (a * b) (a * c) dan
ii a (b * c) = (a b) * (a c)
e 1
Contoh
Dik: Letis L = {a,b,c,d,e} dengan diagram hassenya sebagai berikut:
a * (b c) = (a * b) (a * c)
a*e
= a a
tidak ada = a
Contoh
Dik: Misalkan L adalah letis dengan diagram hasse berikut:
Ambil
i a * (b c) = (a * b) (a * c) dan
ii a (b * c) = (a b) * (a c)
Bukti:
x * ( y z) ( x * y) ( x * z )
i
x*z
x x
x * ( y z) ( x * y) ( x * z)
Maka
x ( y * z) ( x y) * ( x z)
ii
x y
y
y*z
x ( y * z) ( x y) * ( x z)
Maka
x, y , z L
x * ( y z) ( x * y) ( x * z)
x ( y * z ) ( x y) * ( x z)
Karena
berlaku
dan
Teorema 7
Setiap rantai adalah letis distributif.
Teorema 8
Hasil kali cartes dua letis distributif adalah letis distributif.
Teorema 9
a, b, c L
berlaku:
( a * b a * c ) (a b a c) b c