摘要 Abstract
我们证明了有限半分配格(FTFSDL)的基本定理,该定理模仿了Birkhoff关于有限分配格的基本定理。我们的FTFSDL形式为:“偏序集L是有限半分配格当且仅当存在一个具有某些附加结构的集合Sha,使得L同构于由包含关系确定的Sha的容许子集;在这种情况下,Sha及其附加结构由L唯一决定。” Sha上的附加结构是从表示论中扭转对的概念的组合抽象,并且在超平面排列区域的偏序集的情况下具有几何意义。我们展示了FTFSDL如何阐明了格论中的许多构造,例如典范联合表示和商的构造,并探讨了半分配性质与其他主要类格之间的相互作用。我们的许多结果也适用于无限格。
We prove a Fundamental Theorem of Finite Semidistributive Lattices (FTFSDL), modelled on Birkhoff's Fundamental Theorem of Finite Distributive Lattices. Our FTFSDL is of the form "A poset L is a finite semidistributive lattice if and only if there exists a set Sha with some additional structure, such that L is isomorphic to the admissible subsets of Sha ordered by inclusion; in this case, Sha and its additional structure are uniquely determined by L." The additional structure on Sha is a combinatorial abstraction of the notion of torsion pairs from representation theory and has geometric meaning in the case of posets of regions of hyperplane arrangements. We show how the FTFSDL clarifies many constructions in lattice theory, such as canonical join representations and passing to quotients, and how the semidistributive property interacts with other major classes of lattices. Many of our results also apply to infinite lattices.