[论文解读] A new property of congruence lattices of slim, planar, semimodular lattices

Gábor Czédli, George Grätzer|arXiv (Cornell University)|Mar 7, 2021

Advanced Algebra and Logic参考文献 21被引用 9

一句话总结

本文引入了三悬垂三皇冠性质（Three-pendant Three-crown Property）作为有限分配格可表示为瘦小、平面、半模（SPS）格的同余格之新必要条件。通过多分叉扩张、π-图和灯格等工具，作者证明了任意SPS格的同余格均满足该性质，从而在分配性及先前结构约束之外，进一步推进了对这类同余格的表征研究。

ABSTRACT

The systematic study of planar semimodular lattices started in 2007 with a series of papers by G. Grätzer and E. Knapp. These lattices have connections with group theory and geometry. A planar semimodular lattice $L$ is {\it slim} if $M_3$ it is not a sublattice of $L$. In his 2016 monograph, "The Congruences of a Finite Lattice, A \emph{Proof-by-Picture Approach}", the second author asked for a characterization of congruence lattices of slim, planar, semimodular lattices. In addition to distributivity, both authors have previously found specific properties of these congruence lattices. In this paper, we present a new property, the {\it Three-pendant Three-crown Property}. The proof is based on the first author's papers: 2014 (multifork extensions), 2017 ($\mathcal C_1$-diagrams), and a recent paper (lamps), introducing the tools we need.

研究动机与目标

• 对瘦小、平面、半模（SPS）格的同余格进行表征，建立在先前研究识别出的分配性及其他结构约束基础上。
• 回应格雷策（Grätzer）2016年专著中的问题1.1，即寻求对SPS格同余格的完整表征。
• 提出并严谨证明一种新的结构性质——三悬垂三皇冠性质——该性质必须被此类同余格满足。
• 扩展已知的有限分配格可表示为SPS格同余格之必要条件的类别。

提出的方法

• 证明依赖于Czédli于2014年引入的多分叉扩张理论，用于从更简单的基格构造并分析SPS格。
• 作者使用π-图（来自Czédli，2017）来表示和操作SPS格及其同余关系的结构。
• 采用灯格概念来模拟格中光的传播，从而通过“光”是否到达特定灯泡，实现对同余关系的几何解释。
• 通过构造矩形格与补丁格，实现对同余格的序和分解，特别是利用+运算（序和）从较小格构建更大格。
• 关键技术在于证明某些有序集（如R₃）无法以保覆盖的方式嵌入同余格的 join-不可约元素中。
• 应用有限分配格的表示定理，得出灯格结构对应于所期望的同余格同构。

实验结果

研究问题

• RQ1 每个瘦小、平面、半模格的同余格是否都满足三悬垂三皇冠性质？
• RQ2 瘦小补丁格的同余格能否通过其 join-不可约元素及其覆盖关系的结构完全表征？
• RQ3 序和构造在从较小格生成更大SPS格的同余格中起什么作用？
• RQ4 灯格与光传播模型如何帮助证明同余格的结构约束？
• RQ5 三悬垂三皇冠性质是否与先前约束共同作用，足以完全表征SPS格的同余格？

主要发现

• 任何瘦小、平面、半模格的同余格均满足三悬垂三皇冠性质，这是可表示性的新必要条件。
• 主定理表明，有序集R₃（图1）无法以保覆盖方式嵌入同余格的 join-不可约元素中。
• 定理1.2 构造了一个瘦小矩形格H与一个瘦小补丁格L，使得 Con H ≅ Con L₁ × ⋯ × Con Lₙ 且 Con L ≅ (Con L₁ × ⋯ × Con Lₙ) + B₂，利用多分叉扩张与灯格构造。
• 瘦小补丁格的同余格的 join-不可约元素满足四个结构约束：每个元素至多有两个上覆盖，不同最大元素无共同下覆盖，以及三悬垂三皇冠性质。
• 建立了瘦小补丁格与同余格形式为 D₀ ˚+ B₂ 的等价性，其中 D₀ 为有限分配格。
• 灯格模型成功捕捉了格中光的传播，实现了一种几何证明技术，确保不同组件之间无交叉光照，从而保持了同余格的分解结构。