论文部分内容阅读
对W.H.Cornish提出的问题"关联BCK-代数簇是不是2-基的"给出一个肯定的回答:(2,0)型代数〈X;*,0〉是关联(BCK-代数,当且仅当它满足(1)x*(0*y)=x;(2)(x*z)*(x*y)=((y*z)*(y*x)x(x*y)).所以(1)和(2)是关联BCK-代数簇的一个3变量的极小等式基.