可換BCI代數

可換BCI代數(commutative BCI-algebra)可換BCK代數的一種推廣.

設X是BCI代數,若d x,yEX,有
可換BCI代數
則稱X為可換BCI代數.可換BCK代數與p半單BCI代數都是可換BCI代數,反之不真.設X是BCI代數,X的極小元a(即若二*a=。則二=a)所確定的子集V (a)= {xE X } aGx}稱為X的分支.若BCI代數的每個分支V<a)都有最大元ma,則稱X為局部有界的.局部有界可換BCI代數X的每個分支V (a)都是一個分配格.

相關詞條

熱門詞條

聯絡我們