正则BCK—代数

Regular BCK—algebras

本文给出了正则元、正则BCK—代数的概念。得到了如下的主要结果:〈X;*,0〉是一个正则BCK—代数当且仅当■x∈X,■y∈X,y≠x,若 x*(y*x)=0,则x=0。

In this paper,the concepts of regular element and regular BCK—algebra in BCK—algebras are introduced.The following main result is obtained: <X;*,0>is a regular BCK—algebra iff x∈X,y∈X,y≠0 and y≠x, such that x*(y*x)=0x=0。