[论文解读] Extremal product-one free sequences in $C_q times_s C_m$

Fabio Enrique Brochero Martínez, Sávio Ribas|arXiv (Cornell University)|Oct 31, 2016

Limits and Structures in Graph Theory被引用 3

一句话总结

本文刻画了在拟循环群 $C_q \rtimes_s C_m$ 中所有极值的乘积为1的自由序列，其中 $q$ 为素数，$m \geq 2$ 整除 $q-1$，且 $\mathrm{ord}_q(s) = m$。证明了任意长度为 $q + m - 2$ 的此类序列必须由单个 $C_q$ 正规子群陪集中的元素构成，其指数呈现特定的算术结构；并且除非序列具有高度结构化特征，否则无法避免包含乘积为单位元的子序列，从而解决了该类非交换群的逆问题。

ABSTRACT

Let $G$ be a finite group, written multiplicatively. The Davenport constant of $G$ is the smallest positive integer $d$ such that every sequence of $G$ with $d$ elements has a non-empty subsequence with product $1$. Let $C_n \simeq \mathbb Z_n$ be the cyclic group of order $n$. Bass (2007) showed that the Davenport constant of the metacyclic group $C_q times_s C_m$, where $q$ is a prime number and $ ext{ord}_q(s) = m \ge 2$, is $m+q-1$. In this paper, we explicit the form of all sequences $S$ of $C_q times_s C_m$, with $q+m-2$ elements, that are free of product-$1$ subsequences.

研究动机与目标

• 确定 $C_q \rtimes_s C_m$ 中所有不含非空子序列乘积为1的极大序列的结构。
• 解决非交换拟循环群 $C_q \rtimes_s C_m$ 的戴维斯常数的逆问题，其中 $q$ 为素数且 $\mathrm{ord}_q(s) = m \geq 2$。
• 将极值序列的理解从阿贝尔群扩展至非阿贝尔群，特别是秩为二的非阿贝尔群。
• 表明此类极值序列必须具有高度结构化特征，其重复模式与分布方式类似于循环群的情形。

提出的方法

• 作者分析了在 $G = C_q \rtimes_s C_m$ 中长度为 $q + m - 2 = D(G) - 1$ 的序列，重点关注其在正规子群 $C_q \triangleleft G$ 的陪集中的分布。
• 他们使用群论技术，包括通过共轭作用 $x^{i_0}$ 对 $y$-指数的作用：$x^{i_0} y^a x^{-i_0} = y^{a s^{i_0}}$，来分析陪集 $x^{i_0} C_q$ 中序列的结构。
• 他们定义了 $\mathbb{Z}_q$-指数的集合 $X$ 和 $Y$，这些集合源自子序列的乘积，并利用加法组合数学分析 $0 \in X + Y$ 是否成立，若成立则意味着存在乘积为1的子序列。
• 他们应用模 $q$ 的二次剩余相关结果，特别是 $-1$ 是二次剩余当且仅当 $q \equiv 1 \pmod{4}$，在假设不存在乘积为1的子序列时导出矛盾。
• 他们通过指数和的置换论证构造潜在的乘积为1的子序列，表明任何足够大或足够多样的序列都必须包含此类子序列。
• 他们对例外情况如 $(m,q) = (2,3)$ 和 $(4,5)$ 单独处理，采用直接验证与结构分析。

实验结果

研究问题

• RQ1 在 $C_q \rtimes_s C_m$ 中，长度为 $q + m - 2$ 且不含非空子序列乘积为1的序列的完整结构是什么？
• RQ2 此类极值序列能否根据其在 $C_q$ 陪集中的分布进行刻画？
• RQ3 对于 $C_q \rtimes_s C_m$ 的逆戴维斯常数问题，其序列结构是否类似于循环情形，即所有元素相等？
• RQ4 在 $q$、$m$ 和 $s$ 的何种条件下，长度为 $q + m - 2$ 的序列可以避免包含乘积为1的子序列？
• RQ5 非交换结构 $C_q \rtimes_s C_m$ 如何影响极值乘积为1自由序列的存在性与形式？

主要发现

• 所有长度为 $q + m - 2$ 的 $C_q \rtimes_s C_m$ 中的极值乘积为1自由序列，均包含于某个 $x^{i_0} C_q$ 陪集中，其中 $i_0 \in \{1, \dots, m-1\}$。
• 此类序列必须满足所有 $y$-指数构成集合 $A \subset \mathbb{Z}_q$，使得在特定结构约束下，和集 $A + s^{i_0} A$ 在模 $q$ 意义下不包含 0。
• 若 $q \equiv 1 \pmod{4}$ 且 $q \geq 13$，则任何在陪集中包含 $m$ 个不同元素的序列，由于存在二次剩余分解，必然包含一个乘积为1的子序列。
• 若 $q \equiv 3 \pmod{4}$，则若 $X + Y = \mathbb{Z}_q^*$ 且对 $\alpha \in X$ 有 $-\alpha \in X$，$-1$ 不是二次剩余的事实将导致矛盾，从而强制存在一个乘积为1的子序列。
• 唯一可能的极值序列是那些在陪集中至多包含 $m-1$ 个不同元素的序列；当 $m = q-1$ 时，为避免形成乘积为1的子序列，序列必须由 $m-1$ 个相同元素的副本构成。
• 例外情况 $(m,q) = (2,3)$ 被排除，因为该群同构于 $S_3$；而 $(4,5)$ 情况则通过直接计算单独处理。