[论文解读] On the structure of zero-sum free set with minimum subset sums in abelian groups

Jiangtao Peng, Wanzhen Hui|arXiv (Cornell University)|Dec 30, 2017

Advanced Topology and Set Theory参考文献 7被引用 4

一句话总结

本文刻画了在有限交换群中长度为6的零和自由子集 $ S $ 的精确结构，其子集和集合 $ \Sigma(S) $ 的大小达到最小值19。通过结构分析与群论技术，作者证明此类子集必同构于五种特定形式之一，涉及阶为2或20的元素，或在10-挠群中满足对称关系。该结果完成了对大小为6的极值零和自由集的分类。

ABSTRACT

Let $G$ be an additive abelian group and $S\subset G$ a subset. Let $Σ(S)$ denote the set of group elements which can be expressed as a sum of a nonempty subset of $S$. We say $S$ is zero-sum free if $0 ot\in Σ(S)$. It was conjectured by R.B.~Eggleton and P.~Erdös in 1972 and proved by W.~Gao et. al. in 2008 that $|Σ(S)|\geq 19$ provided that $S$ is a zero-sum free subset of an abelian group $G$ with $|S|=6$. In this paper, we determined the structure of zero-sum free set $S$ where $|S|=6$ and $|Σ(S)|=19$.

研究动机与目标

• 确定有限交换群中长度为6、满足 $ |\Sigma(S)| = 19 $ 的零和自由子集 $ S $ 的完整结构表征，此为已知界下的最小可能大小。
• 解决 $ |S| = 6 $ 时 Eggleton-Erd\'os 猜想的极值情形，确认 $ |\Sigma(S)| $ 的下确界为19。
• 确定该最小子集和大小是否可在循环群中实现，若可实现，则在何种结构条件下实现。
• 将极值零和自由集的分类从已知的 $ |S| = 5 $ 情况扩展至 $ |S| = 6 $，为后者提供完整的结构定理。

提出的方法

• 作者基于 $ S $ 中是否存在阶为2的元素，采用分类讨论法，利用群同态及 $ S $ 的自同构群作用下的轨道结构。
• 他们根据子集和的重数定义等价类 $ \mathcal{A}_i $ 和 $ [x_i] $，并应用组合界以控制 $ \Sigma(S) $ 的大小。
• 通过假设 $ |\Sigma(S)| = 19 $，推导出除非 $ S $ 满足五种特定代数形式之一，否则将产生矛盾，这些形式涉及生成元 $ x_1, x_2, x_3 $，并对其阶与关系施加约束。
• 证明中使用了由轨道类大小求和导出的不等式 $ 63 \leq 4r - 19 $，该不等式在 $ r > 20 $ 时导致矛盾，从而强制 $ S $ 属于五种形式之一。
• 他们应用了关于最小零和序列及子集和界的相关已知结果，包括关于子序列和增长的引理2.1与关于轨道大小限制的引理2.6。
• 通过验证五种形式中每一种均恰好产生19个不同的非空子集和且不包含0作为和，从而验证了结构的正确性。

实验结果

研究问题

• RQ1 在有限交换群中，长度为6、满足 $ |\Sigma(S)| = 19 $ 的零和自由子集 $ S $ 的完整结构表征是什么？
• RQ2 对于 $ |S| = 6 $，$ \Sigma(S) $ 的最小可能大小是否可在循环群中实现？若可实现，需满足何种条件？
• RQ3 是否存在不源于五种指定形式的长度为6的零和自由子集，其满足 $ |\Sigma(S)| = 19 $？
• RQ4 为使大小为6的零和自由集达到最小子集和大小，其元素的阶与关系需满足何种约束？

主要发现

• 本文证明 $ |\Sigma(S)| = 19 $ 当且仅当 $ S $ 同构于五种特定形式之一，涉及阶为2或20的元素，或在10-挠群中满足对称关系。
• 形式 (i) 要求 $ \operatorname{ord}(x_1) = 2 $ 且 $ 2x_2 \in \langle x_1 \rangle $，在2-Primary群中形成对称构型。
• 形式 (ii) 涉及阶为2的 $ x_1 $ 及满足 $ 2x_2 $ 属于 $ x_1 $ 生成子群的 $ x_2 $，且元素在模 $ x_1 $ 意义下呈等差数列。
• 形式 (iii) 与 (iv) 为阶为20的循环群中的等差数列，分别为元素 $ -2x_1, x_1, 3x_1, 4x_1, 5x_1, 6x_1 $ 与 $ -3x_1, x_1, 4x_1, 5x_1, 9x_1, 12x_1 $。
• 形式 (v) 出现在满足 $ 2x_1 = 2x_2 $ 且 $ \operatorname{ord}(x_1) = \operatorname{ord}(x_2) = 10 $ 的群中，形成在10-挠群中具有对称性但非交换性质的构型。
• 作者证明在奇数阶有限交换群中不存在此类子集，意味着此类群中必有 $ |\Sigma(S)| \geq 20 $，如推论1.4所述。