在BCK-代数中三个条件的等价问题

K.Ise'ki 1980年在[2]提出:具有条件(c)的BCK—代数是否交换?1982年M.Pakasineki在[3]提出条件(c_1),同时证明了,BCK—代数X是交换的充要条件是X满足条件(c_1),并断言说:“显然,条件(c_1)弱于条件(c)”。但是他的断言是错误的。事实上,恰恰相反,条件(c_1)是强于条件(c)。也就是说,他并没有真正地解决K.Ise'ki的问题。本文将证明,在BCK—代数中条件(c_1)和条件(c)是等价的。从而协助解决了K.Ise'ki的问题。