[论文解读] Algebra in the superextensions of semilattices

Тарас Банах, Volodymyr Gavrylkiv|arXiv (Cornell University)|Dec 11, 2010

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

一句话总结

本文研究了在半格上超扩张及其相关半群（如滤子、超滤子和上族）的代数结构。研究结果表明，当且仅当底层半格 $X$ 为有限且线性有序时，半群 $υ(X)$、$λ(X)$ 和 $φ(X)$ 才是半格。关键成果包括基于 $X$ 的结构，对 $β(X)$ 为带以及 $λ(X)$ 为交换半群的条件进行刻画。该研究将石-切赫紧化代数理论扩展至半格上更广泛的上族类。

ABSTRACT

Given a semilattice $X$ we study the algebraic properties of the semigroup $\upsilon(X)$ of upfamilies on $X$. The semigroup $\upsilon(X)$ contains the Stone-Cech extension $β(X)$, the superextension $λ(X)$, and the space of filters $ϕ(X)$ on $X$ as closed subsemigroups. We prove that $\upsilon(X)$ is a semilattice iff $λ(X)$ is a semilattice iff $ϕ(X)$ is a semilattice iff the semilattice $X$ is finite and linearly ordered. We prove that the semigroup $β(X)$ is a band if and only if $X$ has no infinite antichains, and the semigroup $λ(X)$ is commutative if and only if $X$ is a bush with finite branches.

研究动机与目标

• 分析半格 $X$ 上上族半群 $υ(X)$ 的代数性质。
• 刻画 $υ(X)$、$λ(X)$、$φ(X)$ 和 $β(X)$ 为半格、带或交换半群的条件。
• 确定 $X$ 的结构条件，以确保这些超扩张半群继承来自 $X$ 的代数性质。
• 将关于 $β(X)$ 中超滤子的已知结果扩展至 $υ(X)$ 中更广泛的上族类。

提出的方法

• 通过公式 $\mathcal{U} * \mathcal{V} = \langle \bigcup_{x\in U} x*V_x : U\in\mathcal{U}, (V_x)_{x\in U}\in\mathcal{V}^U \rangle$ 将二元运算从 $X$ 扩展至 $υ(X)$，定义上族上的半群运算。
• 定义并分析子半群：$β(X)$（超滤子）、$λ(X)$（极大关联系统/超扩张）、$φ(X)$（滤子）以及 $N_2(X)$（关联上族）。
• 应用拓扑与序理论工具：$υ(X)$ 上的紧致豪斯多夫拓扑、通过包含关系定义的偏序，以及上族作为上集的结构。
• 通过 $λ(4)$ 的图示与组合分析，证明其非线性，从而证明 $λ(X)$ 为线性当且仅当 $X$ 为有限且线性有序。
• 运用格论推理，证明 $υ(X)$、$λ(X)$ 和 $φ(X)$ 仅在 $X$ 为大小至多为 2 的线性格时才是格。
• 通过在 $X=3$ 上构造反例，证明 $λ(3)$ 与 $φ(3)$ 不是格，从而证明所需条件的最小性。

实验结果

研究问题

• RQ1 在半格 $X$ 上，上族半群 $\upsilon(X)$ 何时为半格？
• RQ2 在何种条件下，半格 $X$ 的超扩张 $\lambda(X)$ 为交换半群？
• RQ3 $\beta(X)$ 何时为带？
• RQ4 $\lambda(X)$ 的线性性与 $X$ 的结构之间有何关系？
• RQ5 对于哪些格 $X$，$\upsilon(X)$、$\lambda(X)$ 或 $\varphi(X)$ 是格？

主要发现

• 当且仅当 $X$ 为有限且线性有序的半格时，半群 $\upsilon(X)$ 才是半格。
• 当且仅当 $X$ 为有限且线性有序时，超扩张 $\lambda(X)$ 才是半格。
• 当且仅当 $X$ 为有限且线性有序时，滤子空间 $\varphi(X)$ 才是半格。
• 当且仅当 $X$ 不含无限反链时，半群 $\beta(X)$ 才是带。
• 当且仅当 $X$ 为具有有限分支的丛时，超扩张 $\lambda(X)$ 才是交换半群。
• $\upsilon(X)$、$\lambda(X)$ 和 $\varphi(X)$ 仅在 $X$ 为大小至多为 2 的线性格时才是格。