[论文解读] Notes on planar semimodular lattices. I. Construction

George Grätzer, Edward Knapp|arXiv (Cornell University)|May 22, 2007

Advanced Numerical Analysis Techniques参考文献 4被引用 40

一句话总结

本文提出一种三步构造方法，用于生成所有有限平面半模格：首先，从两个有限链的直积中移除左、右角（可能为空）以形成一个平面分配格；其次，应用保覆盖的并-同态；第三，向4-格的内部添加双重不可约元素。关键贡献在于通过上邻接4-格对对平面半模格进行表征，并提出一种构造性扩展定理，通过一系列单步扩展将任一此类格简化为一个分配格。

ABSTRACT

We construct all planar semimodular lattices in three simple steps from the direct product of two chains.

研究动机与目标

• 提供所有有限平面半模格的完整、构造性表征。
• 通过引入系统化的构造过程，解决平面半模格与平面分配格之间缺乏明显联系的问题。
• 建立一个从两个链的直积出发生成所有此类格的框架，方法包括角部移除、同态映射和格子扩展。
• 形式化上邻接4-格在决定半模性及实现格扩展中的作用。

提出的方法

• 通过从两个有限链的直积中移除一个左角和一个右角（可能为空）来构造平面分配格。
• 对分配格应用保覆盖的并-同态，以生成平面半模格。
• 向4-格的内部引入双重不可约元素，以扩展格，同时保持半模性。
• 利用上邻接4-格对（共享同一单位且具有共同上覆盖）的概念来引导扩展过程。
• 定义一种单步扩展过程，该过程可减少上邻接对的数量，从而实现从分配基底出发的迭代重构。
• 通过结构和序理论论证，证明所得格是平面的、瘦的且半模的。

实验结果

研究问题

• RQ1 如何从两个链的直积系统地构造出所有有限平面半模格？
• RQ2 在4-格中添加元素后，何种结构条件可确保平面格保持半模性？
• RQ3 上邻接4-格如何影响半模性性质以及格扩展的可能性？
• RQ4 保覆盖的并-同态在连接分配格与半模格中起什么作用？
• RQ5 每个平面半模格是否都能通过一系列单步扩展还原为一个平面分配格？

主要发现

• 所有有限平面半模格均可通过三步完成构造：从两链直积中移除角部，应用保覆盖的并-同态，以及对4-格内部进行扩展。
• 平面半模格是4-格，且当且仅当任意两个共享同一零元的格子也共享同一单位时，该格为半模格。
• 在每次单步扩展中，上邻接4-格对的数量严格减少，从而确保在有限步内终止。
• 该扩展过程是可逆的：每个平面半模格均可作为某个平面分配格经保覆盖的并-同态映射的像而得到。
• 扩展序列的最终格为分配格，因其不包含任何上邻接4-格对且为瘦格。
• 该构造在所有步骤中均保持平面性和半模性，已通过结构和序理论不变量证明。