KERNEL IDEALS AND CONGRUENCES ON MS-ALGEBRAS

In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kernel ideals.

双重伪补Ockham代数的理想与滤子的构造

序代数理论在理论计算机、多值逻辑学、信息系统科学等方面有着广泛且重要的应用。在序代数研究领域,理想和滤子是刻画代数结构的重要工具。双重伪补Ockham代数是在双重伪补代数和Ockham代数基础上定义的一类新的代数类,基于双重伪补Ockham代数的运算规律以及双重伪补运算与Ockham代数运算的关联性,对双重伪补Ockham代数的理想与滤子做进一步的研究。首先,运用Ockham代数的运算构造出双重伪补Ockham代数的滤子,并探讨了相关性质。其次,借助于双重伪补Ockham代数核理想和余核滤子的充要条件构造出了核理想和余核滤子的具体集合形式。所得结论为其他序代数类的理想和滤子性质的研究提供了方法,也将有助于进一步探索序代数理论在其他学科如模糊集、计算机科学中的应用。

Stonean Kernels of MS-algebras

In this paper, the internal structures of MS-algebras are investigated by means of the new notions of Stonean kernel and M-ideal. We determine necessary and sufficient conditions for an MS-algebra with a Kleene skeleton. After introducing a special kind of principal congruence, we consider the relationship between an MS-algebra and its quotient algebra.

平衡拟补Ockham代数的理想格

一个平衡拟补Ockham代数是代数(L;∨,∧,f,0,1),其中(L;f)是O ckham代数,(L;*)是拟补p-代数,且一元运算f和*满足条件(x∈L)f(x*=x**及[f(x)]*=f2(x).主要讨论平衡拟补Ockham代数的理想格,给出了核理想的特征表示,并且证明了由核理想生成的同余格是一个p-代数.

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

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

左对称代数的若干性质

本文以纯代数的观点讨论了左对称代数的若干性质，如右单位、可递性、幂零性、核理想等．同时还讨论了这些性质在其邻接Lie代数上的反映．

MS代数的核理想

本文证明了绝对不可分的 MS代数和类布尔代数的每个原理想都是核理想 .

双重Stone代数的核理想

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

MS—代数的理想和同余关系

给出了 MS—代数 L的理想 I =( d]可以成为某个同余关系核的充要条件 ;分别给出了以 L的理想 I =(

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

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

Fuzzy格的中心核中理想与同余关系

本文通过提出软代数中心核概念,讨论了软代数中理想与同余关系的联系,证明了软代数的每个中理想,都存在相应的同余关系,使其中心核恰为该中理想;每个中理想都是某个满同态的中心核;并通过中心核。

关于序半群的核

文章以序半群中的双理想作为工具,刻画了序半群的核,给出了构造序半群的核的几个充要条件。

分配P-代数的O-理想与核理想

研究了分配P-代数的O-理想和核理想的性质,证明了分配P-代数的O-理想与核理想是相同的理想。

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

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

防危核一致性保障技术的研究

通过理想防危策略及其制定算法把防危策略的制定与一致性险证集为一体,从而解决防危策略与系统防危需求之间一致性问题;然后研究了以Z语言为桥梁,用数学证明来解决防危核与防危策略之间一致性证明的方法。以十字路口的交通控制为例,全过程地实现和验证了所提出的思想和算法的正确性。

分配P-代数的核理想

研究了分配P-代数的核理想的构造,给出了分配P-代数的核理想的一些充要条件.

伪补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代数的发展。

双重Stone代数的O理想

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

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