[论文解读] Algebra in superextensions of groups, I: zeros and commutativity

Тарас Банах, Volodymyr Gavrylkiv+1 more|arXiv (Cornell University)|Feb 13, 2008

semigroups and automata theory参考文献 5被引用 15

一句话总结

本文研究了群 $X$ 的超扩张 $λ(X)$ 的代数结构，其为扩展群运算的右拓扑半群。文中将右零元刻画为不变的极大关联系统，并证明 $λ(X)$ 包含右零元当且仅当 $X$ 的所有元素阶均为奇数；其为交换半群当且仅当 $|X| \leq 4$，且包含零元当且仅当 $|X| \leq 5$ 且阶为奇数。

ABSTRACT

Given a group $X$ we study the algebraic structure of its superextension $\lambda(X)$. This is a right-topological semigroup consisting of all maximal linked systems on $X$ endowed with the operation $$\mathcal A\circ\mathcal B=\{C\subset X:\{x\in X:x^{-1}C\in\mathcal B\}\in\mathcal A\}$$ that extends the group operation of $X$. We characterize right zeros of $\lambda(X)$ as invariant maximal linked systems on $X$ and prove that $\lambda(X)$ has a right zero if and only if each element of $X$ has odd order. On the other hand, the semigroup $\lambda(X)$ contains a left zero if and only if it contains a zero if and only if $X$ has odd order $|X|\le5$. The semigroup $\lambda(X)$ is commutative if and only if $|X|\le4$. We finish the paper with a complete description of the algebraic structure of the semigroups $\lambda(X)$ for all groups $X$ of cardinality $|X|\le5$.

研究动机与目标

• 分析超扩张 $λ(X)$ 的代数性质，其为基于群 $X$ 上极大关联系统的右拓扑半群。
• 确定 $λ(X)$ 包含右零元、左零元或为交换半群的条件。
• 对所有满足 $|X| \leq 5$ 的群 $X$，完全刻画 $λ(X)$ 的代数结构。
• 阐明群论性质（如元素阶、群的大小）与 $λ(X)$ 中半群结构之间的关系。

提出的方法

• 将 $λ(X)$ 定义为 $X$ 上所有极大关联系统的集合，并赋予一个扩展群运算的二元运算。
• 使用运算 $\mathcal{A} \circ \mathcal{B} = \{ C \subset X : \{x \in X : x^{-1}C \in \mathcal{B}\} \in \mathcal{A} \}$ 定义半群结构。
• 将 $λ(X)$ 中的右零元刻画为不变的极大关联系统，即在群平移下封闭的极大关联系统。
• 利用极大关联系统与不变性的性质，证明 $λ(X)$ 包含右零元当且仅当 $X$ 的每个元素阶均为奇数。
• 建立 $λ(X)$ 包含左零元当且仅当其包含零元的结论，且该情况精确发生于 $|X| \leq 5$ 且 $|X|$ 为奇数时。
• 对所有满足 $|X| \leq 5$ 的群，进行 $λ(X)$ 的完整分类，逐案分析其半群结构。

实验结果

研究问题

• RQ1 群 $X$ 的超扩张 $λ(X)$ 在何种情况下包含右零元？此类元素有何特征？
• RQ2 在 $λ(X)$ 中存在零元与 $X$ 中元素阶之间存在何种关系？
• RQ3 对于哪些群 $X$，半群 $λ(X)$ 是交换的？
• RQ4 在何种条件下 $λ(X)$ 包含左零元？其与零元的存在性有何关联？
• RQ5 对所有满足 $|X| \leq 5$ 的群，$λ(X)$ 的完整代数结构是什么？

主要发现

• 半群 $λ(X)$ 包含右零元当且仅当 $X$ 的每个元素阶均为奇数。
• 半群 $λ(X)$ 包含左零元当且仅当其包含零元，且该情况精确发生于 $|X| \leq 5$ 且 $|X|$ 为奇数时。
• 半群 $λ(X)$ 为交换半群当且仅当 $|X| \leq 4$。
• 对所有满足 $|X| \leq 5$ 的群 $X$，本文提供了 $λ(X)$ 代数结构的完整描述，包括零元的存在性与性质，以及交换性。
• $λ(X)$ 中的右零元可刻画为不变的极大关联系统，即在 $X$ 的元素左平移下封闭的极大关联系统。
• $|X| \leq 5$ 时 $λ(X)$ 的结构已完全分类，其半群性质已根据群的阶与元素阶明确确定。