[论文解读] Congruences of fork extensions of lattices

George Grätzer|arXiv (Cornell University)|Jul 31, 2013

Advanced Algebra and Logic参考文献 8被引用 13

一句话总结

本文研究了瘦小、平面、半模态格的叉积扩张中的同余关系，引入了 $L[S]$ 作为构造方法，该方法要么保持 $L$ 的所有同余关系，要么恰好增加一个全新的 join-不可约同余关系 $\bgg(S)$。关键结果是 $L[S]$ 满足同余扩张性质，且要么保持同余关系，要么仅引入唯一一个新的同余关系，该同余关系已得到完整刻画。

ABSTRACT

For a slim, planar, semimodular lattice $L$ and covering square $S$, G. Cz\'edli and E.\,T. Schmidt introduced the fork extension $L[S]$. We are going to investigate the congruences of $L[S]$. We prove that a fork extension has the Congruence Extension Property: every congruence of the lattice $L$ extends to $L[S]$. We prove that either $L[S]$ is a congruence-preserving extension of $L$ or it has exactly one new join-irreducible congruence $\bgg(S)$. We are going to examine in detail this congruence.

研究动机与目标

• 分析瘦小、平面、半模态格 $L$ 的叉积扩张 $L[S]$ 中的同余关系结构。
• 确定 $L$ 的同余关系是否能扩展到 $L[S]$，以及在何种条件下可以扩展。
• 对 $L[S]$ 中超出 $L$ 的同余关系的可能类型进行分类。
• 刻画当同余关系保持失败时可能在 $L[S]$ 中出现的唯一 join-不可约同余关系 $\bgg(S)$。

提出的方法

• 利用 Czédli 和 Schmidt 定义的瘦小、平面、半模态格 $L$ 中覆盖正方形 $S$ 的叉积扩张 $L[S]$ 的构造方法。
• 通过 join-不可约元素的性质以及 $L[S]$ 中 join-不可约同余关系的特性，分析格同余结构。
• 通过证明 $L$ 的每个同余关系都能扩展到 $L[S]$，确立同余扩张性质。
• 通过覆盖正方形和 join-不可约性的格论论证，证明 $L[S]$ 要么是 $L$ 的同余保持扩张，要么恰好引入一个全新的 join-不可约同余关系 $\bgg(S)$。
• 详细研究 $\bgg(S)$ 的结构，以确定其在 $L[S]$ 的同余格中的作用与唯一性。

实验结果

研究问题

• RQ1 瘦小、平面、半模态格 $L$ 的每个同余关系是否都能扩展到其叉积扩张 $L[S]$？
• RQ2 在何种条件下 $L[S]$ 保持 $L$ 的所有同余关系？
• RQ3 在 $L[S]$ 中引入的任何新同余关系的性质与结构是什么？
• RQ4 当同余关系保持失败时，$L[S]$ 中是否存在唯一的新的 join-不可约同余关系，其特征如何？

主要发现

• 叉积扩张 $L[S]$ 满足同余扩张性质：$L$ 的每个同余关系都能扩展到 $L[S]$。
• 要么 $L[S]$ 是 $L$ 的同余保持扩张，要么它恰好引入一个全新的 join-不可约同余关系，记为 $\bgg(S)$。
• $\bgg(S)$ 是在同余关系保持失败时 $L[S]$ 中唯一的新的 join-不可约同余关系，且本文已对其进行了完整刻画。
• $\bgg(S)$ 的存在性与唯一性通过覆盖正方形和 $L[S]$ 中 join-不可约元素的格论分析得以确立。
• 本文对 $L[S]$ 中的同余关系提供了完整分类，表明同余保持的唯一可能偏差是增加了 $\bgg(S)$。