论文部分内容阅读
有界BCK-代数【X;*;0】的一个子集D叫做一个对偶理想,如果它满足(1)1∈D;(2)N(Ny*Nx)∈D和x∈D蕴涵y∈D,x,y∈X.X的一个对偶理想D有一个既约(质)分解,如果D是有限多个既约(质)对偶理想的交。本文证明下述结果:如果有界BCK-代数X的每一个对偶理想是有限生成的,则X的每个对偶理想有一个既约分解;如果有界BCK-上半格【X;*;0】的每个对偶理想是有限生成的,则X的每个对偶理想有一个质分解.