摘要
本文证明了n(≥3)阶BCK-链,有且仅有一个是可换的;一个是正定关联的;没有关联的。
In this paper, we discuss the structure of finite BCK-chains. The main results are the following. Suppose X= {0, 1, 2, …, n-1} , andyx, y∈ X, x*y= x-y if y≤x and x*y= 0 otherwise. Then < X, *, 0 > isaunique commutative BCK-chain in BCK-chains with order n;Suppose X= {0, 1, 2, …, n-1} , andx, y∈ X x*y = O if x≤y and x* y = x otherwise. Then < X; * , 0 > isaunique positive implicative BCK-chain in BCK-chains with order n; For every natural number n≥ 3 , any BCK-chain with order n is not implicative.
出处
《西北大学学报（自然科学版）》
CAS
CSCD
1989年第4期9-12,共4页
Journal of Northwest University（Natural Science Edition）
关键词
BCK代数
有限BCK-链
正定关联
BCK-chain
Commutative BCK-chain
Positive implicative BCK-chain
Implicative BCK-chain
