Congruence Permutable Kleene-Stone Algebras

A Kleene-Stone algebra is a bounded distributive lattice with two unary operations that make it a Kleene and a Stone algebra. In this paper, we study the properties of the prime ideals in a Kleene-Stone algebra and characterize the class of Kleene-Stone algebras that are congruence permutable by means of the dual space of a Kleene-Stone algebra and then show that a finite Kleene-Stone algebra is congruence permutable if and only if it is isomorphic to a direct product of finitely many simple algebras.

双重Stone代数的核理想

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

双重Stone代数的主同余关系

给出了双重Stone代数的主同余关系θ(a,b)(a≤b)的等式刻划以及其它的一些性质,由此得到了主同余关系θ(a,b)(a≤b)存在Boo le-补的若干充分条件.

自然数的约数集构成的Kleene-Stone代数

利用自然数的整除理论首先研究自然数的约数集构成的K leene代数的性质,由此得到了这种K leene代数的分解定理,然后引入一种补运算使之成为一个K eene-S tone代数.

Kleene-Stone代数的分类及其表示

首先研究了 Kleene- Stone代数的由素滤子生成的同余关系的性质 ,然后在此基础上给出了 Kleene- Stone代数的分类 ,最后证明了对每个 KS- n代数 L(n) ,存在一个商代数 L(n) /～嵌入于有限的 KS- n代数Ω(n)中 .

同余可换的Stone代数

借助 Stone代数的对偶空间的性质 ,考察了 Stone代数的同余可换性 .

一类满足可补性质的双重Stone代数

该文构造了一个从布尔代数范畴到满足可补性质的双重 Stone代数范畴的函子 。

Stone表现定理与广义空间理论

Ｓｔｏｎｅ表现定理揭示了格论与拓扑空间理论之间的深刻联系，该定理表明可以从纯代数的角度出发而得到若干不同类型的拓扑空间，并可用格论的方法与技巧对拓扑空间的特性进行研究，从而得出关于拓扑学中带有普遍意义的结论。广义空间理论就是沿此方面而诞生的新学科。拓扑分子格理论则是与此相关的又一新学科。

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

双重Stone代数的O理想

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

有界Heyting代数的扩张理想和稳定理想

运用泛代数的方法和原理深入研究有界Heyting代数的理想问题.在有界Heyting代数(H,≤,→,0,1)中引入了理想I关于H的子集的扩张理想和稳定理想概念,获得了它们的若干基本性质.系统讨论了由两类特殊扩张理想构成集合的格论特征,证明了:(1)有界Heyting代数(H,≤,→,0,1)的一个给定理想I关于H的所有子集的扩张理想全体之集EI(P(H))在一定条件下构成一个分配完备格,进一步构成一个Stone格和完备Heyting代数;(2)有界Heyting代数(H,≤,→,0,1)的关于一个给定子集A■H的稳定理想全体之集S_(Id(H))(A)构成一个完备Heyting代数.最后考察了商有界Heyting代数和乘积有界Heyting代数的扩张理想性质.

完备集环上的Stone代数

得到了如下结果: ①完备集环L是Stone代数当且仅当L的每个完备素滤子仅包含在L 的一个极大滤子中; ②完备集环 L 是 Stone 代数当且仅当 L 是直积不可约 Stone 代数的直积; ③完备集环 L 是Lukasiewicz三值代数当且仅当L同构到一个幂集格.

Stone代数的理想和同余关系

分别给出了L（L是一个Stone代数）的理想I为核的最大同余关系及最小同余关系的充分必要条件，得到一个Stone代数是W-Stone代数的充分必要条件.

Stone代数次直积表示定理和Stone引理的等价性

本文证明了分配格L上的Stone引理和BirkhoffG .得到的Stone代数次直积表示定理是等价的 .因而Stone代数次直积表示定理等价于质理想定理 .

弱Stone-代数的同余三元组

目的研究弱Stone-代数同余的表示。方法构造同余三元组,并分析其性质。结果与结论一个弱Stone-代数L的任一个同余φ都可用同余三元组〈θ_1,θ_2,θ_3〉来表示,其中θ_1是布尔代数同余,θ_2,θ_3是格同余,并给出L是同余可换的充分条件。

次直不可约Quasi-Stone代数的判定

目的研究次直不可约Quasi-Stone代数的判定定理。方法利用次直不可约代数的判定条件。结果与结论一个Quasi-Stone代数是次直不可约代数当且仅当它的同余格是一个二元链或一个三元链。

弱Stone-代数的同余性质

分析弱Stone-代数的性质,利用同余格与正规理想格之间的同构介绍弱Stone-代数的同余性质的几个等价条件.

Stone代数的同余理想与Stone代数滤子

本文给出了Stone代数L的理想I＝（d]成为某个同余关系的核的充要条件，刻划了以L的同余理想I＝（d]为核的最小同余关系；引入了Stone代数滤子的概念，讨论了Stone代数滤子[d）与Stone代数的同余理想（d]之间的关系。

双Stone代数理想与双Stone代数的直积分解

引入双Ｓｔｏｎｅ代数理想的概念，利用这个概念得到双Ｓｔｏｎｅ代数是既约的条件，并且在完备的条件下给出了双Ｓｔｏｎｅ代数有既约分解的一个充要条件．

双Stone代数的理想与同余理想

在给出双Stone代数的理想的基础上,给出了双Stone代数的同余理想.