[论文解读] Minimal zero-sum sequences of length five over finite cyclic groups

Jiangtao Peng, Yuanlin Li|arXiv (Cornell University)|Mar 7, 2013

Finite Group Theory Research参考文献 5被引用 3

一句话总结

该论文确定了有限循环群 $ p \geq 31 $ 的素数阶上长度为五的极小零和序列的指标。证明表明，此类序列的指标为 1，除非其形式为 $ S = g^2\left(\frac{p-1}{2}g\right)\left(\frac{p+3}{2}g\right)((p-3)g) $，此时指标为 2。该结果完成了对元素重数至少为 2 的长度为 5 的极小零和序列的指标值的完整分类。

ABSTRACT

Let $G$ be a finite cyclic group. Every sequence $S$ of length $l$ over $G$ can be written in the form $S=(n_1g)\cdot\ldots\cdot(n_lg)$ where $g\in G$ and $n_1, \ldots, n_l\in[1, \ord(g)]$, and the index $\ind(S)$ of $S$ is defined to be the minimum of $(n_1+\cdots+n_l)/\ord(g)$ over all possible $g\in G$ such that $\langle g angle =G$. In this paper, we determine the index of any minimal zero-sum sequence $S$ of length 5 when $G=\langle g angle$ is a cyclic group of a prime order and $S$ has the form $S=g^2(n_2g)(n_3g)(n_4g)$. It is shown that if $G=\langle g angle$ is a cyclic group of prime order $p \geq 31$, then every minimal zero-sum sequence $S$ of the above mentioned form has index 1 except in the case that $S=g^2(\frac{p-1}{2}g)(\frac{p+3}{2}g)((p-3)g)$.

研究动机与目标

• 确定有限循环群素数阶 $ p \geq 31 $ 上长度为 5 的极小零和序列的指标，特别是当最大元素重复次数至少为 2 时。
• 解决关于哪些此类序列具有指标 2 的开放问题，基于先前对指标 1 序列的研究成果。
• 为 $ \mathsf{h}(S) \geq 2 $ 的长度为 5 的极小零和序列提供完整的指标值分类，补充了关于更高或更低重数的早期结果。
• 建立指标为 2 的精确条件，从而填补零和序列理论中指标行为理解的关键空白。

提出的方法

• 作者将序列 $ S = (n_1 g) \cdots (n_l g) $ 的指标定义为 $ \operatorname{ind}(S) = \min \left\{ \frac{n_1 + \cdots + n_l}{\operatorname{ord}(g)} \right\} $，其中 $ g $ 取遍群 $ G $ 的所有生成元。
• 他们分析了形如 $ S = g^2 (n_2 g)(n_3 g)(n_4 g) $ 的序列，其中 $ n_i \in [1, p-1] $，重点关注零和与极小性条件。
• 证明使用模运算和基于 $ n_2, n_3, n_4 $ 取值的案例分析，将问题归约为分析模 $ p $ 的最小正剩余。
• 他们应用关于 $ p $、$ c = n_2 + n_3 + n_4 - 2 $ 和 $ b = n_2 + n_3 $ 的比值界限的引理，利用不等式排除具有指标 2 的配置。
• 分析根据 $ a = \max(n_2, n_3, n_4) $ 的值进行区分，特别是 $ a = \ell + 1 $ 和 $ a = \ell + 2 $ 的情况，并利用 $ p/c $ 和 $ p/b $ 的界限推导矛盾，除非处于例外情况。
• 他们利用已知结果（引理 2.3–2.4，3.1–3.6）排除除一个特定序列外的所有指标 2 情况，确认仅当 $ S = g^2\left(\frac{p-1}{2}g\right)\left(\frac{p+3}{2}g\right)((p-3)g) $ 时指标为 2。

实验结果

研究问题

• RQ1 对于素数阶 $ p \geq 31 $ 的循环群 $ G $ 上的极小零和序列 $ S $，何时有 $ \operatorname{ind}(S) = 2 $？
• RQ2 在 $ \mathbb{Z}_p $ 上，长度为 5 且满足 $ \mathsf{h}(S) \geq 2 $ 且指标为 2 的序列的完整集合是什么？
• RQ3 能否对 $ \mathbb{Z}_p $ 上所有满足 $ \mathsf{h}(S) \geq 2 $ 的长度为 5 的极小零和序列的指标进行完全分类？
• RQ4 是否存在唯一一个长度为 5 且指标为 2 的例外序列？若是，其确切形式为何？

主要发现

• 对于素数阶 $ p \geq 31 $ 的循环群 $ G = \langle g \rangle $，所有满足 $ \mathsf{h}(S) \geq 2 $ 的长度为 5 的极小零和序列 $ S $ 的指标要么为 1，要么为 2。
• 序列 $ S $ 的指标为 2 当且仅当 $ S = g^2\left(\frac{p-1}{2}g\right)\left(\frac{p+3}{2}g\right)((p-3)g) $，且这是唯一具有指标 2 的此类序列。
• 所有其他满足 $ \mathsf{h}(S) \geq 2 $ 的 $ \mathbb{Z}_p $ 上长度为 5 的极小零和序列的指标均为 1。
• 该结果完成了对满足 $ \mathsf{h}(S) \geq 2 $ 的长度为 5 的极小零和序列的指标值的完整分类，而 $ \mathsf{h}(S) = 1 $ 的情况仍为开放问题。