双重Stone代数的核理想

理想是研究Ockham代数类结构的一个重要工具,在双重Stone代数上引入核理想的概念,构造了核理想同余关系表达式,获得了双重Stone代数核理想判别定理。根据双重Stone代数的运算特征及主同余表示理论,获得了核理想同余关系的若干等价表达式并证明了双重Stone代数核理想与其同余关系是同构的。所得结论为其它Ockham代数类核理想性质的研究提供了方法,丰富了Ockham代数的发展,为进一步研究Ockham代数类的代数结构提供理论支持。     

平衡伪补Ockham代数的O-理想

在平衡伪补Ockham代数上,引入O-理想的概念,利用平衡伪补Ockham代数核理想和余核滤子同余关系表达式,获得了平衡伪补Ockham代数上的理想成为O-理想的充要条件.     

伪补Ockham代数核理想同余关系的注记

理想是反映Ockham代数类结构的一个重要工具,利用伪补Ockham代数的核理想判别定理以及核理想同余关系表达式,研究了伪补Ockham代数的核理想的性质,证明了伪补Ockham代数核理想及其同余关系是同构的。主要结果为:(1)设L是伪补Ockham代数,符号I(L),I_k(L)分别表示L的理想和核理想构成的集合,则I_k(L)是I(L)的一个子格。(2)对于任意的I,J∈Ik(L),则R_I,R_J具有同余置换性,其中同余关系R_I定义为:(x,y)∈R_I(■a∈I)x∧a*=y∧a*。(3)设L是伪补Ockham代数,则I_k(L)■C_k(L),其中符号Ck(L)={RI(■a∈I)x∧a*=y∧a*,I∈Ik(L)}。所得结论为进一步研究Ockham代数类的代数结构提供理论支持,丰富了Ockham代数的发展。     

双重伪补Ockham代数的理想与滤子同余关系的注记

依据双重伪补Ockham代数的核理想和余核滤子判别定理以及具有核理想和余核滤子同余关系表达式,研究了双重伪补Ockham代数的核理想和余核滤子同余关系的同余置换性,证明了双重伪补Ockham代数核理想同余关系和余核滤子同余关系是同构的.     

伪补MS-代数的核理想与同余关系

在伪补MS-代数上引入核理想的概念,利用伪补MS-代数主同余表示定理,讨论伪补MS-代数上的核理想的性质,得到核理想生成的同余关系的表达式。     

双重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代数类的代数结构提供理论支持。     

双重MS-代数的正则理想

在双重MS-代数上引入正则理想以及正则滤子的概念,根据双重MS-代数的运算特征及主同余表示理论,获得了双重MS-代数正则理想集和正则滤子集是同构的结论.     

双重Stone代数的O理想

理想是刻画代数结构的工具,借助理想有助于了解代数的内部结构。在分配格代数中,将运算融入格理想,衍生出核理想。核理想是认识序代数及其同余关系的载体。O理想是一类特殊的核理想,首先在双重Stone代数的基础上,引入O理想的概念,结合双重Stone代数的运算属性,构造出一类具体的O理想;其次,利用双重Stone代数核理想和余核滤子同余关系表达式,给出了由核理想寻找余核滤子的方法,获得了双重Stone代数的核理想成为O理想的充要条件。所得结论为其他分配格代数类O理想性质的研究提供了方法,丰富了分配格理论,为进一步研究分配格类的代数结构提供理论支持。     

次直不可约的双重MS-代数

用Hasse图刻划了所有次直不可约的双重MS-代数,用双重MS-代数的素理想集刻划了双重MS-代数的每一个同余关系.     

粗集代数与伪补MS代数

给出了由粗集代数构造伪补MS代数的方法.借助近似代数上的原子及同余关系,证明了在适当选取余运算之后,粗集代数就构成伪补MS代数.     

伪补MS代数的理想与滤子同余关系的注记

依据伪补MS代数的核理想及余核滤子判别定理以及核理想和余核滤子所生成的同余关系表达式,研究了伪补MS代数的核理想和余核滤子同余关系的同余置换性,证明了伪补MS代数核理想格和余核滤子格是同构的.     

PMS—代数中的正则理想

本文提出伪补MS-代数（简称PMS-代数）中正则理想，正则同余关系等概念．研究正则理想与核理想，0-理想之间的关系，讨论正则同余关系的性质，得到若干结果．     

伪补MS-代数的同余关系

研究了伪补MS代数的素理想与同余关系之间的联系,证明了伪补MS代数的同余格与它的MS代数的同余格是相同的。     

BR_0代数中的~*理想及其诱导的商代数

通过在BR0代数中引入了新的运算*,首先定义了BR0代数中的*理想、素*理想、生成*理想、极大*理想,并研究了对应理想的一些性质;其次,通过(素)*理想构造出1个同余关系,并证明了1个BR0代数在该同余关系下的商代数还是(全序)BR0代数.     

平衡拟补Ockham代数的理想格

本文主要讨论平衡拟补Ockham代数 的理想格,给出了核理想的特征表示,并且证明了由核理想生成的同余格是一个p-代数.     

FI代数的理想

利用FI代数上的伪补运算,引入理想,给出理想的等价刻画,证明由理想可以诱导同余,分析理想与滤子的关系。     

SM-代数的素理想与同余关系

用SM-代数的素理想集刻划了SM-代数的每一个同余关系.在此基础上得到了次直不 可约SM-代数类的结构.     

粗集代数与IMTL代数关系

讨论粗集代数与IMTL代数的关系以及由粗集代数构造IMTL-代数的方法．借助近似代数数上的原子及同余关系，验证了在合理选择蕴涵算子→及补运算-之后，粗集代数就构成了IMTL-代数．     

关于PMS-代数的同余格的一点注记

分别给出了Stone代数和PMS-代数中主同余关系的其它一些特征.特别地,证明了PMS-代数(S;∨,∧,*,,0,1)的同余格与所含MS-代数(S;∨,∧,,0,1)的同余格是一致的.     

关于BCK-代数的次伪赋值

本文介绍了BCK-代数的次伪赋值的概念和性质.我们研究了次伪赋值和理想之间的联系.我们使用次伪赋值定义关于BCK-代数的次伪度量并且用此证明诱导同余关系.我们通过这种关系定义了商代数并证明了它也是一个BCK-代数.