×

Free extended BCK-module. (English) Zbl 1336.06013

Summary: 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.

MSC:

06F35 BCK-algebras, BCI-algebras
08B20 Free algebras
PDFBibTeX XMLCite
Full Text: Link