平衡双重半拟补MS代数的理想和同余关系

在平衡双重半拟补MS代数上引入(^(*))理想,(^(+))理想,(°)理想和(^(*),^(+),°)理想的概念,探讨平衡双重半拟补MS代数上(^(*))理想,(^(+))理想,(°)理想和(^(*),^(+),°)理想与核理想的关系,获得了(°)理想是核理想的结论。同时构造出了以(^(*),^(+),°)理想为核的最小同余关系和最大同余关系,并获得了最小同余关系和最大同余关系之间的等式关系。

平衡半拟补Ockham代数的滤子

一个平衡半拟补Ockham代数(简称bdpO-代数)是一个〈2,2,1,1,0,0〉类型的代数(L;∧,∨,f,*,0,1)。其中(L;f)是Ockham代数,(L;*)是半拟补代数,且一元运算f和*由恒等式[f(x)]*=f2(x)与f(x*)=x**所连结。本文讨论bdpO-代数中滤子的性质及其同余特征,并刻画某些同余一致与同余凝聚性质。

双重半伪补de Morgan-代数滤子同余关系的注记

双重半伪补de Morgan代数是将双重半伪补代数类与de Morgan代数类相结合而形成的一个新的代数类,是一个有界分配格上赋予三个一元运算:双重半伪补运算与de Morgan运算。对双重半伪补de Morgan代数的滤子同余关系作进一步的研究:首先,基于双重半伪补de Morgan代数的运算规律以及双重半伪补运算与de Morgan运算的关联性,论证了双重半伪补de Morgan代数正则p-滤子同余关系的保序性以及同余置换性,根据双重半伪补de Morgan代数所体现的运算属性,论证了正则p-滤子格对格的二元运算是封闭的,获得了正则p-滤子格是滤子格的子格的结论。其次,在格与序代数理论中,涉及滤子,必然伴随着滤子同余关系,同余关系是保持运算的等价关系。借助于双重半伪补de Morgan代数的正则p-滤子同余关系,论证了正则p-滤子与正则p-滤子同余关系是同构的。所得结论为其他分配格代数类正则滤子性质的研究提供了方法,同时,为研究多元运算代数类结构提供理论支持。

平衡双重伪补Ockham代数的核理想与O-理想

平衡双重伪补Ockham代数是双重伪补代数与Ockham代数结合而定义的一类新的代数类,3个一元运算的组合使得平衡双重伪补Ockham代数具有良好的运算性质。在平衡双重伪补Ockham代数上,引入O-理想的概念,基于平衡双重伪补Ockham代数核理想和余核滤子的充要条件以及主同余关系表达式,获得了平衡双重伪补Ockham代数上的核理想成为O-理想的充要条件。

双重拟伪补MS-代数的同余特征

依双重拟伪补MS-代数是一个具有<2,2,1,1,0,0>类型的代数(L;∧,∨,°,*,+,0,1).其中(L;°)是一个MS-代数,(L;*,+)是一个双重拟伪补代数,且一元运算°,*和+之间由下面的等式联系起来:(1)x°*=x°°=x°+;(2)x*°=x*+=x**;(3)x+。=x+*=x++.本文中,我们介绍了这类代数的同余特征.特别地,我们证明了次直不可约的双重拟伪补MS-代数的同余格是一个二元素链或一个三元素链.

双重半伪补MS代数正则滤子的注记

双重半伪补MS代数是在双重半伪补代数类与MS代数类基础上抽象出的新的代数类,以滤子理论作为研究工具,对双重半伪补MS代数的正则滤子作进一步的研究。首先,证明了正则滤子格是滤子格的子格。其次,论证了正则滤子格与双重半伪补MS代数同余关系的子集是同构的。

关于拟φ-自由的李代数

本文推广了ψ-自由李代数的概念,定义了拟ψ-自由及强拟ψ-自由李代数的概念,并得到了这类李代数与ψ-自由李代数相类似的一些结果。

双重半伪补de Morgan代数的滤子同余关系

首先,在双重半伪补de Morgan代数上引入余核滤子,正则滤子和p-滤子的概念,证明了p-滤子成为余核滤子的充要条件是该p-滤子是正则的。其次,给出了余核p-滤子生成的同余关系的表达式。最后,证明了具有余核滤子的最小同余关系具有同余一致与同余凝聚性质。

双重半伪补MS代数的正则滤子

正则滤子是刻画代数结构的工具,借助正则滤子同余关系有助于了解代数的内部结构.首先在双重半伪补MS代数上,引入正则滤子的概念,结合双重半伪补MS代数的运算属性,构造出具有正则滤子的最大同余关系;其次,利用双重半伪补MS代数具有正则滤子最小同余关系表达式,给出了具有正则滤子的最小同余关系与最大同余关系的等式关系.所得结论为其它分配格代数类正则滤子性质的研究提供了方法,丰富了分配格理论,为进一步研究分配格代数类的代数结构提供理论支持.

双重半伪补MS代数的滤子同余关系

在双重半伪补MS代数上引入余核滤子的概念，构造了余核滤子同余关系表达式，获得了余核滤子判别定理．根据双重半伪补MS代数的运算特征及主同余表示理论，获得了余核滤子同余关系的若干等价表达式并证明了双重半伪补MS代数余核滤子与其同余关系是同构的．所得结论为Ockham代数类余核滤子性质的研究提供了方法，丰富了序代数结构理论．

拟伪补双重MS-代数

本文将介绍一类称之为拟伪补双重MS-代数的代数类,即代数(L;∧,∨,°,+,^*).其中(L;°,+)是双重MS-代数,(L;^*)是拟伪补代数,并且一元运算由恒等式x°^*=x^*°及x^+*=x^*+所确定.特别地,我们将证明,这样一个代数是真次直不可约,当且仅当其同余格是一个3-元素链或4-元素链.