双重Stone代数的核理想注记

在双重Stone代数上引入核理想概念,借助核理想的性质反映双重Stone代数的结构,在双重Stone代数L上构造了具有核理想I的最大同余关系表达式RI,(x,y)∈R~I (x~*∧y~(**))∨(x~(**)∧y~*)∨(x~+∧y~(++))∨(x~(++)∧y~+)∈I。根据双重Stone代数的运算特征,获得了具有核理想的最小同余关系与最大同余关系之间的等式关系。主要结果为:设(L;∨,∧,~*,~+,0,1)是一个双重Stone代数,I是L的核理想,则R~I=δ_I∨(G~*∧G~+),其中(x,y)∈δ_I ( ■i∈I)x∨i=y∨i;(x,y)∈G~* x~*=y~*,(x,y)∈G~+x~+=y~+。所得结论为其它Ockham代数类核理想性质的研究提供了方法,丰富了Ockham代数的发展,为进一步研究Ockham代数类的代数结构提供理论支持。

A Note on the the Kernel Ideal on Double Stone Algebras