[论文解读] Algebra in superextensions of inverse semigroups

Тарас Банах, Volodymyr Gavrylkiv|arXiv (Cornell University)|Sep 6, 2011

semigroups and automata theory参考文献 11被引用 4

一句话总结

本文刻画了其超扩张——具体而言，是极大关联上族 $\lambda(X)$、滤子 $\varphi(X)$、关联上族 $N_2(X)$ 和上族 $\upsilon(X)$——为逆半群的逆半群。研究结果表明，$\lambda(X)$、$\varphi(X)$、$N_2(X)$ 和 $\upsilon(X)$ 为逆半群当且仅当 $X$ 同构于有限线性半格 $L_n$ 或二元群 $C_2$，其核心结论是通过其扩张半群对这类半群进行了完整的代数分类。

ABSTRACT

We find necessary and sufficient conditions on an (inverse) semigroup $X$ under which its semigroups of maximal linked systems $λ(X)$, filters $ϕ(X)$, linked upfamilies $N_2(X)$, and upfamilies $\upsilon(X)$ are inverse.

研究动机与目标

• 确定逆半群 $X$ 的必要且充分条件，使得其超扩张 $\lambda(X)$、$\varphi(X)$、$N_2(X)$ 和 $\upsilon(X)$ 为逆半群。
• 对所有满足滤子、关联上族、极大关联上族和上族半群为逆半群的逆半群 $X$ 进行分类。
• 通过在更广泛的逆半群与克利福德半群背景下刻画超扩张的代数结构，拓展此前关于群与半格扩张的研究结果。
• 解决当其超扩张半群为逆半群时 $X$ 的结构，特别是通过分析 $\upsilon(X)$ 和 $N_2(X)$ 中的幂等元交换性与正则性条件。

提出的方法

• 作者通过将二元运算从 $X$ 扩张到上族空间 $\upsilon(X)$，定义了通过 $\mathcal{A} * \mathcal{B} = \big\langle \bigcup_{a\in A} a * B_a : A\in\mathcal{A}, \{B_a\}_{a\in A} \subset \mathcal{B} \big\rangle$ 的半群运算。
• 他们分析了 $\upsilon(X)$ 作为紧致豪斯多夫右拓扑半群的结构，该结构包含 $\beta(X)$、$\lambda(X)$、$\varphi(X)$、$N_2(X)$ 和 $X$ 作为闭子空间。
• 本文应用了关于逆半群与克利福德半群的已知刻画——如幂等元的正则性与交换性——并研究了这些性质如何被提升至超扩张。
• 它使用了拓扑与代数技术，包括在 $\upsilon(X)$ 和 $N_2(X)$ 中识别非交换幂等元，以排除 $X$ 中存在非线性或非平凡子群的可能。
• 证明通过反证法进行，假设存在非平凡子群，并构造出不满足交换性的滤子与上族，从而违反所需的逆半群公理。
• 它利用了关于逆半群与半格的已知结果，特别是：一个逆半群是克利福德半群当且仅当对所有 $x$ 有 $xx^{-1} = x^{-1}x$，且克利福德半群是幂等元相互交换的群的并集。

实验结果

研究问题

• RQ1 对于哪些逆半群 $X$，其极大关联上族半群 $\lambda(X)$ 为逆半群？
• RQ2 在何种条件下，$X$ 上的滤子半群 $\varphi(X)$ 为逆半群？
• RQ3 对 $X$ 的何种条件可确保其关联上族半群 $N_2(X)$ 为逆半群？
• RQ4 在何种条件下，完整的上族半群 $\upsilon(X)$ 为逆半群？
• RQ5 当 $\lambda(X)$、$\varphi(X)$、$N_2(X)$ 或 $\upsilon(X)$ 中任意一个的超扩张为逆半群时，$X$ 的完整代数结构是什么？

主要发现

• 半群 $\lambda(X)$ 为逆半群当且仅当 $X$ 同构于有限线性半格 $L_n$ 或二元群 $C_2$。
• 半群 $\varphi(X)$ 为逆半群当且仅当 $X$ 同构于 $L_n$ 或 $C_2$，其证明依赖于 $\varphi(X)$ 中幂等元的交换性以及非平凡子群的缺失。
• 半群 $N_2(X)$ 为逆半群当且仅当 $X$ 同构于 $L_n$ 或 $C_2$，此结论通过证明任何非平凡子群都会导致 $N_2(X)$ 中出现非交换幂等元而得以确立。
• 半群 $\upsilon(X)$ 为逆半群当且仅当 $X$ 同构于有限线性半格 $L_n$，因为 $X$ 中任何非平凡子群都会导致 $\upsilon(X)$ 中出现非交换幂等元。
• 本文证明，若 $X$ 同构于 $L_1 \sqcup C_2 = \{0,1,-1\}$，则 $N_2(X)$ 不为逆半群，原因在于非交换幂等元 $\Delta$ 与 $\mathcal{F}$ 的存在，因此该结构被排除在分类之外。
• 该分类是完整的：唯一使得 $\lambda(X)$、$\varphi(X)$、$N_2(X)$ 或 $\upsilon(X)$ 为逆半群的逆半群 $X$ 是同构于 $L_n$ 或 $C_2$ 的那些。