可结合的BCI代数

1966年由Imai及井关清志一起引进了BCK代数,即有下列:定义1 设X是具有一个二元运算*和一个常元0的一个集。那末X被称为一个BCK代数,是指它满足下列条件:(Ⅰ)(x*y)*(x*z)≤z*y;(Ⅱ)x*(x*y)≤y;(Ⅲ)x≤x;(Ⅳ)0≤x;(Ⅴ)x≤y,y≤xx=y;(Ⅵ)x≤yx*y=0。日本、斯里兰卡等国许多数学家,从事对这种代数系的研究,写出了大量的论文,得到了很多结果(文献1])。本文要用到BCK代数的下列两个性质: