英文
BCI-algebra with the condition (s)
简介
一类重要的BCI代数.设〈X;*，0〉是BCI(BCK)代数，若对X的任意两个元a，b，方程(x*a)*b=0在X中有最大解，记其最大解为a+b，则称X是一个具有条件(s)的BCI(BCK)代数.若X是具有条件(s)的BCI代数，则方程(x*a)*b=0的最大解a+b是由a，b所惟一确定的，即“+”是X的一个二元运算.〈X;+，0〉是一个保序交换半群，0是半群的单位元.井关清志(Iseki，K.)于1977年引进了具有条件(s)的BCK代数，1980年又推广到BCI代数上去，并奠定了它的基础理论.具有条件(s)的关联BCK代数与幂等元环是两个抽象等价系统.