[论文解读] Right-topological semigroup operations on inclusion hyperspaces

Volodymyr Gavrylkiv|arXiv (Cornell University)|Feb 13, 2008

Fuzzy and Soft Set Theory参考文献 4被引用 19

一句话总结

本文将离散半群运算扩展到离散半群 $X$ 上包含超空间的集合 $G(X)$ 上的右拓扑半群运算，证明 $G(X)$ 成为一个紧致的豪斯多夫右拓扑半群，且 $\beta X$ 是其闭子半群。关键贡献在于对 $n \leq 3$ 的 $G(\mathbb{Z}_n)$ 的结构分析，包括极小理想、中心和横截半群的识别，其中 $G(\mathbb{Z}_2)$ 和 $G(\mathbb{Z}_3)$ 通过凯莱表和轨道分解得到完整描述。

ABSTRACT

We show that for any discrete semigroup $X$ the semigroup operation can be extended to a right-topological semigroup operation on the space $G(X)$ of inclusion hyperspaces on $X$. We detect some important subsemigroups of $G(X)$, study the minimal ideal, the (topological) center, left cancelable elements of $G(X)$, and describe the structure of the semigroups $G(\IZ_n)$ for small numbers $n$.

研究动机与目标

• 将离散半群 $X$ 上的半群运算扩展到 $X$ 上包含超空间的集合 $G(X)$ 上的右拓扑半群结构。
• 研究 $G(X)$ 的代数与拓扑性质，包括其极小理想、拓扑中心和左可消去元。
• 通过分析轨道、横截半群和可分解性，表征有限群 $H$（特别是小 $n$ 的 $\mathbb{Z}_n$）的 $G(H)$ 的结构。
• 证明 $G(X)$ 包含重要子半群如 $\beta X$、$\lambda X$、$N_k(X)$ 和 $\mathrm{Fil}(X)$，并探讨其与 $G(X)$ 的格结构之间的相互作用。

提出的方法

• 将 $G(X)$ 定义为离散集 $X$ 上包含超空间的集合，配备由子基本开集 $U^+$ 和 $U^-$（$U \subset X$ 为开集）生成的拓扑。
• 通过左和右平移的连续扩张，将 $X$ 上的半群运算 $*$ 扩展到 $G(X)$，确保乘法运算的右连续性。
• 利用 $G(X)$ 的格结构——包含交运算 $\wedge$ 和并运算 $\vee$——分析幂等元、零元和理想等代数性质。
• 当 $G(H)$ 可分解时，为 $G(H)$ 构造横截半群 $T(H)$，利用商映射 $\pi: G(H) \to G(H)/H$ 的截面，并通过半群同态将 $G(H)$ 与 $T(H) \times H$ 关联。
• 应用结构理论显式计算 $G(\mathbb{Z}_2)$ 和 $G(\mathbb{Z}_3)$，分别列出其 4 个和 18 个元素，并在群作用下分解为轨道。
• 使用凯莱表描述横截半群中的乘法，特别是 $G(\mathbb{Z}_3)$ 的情况，并识别关键元素如单位元、右零元和幂等元。

实验结果

研究问题

• RQ1 能否将离散半群 $X$ 上的半群运算扩展为包含超空间的集合 $G(X)$ 上的右拓扑半群运算？
• RQ2 在 $G(X)$ 中，极小理想、拓扑中心和左可消去元是什么？它们如何与 $X$ 的格结构和群结构相关联？
• RQ3 对于哪些有限群 $H$，半群 $G(H)$ 是可分解的？其横截半群的结构如何？
• RQ4 在群作用下，$\mathbb{Z}_2$ 和 $\mathbb{Z}_3$ 的包含超空间如何分解为轨道？其代数性质是什么？
• RQ5 对于 $n \leq 3$，$G(\mathbb{Z}_n)$ 的完整代数与拓扑结构是什么？包括单位元、幂等元和右零元的识别。

主要发现

• 任何离散半群 $X$ 上的半群运算唯一地扩展为 $G(X)$ 上的右拓扑半群运算，使得 $G(X)$ 成为一个紧致的豪斯多夫右拓扑半群，且 $\beta X$ 是其闭子半群。
• 空间 $G(\mathbb{Z}_2)$ 恰好有四个包含超空间：$e$、$a$、$e \wedge a$ 和 $e \vee a$，构成一个具有两个右零元和一个单位元的横截半群。
• 空间 $G(\mathbb{Z}_3)$ 包含 18 个包含超空间，在 $\mathbb{Z}_3$-作用下分解为 8 个轨道，其中存在三个关于平移不变的右零元：$e \wedge a \wedge a^{-1}$、$e \vee a \vee a^{-1}$ 和 $(e \vee a) \wedge (e \vee a^{-1}) \wedge (a \vee a^{-1})$。
• 横截半群 $T(\mathbb{Z}_3)$ 同构于 $G(\mathbb{Z}_3)/\mathbb{Z}_3$，其结构通过一个包含 7 个元素的线性序子半群完全描述，其凯莱表列出了全部 49 个乘积。
• 半群 $G(\mathbb{Z}_3)$ 包含三个幂等元：$e$、$e \vee (a \wedge a^{-1})$ 和 $e \wedge (a \vee a^{-1})$，其中 $e$ 作为乘法单位元。
• 对于 $n \leq 3$，半群 $G(\mathbb{Z}_n)$ 是可分解的，但对于 $n = 5$ 则不可分解，这是通过 $\lambda(\mathbb{Z}_5)$ 的不可分解性确立的，表明在 $n = 5$ 处存在结构性相变。