[论文解读] Homomorphisms and principal congruences of bounded lattices

George Grätzer|arXiv (Cornell University)|Jul 12, 2015

Advanced Algebra and Logic参考文献 4被引用 7

一句话总结

本文通过证明每个此类映射自然地源自有界格之间 {0,1}-同态在它们的主同余格上的诱导映射，建立了有界序之间保序 {0,1}-映射的表示定理。关键贡献是一种构造性对偶：任意有界序三元组 (P, Q, ψ) 均可同构表示为 (Princ K, Princ L, φ_Hom)，其中 K、L 为有界格，φ: K → L 为 {0,1}-同态。

ABSTRACT

Two years ago, I characterized the order $\Princl L$ of principal congruences of a bounded lattice $L$ as a bounded order. If $K$ and $L$ are bounded lattices and $\gf$ is a \zo homomorphism of $K$ into~$L$, then there is a natural isotone \zo-map $\gf_{\Hom}$ from $\Princl K$ into $\Princl L$. We prove the converse: For bounded orders $P$ and $Q$ and an isotone \zo map $\gy$ of $P$ into $Q$, we represent $P$ and $Q$ as $\Princl K$ and $\Princl L$ for bounded lattices $K$ and $L$ with a \zo homomorphism $\gf$ of $K$ into $L$, so that $\gy$ is represented as $\gf_{\Hom}$.

研究动机与目标

• 建立有界格之间 {0,1}-同态 φ 所诱导的自然映射 φ_Hom 的逆命题。
• 刻画哪些有界序之间保序 {0,1}-映射可实现为有界格主同余格上的映射。
• 为任意有界序三元组 (P, Q, ψ) 提供一种构造性表示，即表示为有界格的主同余格与一个同态。
• 将 Czédli 早期基于子格的表示方法扩展至通过精细格构造得到的同态像的更广泛情形。

提出的方法

• 通过 φ_Hom(con_K(a,b)) = con_L(φ(a), φ(b)) 定义映射 φ_Hom: Princ K → Princ L，其中 a ≤ b 在 K 中。
• 证明 φ_Hom 是良定义的、保序的，并保持 0 和 1，因此构成一个保序 {0,1}-映射。
• 利用 Czédli 定理 2 关于 0-分离映射的结论，通过子格表示映射的复合。
• 将有界序 R = Top(P, Q, ψ) 构造为 P 和 Q 的不相交并集，其中 0 和 1 被识别。
• 应用扩展的 G(p,q)^Ext 构造，以确保在格表示中具有正确的同余关系。
• 通过用 4 元素的 Equi(p) 子格替代复杂子格，将每对相容性元素的格构造中的元素数量从 30 降低至 4。

实验结果

研究问题

• RQ1 每个有界序之间保序 {0,1}-映射 ψ: P → Q 是否都可表示为某些有界格 K 和 L 的主同余格上的诱导映射 φ_Hom？
• RQ2 是否存在一种构造性方法，可构建有界格 K 和 L 以及 {0,1}-同态 φ: K → L，使得 Princ K ≅ P，Princ L ≅ Q，且 φ_Hom ≅ ψ？
• RQ3 在保持所需同余关系的前提下，能否最小化表示序三元组所用格构造的规模？
• RQ4 该表示定理是否可推广至可数格与可数序，如同 Czédli 在可数情形下的早期工作所示？

主要发现

• 每个有界序之间保序 {0,1}-映射 ψ: P → Q 均可表示为某些有界格 K、L 及 {0,1}-同态 φ: K → L 的 φ_Hom。
• 该表示通过构造 K = Lat^Ext(P) 和 L = Lat^Ext(R)，其中 R = Top(P, Q, ψ)，并使用扩展的 G(p,q)^Ext 格实现。
• 通过用 4 元素的 Equi(p) 格替代复杂子格，将构造中的元素数量从 15c_P + 15c_Q + 30n_P 降低至 7c_P + 7c_Q + 4n_P。
• 映射 φ_Hom 是良定义的，并保持序结构与边界，确保通过同构有 Princ K ≅ P 和 Princ L ≅ Q。
• 该表示与 Czédli 的 0-分离子格构造兼容，使得可通过格同态复合映射。
• 在一般构造中，使用 G(p,q)^Ext 而非 G(p,q) 对于正确性至关重要，尽管在精炼版本中 G(p,q) 已足够。