格上的幂半格与幂格

研究了格上的幂半格及其性质,建立了格上的幂半格与幂格的关系。     

不可分的正定幺模Hermite型的构作

本文给出了构作Z[m^1/2i]上不可分的正定幺模n秩Hermite格当m?3(mod4)时的方法.对任何自然数n,除了n=2,3,4,5(n=2,3)的例外情形,证明了存在Gauss整环Z[i](整环Z[2^1/2i])上不可分的正定幺模n秩正规Hermi-te格并给出它们的明显结构.又对任何n=4k(n=2k)构作了Z[i][(Z2^1/2i])上不可分的正定幺模n秩偶Hermite格.     

点式拟一致分子格中的拓扑

分子格Ｌ上的一个点式拟一致结构可以诱导出Ｌ上的一个拓扑和一个余拓扑（）。本文证明了下面结论：（１）在拓扑分子格（Ｌ，＊（））中，每个分子皆有一个由（）一开元组成的远域基；（２）在拓扑空间（Ｌ，（））（这里Ｌ是Ｆｕｚｚｙ格）中，每个分子皆有一个由（）一开元组成的＊远域基；（３）若（Ｌ，）是点式一致Ｆｕｚｚｙ格，则（）＝（）。     

虚二次域上不可分解的正定Hermite型

给出构作虚二次域Q( √-m)的整数环R_m 上的不可分解的正定Hermite型的方法 .对任意自然数n≥ 2 (n≥ 1 3或奇数n≥ 3)和不含平方因子的m =1 2k +t,k≥ 1且t∈ {1 ,7}(k≥ 1且t=2或k≥ 0且t∈ {5 ,1 0 ,1 1 }) ,存在环R_m 上n秩不可分解的正定整Hermite型 ,其判别式为 2 ,并给出它们的明显结构 .对于判别式不等于2的情况也做了相应的讨论 .     

真蕴涵格与优蕴涵格

研究蕴涵格的性质及其结构。借助数学软件给出8阶及以下蕴涵格的完全分类,说明了真蕴涵格与优蕴涵格的存在性,并纠正了多个文献中关于蕴涵格的一些错误结论。同时,引入局部有限蕴涵格和次结合蕴涵格的概念,证明了局部有限蕴涵格是优蕴涵格。     

EI代数

为了更好地解决模糊概念的表示问题,文[1]引入了AFS代数和AFS结构,为了讨论AFS代的拓扑性质,本文在[1]的基础上,进一步了讨论了EI代数的性质与结构,并对其子代数EM－{φ}的性质和结构进行了讨论。     

格上TL理想的性质及生成

本文利用完备Ｂｒｏｕｗｅｒ格Ｌ及Ｌ上的无穷Ｖ－分配ｔ－模定义分配格Ｍ上的ＴＬ理想，讨论一些基本性质，并给出由Ｌ子集生成的ＴＬ理想的计算公式．     

ZC-连续格

对于广义理想子集系统Z,引入ZC-连续格和ZC-代数格的概念,讨论它们的一些性质。特别地,证明当ZC-连续格P中的关系Z满足插入性质时,P可嵌入到方体中。     

An Analogue of Distributivity for Ungraded Lattices

In this paper, we study lattices that posess both the properties of being extremal (in the sense of Markowsky) and of being left modular (in the sense of Blass and Sagan). We call such lattices trim and show that they posess some additional appealing properties, analogous to those of a distributive lattice. For example, trimness is preserved under taking intervals and suitable sublattices. Trim lattices satisfy a weakened form of modularity. The order complex of a trim lattice is contractible or homotopic to a sphere; the latter holds exactly if the maximum element of the lattice is a join of atoms. Any distributive lattice is trim, but trim lattices need not be graded. The main example of ungraded trim lattices are the Tamari lattices and generalizations of them. We show that the Cambrian lattices in types A and B defined by Reading are trim; we conjecture that all Cambrian lattices are trim.     

模糊幂格

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

Interpreting arithmetics in the ideal lattice of a free vector lattice ℱ<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

A vector space V over a real field R is a lattice under some partial order, which is referred to as a vector lattice if u + (v ∨ w) = (u + v) ∨ (u + w) and u + (v ∧ w) = (u + v) ∧ (u + w) for all u, v, w ∈ V. It is proved that a model N of positive integers with addition and multiplications is relatively elementarily interpreted in the ideal lattice ℱ _n of a free vector lattice ℱ _n on a set of n generators. This, in view of the fact that an elementary theory for N is hereditarily undecidable, implies that an elementary theory for ℱ _n is also hereditarily undecidable. __________ Translated from Algebra i Logika, Vol. 47, No. 1, pp. 71–82, January–February, 2008.     

幂格与幂集格的关系

由幂格的定义知 ,幂格与幂集格是不同的 ,然而它们却有一定的联系 .本文在幂格概念的基础上 ,进一步地讨论幂格和幂集格在一定条件下的联系 .     

分配格中理想诱导的幂格

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

幂格的同态与同余关系

本文在文[1]已引入幂格同态概念的基础上，进一步引入幂格同余关系的概念，并得到它们的一些相关性质．以及幂格同态与幂格同余关系的对应关系．     

模糊幂格的素理想与素对偶理想

讨论格与其模糊幂格的理想,对偶理想的关系,以及格与其模糊幂格的素理想,素对偶的关系.     

幂格与商格的关系

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

Notes on sectionally complemented lattices. IV How far does the Atom Lemma go?

There are two results in the literature that prove that the ideal lattice of a finite, sectionally complemented, chopped lattice is again sectionally complemented. The first is in the 1962 paper of G. Grätzer and E. T. Schmidt, where the ideal lattice is viewed as a closure space to prove that it is sectionally complemented; we call the sectional complement constructed then the 1960 sectional complement. The second is the Atom Lemma from a 1999 paper of the same authors that states that if a finite, sectionally complemented, chopped lattice is made up of two lattices overlapping in an atom and a zero, then the ideal lattice is sectionally complemented. In this paper, we show that the method of proving the Atom Lemma also applies to the 1962 result. In fact, we get a stronger statement, in that we get many sectional complements and they are rather close to the componentwise sectional complement.