Exact Sequences of BCK-Modules

Abstract

BCK-modules were introduced as an action of a BCK-algebra over an Abelian group. Homomorphisms of BCK-modules form an exact sequence which is called BCK-sequence. In this paper, we study homomorphisms of BCK-modules. We show that this homomorphisms have a module structure. Moreover, we show that sequences of Hom functors are BCK-sequences.

Keywords

• BCK-algebra
• BCK-module
• Exact sequence
• Hom functor

References

1. [1] Y. Imai, K. Iseki, On axiom system of prepositional calculus, XIV, Pro Jap. Aced., 42 (1966), 19-22.
2. [2] K. Iseki, S. Tanaka, An introduction to the theory of BCK-algebras, Math. Japonica, 21 (1978), 351-366.
3. [3] H. A. S. Abujabal, M. Aslam, A. B. Thaheem, On actions of BCK-algebras on groups, 4 (1994), 43-48.
4. [4] Z. Perveen, M. Aslam, A. B. Thaheem, On BCK-modules, Southeast Asian Bull. Math., 30 (2006), 317-329.
5. [5] I. Baig, M. Aslam, On certain BCK-modules, Southeast Asian Bull. Math., 34 (2010), 1-10.
6. [6] A. Kashif, M. Aslam, Homology theory of BCK-modules, Southeast Asian Bull. Math., 38 (2014), 61-72.
7. [7] S. M. Seyedjoula, A. Gilani, E. Arfa, Exact seqnece in BCK-algebra, J. Inf. Optim. Sci., 41(4) (2020), 1153-1162.
8. [8] J. Meng, Y. B. Jun, BCK-Algebras, Kyugmoon Sa Co, Korea, 1994.