TY - JOUR
T1 - Free Extended BCK-Module
TT -
JF - IJMSI
JO - IJMSI
VL - 10
IS - 2
UR - http://ijmsi.ir/article-1-470-en.html
Y1 - 2015
SP - 29
EP - 43
KW - BCK-algebra
KW - Extended BCK-module
KW - Free extended BCK-module.
N2 - In this paper, by considering the notion of extended BCK-module, we define the concepts of free extended BCK-module, free object in category of extended BCK-modules and we state and prove some related results. Specially, we define the notion of idempotent extended BCK-module and we get some important results in free extended BCK-modules. In particular, in category of idempotent extended BCK-modules, we give a method to make a free object on a nonempty set and in BCK-algebra of order 2, we give a method to make a basis for unitary extended BCK-modules. Finally, we define the notions of projective and productive modules and we investigate the relation between free modules and projective modules. In special case, we state the relation between free modules and productive modules.
M3 10.7508/ijmsi.2015.02.004
ER -