All Finite Distributive Lattices Occur as Intervals Between Hausdorff Topologies

It is shown that a finite lattice L is isomorphic to the interval betweentwo Hausdorff topologies on some set if and only if L is distributive. Thecorresponding results had previously been shown in ZFC for intervals between T₁ topologies and, assuming the existence of infinitely manymeasurable cardinals, for intervals between T₃ topologies.     

Embedding Ordered Sets into Distributive Lattices

This paper investigates the class of ordered sets that are embeddable into a distributive lattice in such a way that all existing finite meets and joins are preserved. The main result is that the following decision problem is NP-complete: Given a finite ordered set, is it embeddable into a distributive lattice with preservation of existing meets and joins? The NP-hardness of the problem is proved by polynomial reduction of the classical 3SAT decision problem into it, and the NP-completeness by presenting a suitable NP-algorithm.     

Computability of Distributive Lattices

The class of (not necessarily distributive) countable lattices is HKSS-universal, and it is also known that the class of countable linear orders is not universal with respect to degree spectra neither to computable categoricity. We investigate the intermediate class of distributive lattices and construct a distributive lattice with degree spectrum {d: d ≠ 0}. It is not known whether a linear order with this property exists. We show that there is a computably categorical distributive lattice that is not relatively Δ₂⁰-categorical. It is well known that no linear order can have this property. The question of the universality of countable distributive lattices remains open.     

分配格的分式扩张

首先借助整数扩充为有理数的办法构作一个分配格对它的滤子的分式扩张,然后用泛映射性质来刻画由任意分配格所构作的分式扩张,最后讨论了这种扩张的理想结构。     

A Note of Regularity on Completely Distributive Lattices

ＡＮｏｔｅｏｆＲｅｇｕｌａｒｉｔｙｏｎＣｏｍｐｌｅｔｅｌｙＤｉｓｔｒｉｂｕｔｉｖｅＬａｔｔｉｃｅｓ￥ＣｈｅｎＹｉｘｉａｎｇ（ＸｕｚｈｏｕＴｅａｃｈｅｒｓＣｏｏｅｇｅ，２２１００９）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉｓｎｏｔｅ，ｔｈｅａｕｔｈｏｒｇｉｖｅｓｓ...     

Homogeneous Modular Lattices are Distributive

We prove the claim in the title based on failure of amalgamation for classes of non-distributive modular lattices.     

分配格与模格的另一二条件等价定义

针对分配格与模格的格等式定义问题,得知了二条件是定义分配格与模格的最少条件,并进一步证明了Sholander's basis是定义分配格的最短最少变量格等式,最后又从分配格和模格的基本定义出发给出了新的分配格的二条件和三条件等价定义等式及模格的二条件与三条件等价定义等式.     

Pseudo-Complementation on Almost Distributive Lattices

The concept of a pseudo-complementation * on an almost distributive lattice (ADL) with 0 is introduced and it is proved that it is equationally definable. A one-to-one correspondence between the pseudo-complementations on an ADL L with 0 and maximal elements of L is obtained. It is also proved that L* = {a*|a L} is a Boolean algebra which is independent (upto isomorphism) of the pseudo-complementation * on L.AMS Subject Classification (1991): 06D99 06D15     

Commuting Polynomial Operations of Distributive Lattices

We describe which pairs of distributive lattice polynomial operations commute.     

分配格的一个内部刻画

给出分配格的一个内部刻画.     

Involutive Residuated Lattices Based on Modular and Distributive Lattices

An involutive residuated lattice (IRL) is a lattice-ordered monoid possessing residual operations and a dualizing element. We show that a large class of self-dual lattices may be endowed with an IRL structure, and give examples of lattices which fail to admit IRLs with natural algebraic conditions. A classification of all IRLs based on the modular lattices M _n is provided.     

Topological Representations of Distributive Hypercontinuous Lattices

The concept of locally strong compactness on domains is generalized to general topological spaces. It is proved that for each distributive hypercontinuous lattice L, the space SpecL of nonunit prime elements endowed with the hull-kernel topology is locally strongly compact, and for each locally strongly compact space X, the complete lattice of all open sets O（X） is distributive hypercontinuous. For the case of distributive hyperalgebraic lattices, the similar result is given. For a sober space X, it is shown that there is an order reversing isomorphism between the set of upper-open filters of the lattice O（X） of open subsets of X and the set of strongly compact saturated subsets of X, which is analogous to the well-known Hofmann-Mislove Theorem.     

分配伪补格的主理想

本文给出了分配伪补格 ( L;∧ ,∨ ,* ,0 ,1 )中的主理想 I=( d]成为同余理想的充分必要条件 .当 L是局部有限时 (即 d∈ S( L) ,Fd={x|x* * =d}有限 ) ,对骨架 S( L)中的每个元素 d,我们找到了以 I=( d]为核心的最小同余关系 ,利用以上结果我们得到一个 Stone代数是布尔代数的一些等价条件 .     

Quasiorders and Sublattices of Distributive Lattices

We study the lattice of all (0,1)-sublattices of a distributive lattice L, using certain compatible quasiorders on the Priestley space of L as our principal tool. Special emphasis is put on the case of finite L, where epic sublattices, Frattini sublattices and covers are considered in some detail. We hope to demonstrate that quasiorders may serve as a concept suitable to unify the many different representations of sublattices of L which are found in the literature.     

Monomial Ideals Arising From Distributive Lattices

The free resolution and the Alexander dual of squarefree monomial ideals associated with certain subsets of distributive lattices are studied.     

Distributive Lattices with a Negation Operator

In this note we introduce and study algebras (L, V, Λ, ?, 0,1) of type (2, 2,1,1,1) such that (L, V, ?, 0,1) is a bounded distributive lattice and ? is an operator that satisfies the condition ? (a V b) = a ? b and ? 0 = 1. We develop the topological duality between these algebras and Priestley spaces with a relation. In addition, we characterize the congruences and the subalgebras of such an algebra. As an application, we will determine the Priestley spaces of quasi-Stone algebras.     

分配格上矩阵的特征向量

主要讨论分配格上的矩阵A的标准特征向量问题.从基本概念出发,给出了全部标准特征向量的计算方法。