The smallest class of subalgebras of a commutative BCK-algebra containing initial subsets

Document Type : Original Paper


1 Department of Mathematics, Shahid Chamran University of Ahvaz, Ahvaz, Iran

2 Department of Mathematics, Faculty of Sciences, Payame noor University, Tehran, Iran


In this paper, we assume that X is a BCK-algebra and y, t elements of X. We assign to these elements a set, denoted by F(y; t). We show that F(y; t) is a subalgebra of X. Then we prove that a BCK-algebra X is a Linear Commutative BCK-algebra if and only if every F(y; t) is an initial set of X. Moreover, we give a necessary and sufficient condition for F(y; t) to be an ideal. Finally, we show that the set consisting of all these sets forms a bounded distributive lattice.


Main Subjects

Imai, Y. Iseki, K. (1960), On axiom systems of propositional calculi, XIV.
Proc. Japan Academy, 42,19-22.
Iseki, K. (1996), An algebra related with a propositional calculus, Proc.
Japan Academy, 42, 26-29.
 Iseki, K. (1975), On bounded BCK-algebras, Math. Seminar Notes, 3, 23-
Iseki, K. (1980), On BCI-algebra, Math. Sem. Notes, 8, 125-130.
Iseki, K. and Tanaka, S. (1976), Ideal Theory of BCK-algebra, Math.
Japonica, 21, 351-366.
Meng, J. (1991), Commutative ideal in BCK-algebra, Pure Appl. Math.
(in P.R. China), 9, 49-53.
Meng, J. and Jun, Y.B. (1994), BCK-algebra, Kyung Moon SA, Korea.
Tanaka, S. (1975), A new class of algebras, Math. Seminar Notes, 5, 37-
Tanaka, S. (1975), Example of BCK-algebras, Math. Seminar Notes, 3, 75-
Yisheng, H. (2006), BCI-algebra, Science Press, China.