凸子格与幂格

本文研究了分配格上的幂格.利用格的相对凸子格,建立了分配格上的幂格与凸子格之间的联系,获得了分配格上的幂格的刻划.     

分配格上的全序幂格

研究了分配格上的幂格的偏序关系,给出了分配格上的幂格是链格的充要条件.     

分配格中模糊理想诱导的模糊幂格

在模糊幂格讨论基础上,给出了由分配格中模糊理想诱导的两种模糊幂格.     

格的凸子格格与幂格

研究格的凸子格的性质,建立格的非空凸子格组成的幂格与幂格的联系,证明在同构意义下,分配格的幂格都是它的非空凸子格组成的幂格的子格。     

幂格的同余关系

研究分配格的幂格的同余关系,给出幂格的同余关系格的一些重要性质,并得到幂格的一个同余类和同余关系格的两个交半格。     

分配格中理想诱导的幂格

本文在文 [1 ]的基础上 ,给出由分配格中理想诱导的两种幂格 .     

环上的模糊理想幂格及其强截集诱导的格

给出了环上模糊理想幂格的概念,得到相关性质。进而由环上模糊理想强截集诱导出格,讨论了它不是分配格,但为模格。同时,将环上升为主理想环,得到了模糊理想乘积的强截集等于强截集的乘积,且都为环的理想。最后,讨论了Boolean环的模糊子集为模糊理想与其伴随构成交半格的关系。     

幂格与商格的关系

该文在文［1］中幂格概念的基础上,得到了幂格的一个充要条件,给出了正则幂格、相对幂格的概念,并讨论了商格与正则幂格、相对幂格的关系.〖HT5”H〗关键词:〖HT5”SS〗格;幂格;商格;正则幂格;相对幂格.     

模糊幂格

本文研究了格向其模糊幂集上提升的问题.利用模糊集理论,引入了模糊幂格的概念,获得了模糊幂格及其模糊理想的若干基本性质,推广了格的结果.     

幂格的理想与素理想

研究了幂格的理想和素理想,建立了格的理想与格上幂格的理想的一种联系,获得了格的理想(素理想)与它的商格的理想(素理想)之间的关系。     

分配格的滤子格是空间式Frame的新证明

在分配格中引入了次极大滤子的概念,并以此给出了分配格的滤子格是空间式frame的一种新证明,然后研究了次极大滤子在Heyting代数中的一些具体性质。     

Z-半连续格

作为连续格和半连续格的公共推广,引入了广义理想子系统Z、Z-半连续格及强Z-连续格的概念,讨论了它们的基本性质和Z-半连续格的函数空间的结构,给出了强Z-连续格到方体的嵌入,证明了当子系统Z满足一定条件时,Z-半连续格范畴SCLZ是笛卡儿闭的。     

格上的T-幂等矩阵

利用完备的分配格L上三角模定义L上的矩阵运算，给出这些运算的一些基本性质，并且讨论L上的T-幂等矩阵。     

广义半Smooth格

引入了广义半Smooth格和广义半Smooth代数格的概念,讨论了它们的一些基本性质,证明了完备格L是广义完全分配格当且仅当L是拟连续的广义半Smooth格。     

预线性与对合非结合剩余格

非结合剩余格是非结合格值逻辑系统的代数抽象,本文研究几类特殊非结合剩余格的代数性质。证明了满足预线性条件的非结合剩余格必是分配格,并给出预线性非结合剩余格的充分必要条件。同时,引入对合和强对合非结合剩余格的概念,研究了它们的基本性质,并分别给出对合和强对合非结合剩余格的等价条件。最后,通过反例说明强对合预线性非结合剩余格不一定是蕴涵格。     

Complete Surjections and Complete Epimorphisms over Completely Distributive Lattices

Generators and lattice properties of the poset of complete homomorphisic images of a completely distributive lattice are exploited via the localic methods. Some intrinsic and extrinsic conditions about this poset to be a completely distributive lattice are given. It is shown that the category of completely distributive lattices is co-well-powered,and complete epimorphisms on completely distributive lattice are not necessary to be surjections. Finally, some conditions about complete epimorphisms to be surjections are given.     

Finite Intervals in the Lattice of Topologies

We discuss the question whether every finite interval in the lattice of all topologies on some set is isomorphic to an interval in the lattice of all topologies on a finite set – or, equivalently, whether the finite intervals in lattices of topologies are, up to isomorphism, exactly the duals of finite intervals in lattices of quasiorders. The answer to this question is in the affirmative at least for finite atomistic lattices. Applying recent results about intervals in lattices of quasiorders, we see that, for example, the five-element modular but non-distributive lattice cannot be an interval in the lattice of topologies. We show that a finite lattice whose greatest element is the join of two atoms is an interval of T ₀-topologies iff it is the four-element Boolean lattice or the five-element non-modular lattice. But only the first of these two selfdual lattices is an interval of orders because order intervals are known to be dually locally distributive.