[论文解读] Algebra in superextension of groups, II: cancelativity and centers

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

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

一句话总结

本文研究了可数群和有限群 X 的超扩张 λ(X) 的代数结构，重点关注消去性与中心。研究证明，对于可数无限群，λ(X) 的代数中心恰好等于 X 的中心；而对于大小为 3 到 5 的有限群，λ(X) 的代数中心严格包含 X 的中心，揭示了有限与无限情形之间的关键差异。

ABSTRACT

Given a countable group $X$ we study the algebraic structure of its superextension $λ(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 show that the subsemigroup $λ^\circ(X)$ of free maximal linked systems contains an open dense subset of right cancelable elements. Also we prove that the topological center of $λ(X)$ coincides with the subsemigroup $λ^\bullet(X)$ of all maximal linked systems with finite support. This result is applied to show that the algebraic center of $λ(X)$ coincides with the algebraic center of $X$ provided $X$ is countably infinite. On the other hand, for finite groups $X$ of order $3\le|X|\le5$ the algebraic center of $λ(X)$ is strictly larger than the algebraic center of $X$.

研究动机与目标

• 刻画可数群 X 的超扩张 λ(X) 中右可消去元的集合。
• 确定 λ(X) 的拓扑中心，特别是其与具有有限支撑的最大关联系的关系。
• 研究 λ(X) 的代数中心，并与底层群 X 的代数中心进行比较。
• 解决 λ(X) 的代数中心是否对所有无限群都与 X 的代数中心一致的问题。
• 探索有限群中 λ(X) 的非主中心元的存在性与结构。

提出的方法

• 本文使用由 A∘B = {C ⊆ X : {x ∈ X : x⁻¹C ∈ B} ∈ A} 定义的超扩张上的运算，该运算扩展了群运算。
• 它将 λ(X) 作为包含超空间 G(X) 中的右拓扑半群的结构进行分析，特别关注自由的和具有有限支撑的最大关联系。
• 使用拓扑工具（如左移和右移的连续性）来识别拓扑中心中的元素，特别利用了中心元满足 l_C = r_C 的事实。
• 消去性的证明依赖于构造具有受控交集（例如 T⁻¹T ∩ BS⁻¹ ⊆ {e}）的集合族，以在非消去性假设下导出矛盾。
• 对于代数中心，作者利用中心元必须位于拓扑中心中，因此属于 λ•(X)，然后应用结构约束，证明当 X 无限时，它们必须是主超滤子。
• 一个关键技术工具是引理 4.1，它表明若某个最大关联系是中心且非主的，则某些集合配置将导致矛盾。

实验结果

研究问题

• RQ1 对于所有可数无限群 X，λ(X) 的代数中心是否与 X 的代数中心一致？
• RQ2 对于满足 3 ≤ |X| ≤ 5 的有限群 X，λ(X) 是否包含非主超滤子的中心元？
• RQ3 λ(X) 的拓扑中心是什么？它与具有有限支撑的子半群 λ•(X) 有何关系？
• RQ4 非主最大关联系是否能与 β(X) 中的所有超滤子交换？在何种条件下成立？
• RQ5 是否存在 |X| > 5 的有限阿贝尔群 X，使得 λ(X) 的中心元超出主超滤子？

主要发现

• 对于任意可数无限群 X，λ(X) 的代数中心恰好等于 X 的代数中心。
• 对于满足 3 ≤ |X| ≤ 5 的有限群 X，λ(X) 的代数中心严格包含 X 的代数中心，包括非主最大关联系。
• 对于所有至多可数的群 X，λ(X) 的拓扑中心与 λ•(X)（即具有有限支撑的最大关联系子半群）一致。
• 当 X 可数时，λ(X) 中右可消去元的集合与 λ°(X)（即自由最大关联系子半群）的交集为开稠密集。
• 若底层集合元素两两可交换，则存在非主最大关联系，其与 β(X) 中所有超滤子可交换。
• 本文在假设非主且具有有限支撑的最大关联系为中心的前提下，构造出矛盾，证明当 X 无限且该系统非主时，它不可能是中心的。