[论文解读] A characterization of well-founded algebraic lattices

Ilham Chakir, Maurice Pouzet|ArXiv.org|Dec 12, 2008

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

一句话总结

本文通过识别其紧致元素中禁止的并-子半格，对良基代数格进行了刻画。证明了代数格良基当且仅当其紧致元素的并-半格是良基的，且不包含 $[\rho]^{<\rho}$ 或 $곋{\rho^*}$ 的拷贝，关键推论涉及模格和良拟序情形。

ABSTRACT

We characterize well-founded algebraic lattices by means of forbidden subsemilattices of the join-semilattice made of their compact elements. More specifically, we show that an algebraic lattice $L$ is well-founded if and only if $K(L)$, the join-semilattice of compact elements of $L$, is well-founded and contains neither $[ω]^{

研究动机与目标

• 通过其紧致元素的结构约束，对良基代数格进行刻画。
• 识别最小障碍——具体而言，禁止的并-子半格——这些障碍会阻止代数格成为良基的。
• 在模格和良拟序设置下，建立良基性的等价条件。
• 阐明无限独立集和反链在决定并-半格中理想的良基性中的作用。
• 通过理想构造，将良拟序偏序集的结果推广到格论设置。

提出的方法

• 使用代数格与并-半格之间的对偶性，通过理想构造 $J(P)$，其中 $P$ 是紧致元素的并-半格。
• 将良基性（无 $\rho^*$-链）的概念应用于紧致元素和格本身。
• 采用禁止子结构刻画：证明 $L$ 良基当且仅当 $K(L)$ 避免作为并-子半格的 $[\rho]^{<\rho}$ 和 $곋{\rho^*}$。
• 利用已知的独立集和嵌入结果：$K(L)$ 中的无限独立集对应于 $[\rho]^{<\rho}$ 的拷贝。
• 利用将 $곋{\rho^*}$ 嵌入 $I_{<\rho}(Q)$ 的事实（$Q$ 为良基偏序集），推导出必要条件。
• 应用拉姆齐理论论证和拓扑分离性，分析 $\rho$-幂集和 $\rho^{<\rho}$ 的嵌入。

实验结果

研究问题

• RQ1 代数格的紧致元素的哪些并-子半格必须不存在，才能使该格是良基的？
• RQ2 紧致元素中的无限独立集如何与格的良基性相关？
• RQ3 在何种条件下，对于偏序集 $Q$，理想格 $J(I_{<\rho}(Q))$ 是良基的？
• RQ4 $K(L)$ 的良拟序性与 $L$ 的良基性之间有何关系？
• RQ5 能否仅通过 $P$ 的结构性质来刻画一个并-半格 $P$ 的 $J(P)$ 的良基性？

主要发现

• 代数格 $L$ 是良基的，当且仅当其紧致元素的并-半格 $K(L)$ 是良基的，且不包含与 $[\rho]^{<\rho}$ 或 $곋{\rho^*}$ 同构的并-子半格。
• 对于模代数格，良基性等价于 $K(L)$ 是良基的，且不包含无限独立集。
• 若 $K(L)$ 嵌入为 $I_{<\rho}(Q)$ 的并-子半格（$Q$ 为良基偏序集），则 $L$ 是良基的当且仅当 $K(L)$ 是良拟序的。
• $K(L)$ 中存在 $\rho^{<\rho}$ 的嵌入，意味着 $J(K(L))$ 不是良基的，反之亦然。
• $K(L)$ 的良拟序性蕴含 $J(K(L)) = L$ 的良基性，且当 $K(L)$ 嵌入到 $I_{<\rho}(Q)$ 时，该条件既是必要也是充分的。
• $ $ 不存在作为并-子半格嵌入到 $[\rho]^{<\rho}$ 或任何良基偏序集 $Q$ 的 $I_{<\rho}(Q)$ 中，这是关键的结构障碍。