[论文解读] A note on partitions of groups

Ігор Протасов, Sergii Slobodianiuk|arXiv (Cornell University)|Aug 24, 2014

Mathematics and Applications参考文献 5被引用 4

一句话总结

本文研究了按基数划分无限群的问题，表明对于奇异基数 𝝳，自由群可被划分为两个子集，其中任一子集均非左 𝝳-大；而奇异基数的阿贝尔群则不具备此性质。核心贡献在于提出一个二分法：该划分性质取决于群的代数结构，其应用涉及阿贝尔群上最大 𝝳-有界拓扑的存在性。

ABSTRACT

Every infinite group $G$ of regular cardinality can be partitioned $G=A_1\cup A_2$ so that $G eq FA_1$, $G eq FA_2$ for every subset $F\subset G$ of cardinality $|F|

研究动机与目标

• 解决普罗塔索夫（2002）提出的问题：每个奇异基数的无限群是否都能被划分为两个子集，且这两个子集均非该基数下的左大集。
• 确定在奇异基数下自由群所表现出的划分性质是否可推广至其他群类型，特别是阿贝尔群。
• 探讨奇异基数的阿贝尔群上是否存在最大平移不变 𝝳-有界拓扑。
• 阐明在奇异基数群中，厚集与大集之间的关系，尤其在 𝝳-正规性条件下的表现。

提出的方法

• 采用基于基数的 𝝳-厚集与 𝝳-大集定义，其中 𝝳 为满足 𝝳 ≤ |G| 的无限基数，并通过补集关系分析其对偶性。
• 应用球形定理（定理 1）证明正则基数群可被划分为 |G| 个 𝝳-厚集。
• 运用共尾性论证，并将 G 分解为大小小于 𝝳 的子集，证明在奇异基数下左 𝝳-厚蕴含右 𝝳-大。
• 通过最后字母和字母表为基础的准则，显式构造自由群的划分，以确保非左大性。
• 利用索引字母集上的自由群的直和构造反例，使得对所有 x ∈ G 有 |x^G| < 𝝳，但该群无法被划分为有限个非大子集。
• 应用不变拓扑与巴拿赫测度理论的结果，分析阿贝尔群上拓扑的可分解性与最大性。

实验结果

研究问题

• RQ1 每个奇异基数的无限群是否都能被划分为两个子集，且这两个子集均非左 𝝳-大？
• RQ2 自由群在奇异基数下的划分性质是否可推广至同基数的所有阿贝尔群？
• RQ3 每个奇异基数 𝝳 的阿贝尔群是否都存在最大平移不变 𝝳-有界拓扑？
• RQ4 群的代数结构与有限划分成非大子集的存在性之间有何关系？
• RQ5 能否将 𝝳-正规性条件弱化为对所有 x ∈ G 有 |x^G| < 𝝳，同时仍保持非大子集的有限划分性质？

主要发现

• 对每个奇异基数 𝝳 的自由群 F_A，存在划分 F_A = B₁ ∪ B₂，使得 B₁ 与 B₂ 均非左 𝝳-大。
• 相反，对每个奇异基数 𝝳 的阿贝尔群 G，不存在将 G 划分为两个非左 𝝳-大子集的划分。
• 若 G 是 𝝳-正规且具有奇异基数，则 G 的任意有限划分中至少包含一个 𝝳-大单元。
• 本文构造了一个反例群 G（自由群的直和），满足对所有 x ∈ G 有 |x^G| < 𝝳，但 G 无法被划分为有限个非大子集。
• 每个奇异基数 𝝳 的阿贝尔群均存在最大平移不变 𝝳-有界拓扑，而此性质在正则基数群中不成立。
• 奇异基数下阿贝尔群存在此类最大拓扑，作为划分结果的推论得以确立。