Generalized Derivation Pada Tm-Aljabar

TM-aljabar merupakan generalisasi dari BCK-aljabar. Pada TM-aljabar terdapat konsep derivation, yang terdiri dari ( )-derivation dan ( )-derivation. Konsep derivation mengalami perkembangan yaitu generalized derivation yang merupakan pemetaan pada TM-aljabar dan dengan pemetaan tersebut memenuhi generalized ( )-derivation dan generalized ( )-derivation. Pada skripsi ini dipelajari definisi dan sifat-sifat dari generalized derivation. Salah satu sifatnya adalah jika diketahui adalah TM-aljabar bebas torsi dan komposisi dari generalized derivation pertama dan kedua sama dengan nol, maka generalized derivation yang kedua juga sama dengan nol