KS SEMIGARUP - Diponegoro University | Institutional Repository (UNDIP-IR)

ABSTRAK

Suatu KS_{-semigrup merupakan struktur aljabar yang dilengkapi dengan dua}

operasi biner dan memenuhi aksioma-aksioma tertentu yaitu BCK_-aljabar,

semigrup, dan bersifat distributif kanan dan distributif kiri.Sifat-sifat yang berlaku pada BCK_{-aljabar akan berlaku juga dalam} KS_{-semigrup. Dapat diperlihatkan}

setiap ideal dari KS_{-semigrup dapat membentuk suatu himpunan kelas-kelas}

ekuivalensi yang kemudian dapat membentuk suatu KS_{-semigrup. Jika pada} BCK

-aljabar terdapat konsep homomorfisma BCK_{-aljabar, maka pada} KS_-semigrup

juga terdapat homomorfisma KS_{-semigrup. Selain homomorfisma} KS_-semigrup

juga terdapat teorema fundamental homomorfisma pada KS_-semigrup.

ABSTRACT

A KS_{-semigroup an algebraic structure equipped with two binary operations and}

satisfying axioms of BCK_{-algebra, semigroup, and satisfying right and left}

distributive law. Properties of BCK_{-algebra will be applicable in} KS_{-semigrup. It}

can be shown every ideal of KS_{-semigrup establish a set of equivalence classes}

which can then form a KS_{-semigrup. If the} BCK_{-algebra there is the concept of a} BCK_{-algebra homomorphism, then at the} KS_{-semigroup there is also a}

homomorphism of KS_{-semigroup. Besides of homomorphism of} KS_-semigroup,

there is also homomorphism fundamental theorem of KS_-semigroup.