BCI-代数的正则理想

摘要

在 BCI-代数中,理想与子代数是两个相互独立的概念,文给出了理想皆为子代数的 BCI-代数的特征,本文将证明在任意 BCI-代数中,都有一个最大的闭理想,其子代数皆为理想,并给出该闭理想的结构。设 X 是一个 BCK-代数,令A(X)={α(?)X|(?)x≠α,有α*x=α},D(X)={α(?)A(X)|α=0或α是原子}.