[论文解读] Davenport constant of the multiplicative semigroup of the quotient ring $\frac{\F_p[x]}{\langle f(x) angle}$

Haoli Wang, Lizhen Zhang+2 more|arXiv (Cornell University)|Sep 4, 2014

Mathematical and Theoretical Analysis参考文献 3被引用 5

一句话总结

本文研究了商环 $\mathbb{F}_p[x]/\langle f(x)\rangle$ 的乘法半群的戴维森常数，证明当 $p > 2$ 且 $f(x)$ 为无平方因子多项式（其不可约因子两两不相伴）时，该半群的戴维森常数等于其单位群的戴维森常数。该结果通过验证 $f(x) = (x+1)^2$ 的情形，推广至非无平方因子情形，支持了在所有情况下该等式成立的更广泛猜想。

ABSTRACT

Let $\mathcal{S}$ be a finite commutative semigroup. The Davenport constant of $\mathcal{S}$, denoted $D(\mathcal{S})$, is defined to be the least positive integer $d$ such that every sequence $T$ of elements in $\mathcal{S}$ of length at least $d$ contains a subsequence $T'$ with the sum of all terms from $T'$ equaling the sum of all terms from $T$. Let $\F_p[x]$ be a polynomial ring in one variable over the prime field $\F_p$, and let $f(x)\in \F_p[x]$. In this paper, we made a study of the Davenport constant of the multiplicative semigroup of the quotient ring $\frac{\F_p[x]}{\langle f(x) angle}$. Among other results, we mainly prove that, for any prime $p>2$ and any polynomial $f(x)\in \F_p[x]$ which can be factorized into several pairwise non-associted irreducible polynomials in $\F_p[x]$, then $$D(\mathcal{S}_{f(x)}^p)=D(U(\mathcal{S}_{f(x)}^p)),$$ where $\mathcal{S}_{f(x)}^p$ denotes the multiplicative semigroup of the quotient ring $\frac{\F_p[x]}{\langle f(x) angle}$ and $U(\mathcal{S}_{f(x)}^p)$ denotes the group of units of the semigroup $\mathcal{S}_{f(x)}^p$.

研究动机与目标

• 确定当 $p > 2$ 时，商环 $\mathbb{F}_p[x]/\langle f(x)\rangle$ 的乘法半群的戴维森常数。
• 在特定因式分解条件下，研究该半群的戴维森常数是否等于其单位群的戴维森常数。
• 验证猜想：对所有非零次 $f(x) \in \mathbb{F}_p[x]$，有 $D(\mathcal{S}_{f(x)}^p) = D(U(\mathcal{S}_{f(x)}^p))$ 成立。
• 将有限交换群中戴维森常数的已知结果，推广至由多项式商环导出的有限交换半群。

提出的方法

• 使用有限交换半群的广义戴维森常数定义：若某子序列的和等于原序列总和，则称该序列为可约。
• 应用有限交换半群的结构定理，将 $\mathcal{S}_{f(x)}^p$ 分解为对应于 $f(x)$ 不可约因子的半群的直积。
• 利用同构关系 $\mathbb{F}_p[x]/\langle f(x)\rangle \cong \prod_{i=1}^k \mathbb{F}_p[x]/\langle f_i(x)\rangle$，当 $f(x)$ 分解为两两不相伴的不可约多项式时成立。
• 应用引理 2.3，该引理表明：对于形如 $C_n \cup \{\infty\}$ 的半群，其完整半群的戴维森常数等于其单位群的戴维森常数。
• 采用群论技术，包括零和自由序列与和集分析，研究单位群 $U(\mathcal{S}_{f(x)}^p)$ 中的序列。
• 对 $f(x) = (x+1)^2$ 的情形进行逐项验证，分析单位群内与外的元素构成的序列，确认其在戴维森常数界限内具有可约性。

实验结果

研究问题

• RQ1 当 $f(x)$ 为 $\mathbb{F}_p$ 上两两不相伴的不可约多项式的乘积，且 $p > 2$ 时，乘法半群 $\mathcal{S}_{f(x)}^p$ 的戴维森常数是否等于其单位群 $U(\mathcal{S}_{f(x)}^p)$ 的戴维森常数？
• RQ2 当 $f(x)$ 具有重复不可约因子（如 $f(x) = (x+1)^2$）时，等式 $D(\mathcal{S}_{f(x)}^p) = D(U(\mathcal{S}_{f(x)}^p))$ 是否仍可成立？
• RQ3 对于所有非零次 $f(x) \in \mathbb{F}_p[x]$ 且 $p > 2$，是否恒有半群的戴维森常数等于其单位群的戴维森常数？

主要发现

• 对于任意素数 $p > 2$ 及任意在 $\mathbb{F}_p[x]$ 中可分解为两两不相伴不可约多项式乘积的多项式 $f(x)$，乘法半群 $\mathcal{S}_{f(x)}^p$ 的戴维森常数等于其单位群的戴维森常数：$D(\mathcal{S}_{f(x)}^p) = D(U(\mathcal{S}_{f(x)}^p))$。
• 证明依赖于当 $f(x)$ 为无平方因子时，商环可分解为有限域的直积，从而将问题约化为形如 $C_n \cup \{\infty\}$ 的半群，此时已知其戴维森常数等于单位群的戴维森常数。
• 对于 $f(x) = (x+1)^2$ 的情形，通过分析包含零、单位与非单位元素的序列，证明了 $D(\mathcal{S}_{(x+1)^2}^p) = D(U(\mathcal{S}_{(x+1)^2}^p))$，并验证了在戴维森常数界限内序列的可约性。
• 单位群 $U(\mathcal{S}_{(x+1)^2}^p)$ 由所有形如 $ax + b$ 的线性多项式构成，其中 $a \neq b$ 且 $a,b \in \mathbb{F}_p$，其构成一个阶为 $p(p-1)$ 的乘法子群。
• 论文证明：在 $\mathcal{S}_{(x+1)^2}^p$ 中，任意长度为 $D(U(\mathcal{S}_{(x+1)^2}^p))$ 的序列均为可约序列，无论其元素是否属于单位群，均可构造出一个和相等的真子序列。
• 分析表明，即使序列中仅含一个非单位元素，该序列仍为可约序列，方法是证明其余单位元素的和集必包含一个值，将其与非单位元素相加后可重现总和，从而构成一个真子序列。