摘要
BCK- 代数X称为主理想BCK -代数,如果X =(a],其中a为X的元素.设X为周期BCK -代数,x(a)是X的极大元扩张,则X是主理想BCK -代数的充分必要条件是X(a) 为主理想BCK -代数.X是单BCK- 代数的充分必要条件是X =(a],其中a为X的小原子.任意阶数为n(n不小于5)的n - 2型BCK- 代数必是主理想BCK- 代数.
A BCK-algebra X is called a principal ideal BCK-algebra if X=(a] for some a of X. Let X be a cyclic BCK-algebra and x(a) the extensi on of X, then X=(a] if and o nly if x(a)=(u]. Simple BCK-algebra X is a principal ideal BCK if and only if X=a, where a is the small atom of X. Any BCK-algebra X of type n-2 and of order n≥5 is a principal ideal BCK-algebra.
出处
《浙江教育学院学报》
2005年第2期59-62,共4页
Journal of ZHEJIANG Education Institute