RT - Journal Article
T1 - Free Extended BCK-Module
JF - IJMSI
YR - 2015
JO - IJMSI
VO - 10
IS - 2
UR - http://ijmsi.ir/article-1-470-en.html
SP - 29
EP - 43
K1 - BCK-algebra
K1 - Extended BCK-module
K1 - Free extended BCK-module.
AB - 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.
LA eng
UL http://ijmsi.ir/article-1-470-en.html
M3 10.7508/ijmsi.2015.02.004
ER -