[论文解读] Davenport constant of the multiplicative semigroup of the ring $\mathbb{Z}_{n_1}\oplus\cdots\oplus \mathbb{Z}_{n_r}$

Guoqing Wang, Weidong Gao|arXiv (Cornell University)|Mar 19, 2016

semigroups and automata theory参考文献 6被引用 4

一句话总结

本文修正了先前发表的关于环 $\mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_r}$ 的乘法半群的 Davenport 常数的错误公式。它建立了紧致的上下界：$\mathrm{D}(\mathcal{S}_R) \in \left[\mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + P_2, \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + \delta\right]$，其中 $P_2$ 统计满足 $2 \parallel n_i$ 的指标数量，$\delta$ 统计满足 $2 \mid n_i$ 的指标数量。该结果解决了长期存在的错误，并为这一类环中的 Davenport 常数提供了精确的取值范围。

ABSTRACT

Given a finite commutative semigroup $\mathcal{S}$ (written additively), denoted by ${ m D}(\mathcal{S})$ the Davenport constant of $\mathcal{S}$, namely the least positive integer $\ell$ such that for any $\ell$ elements $s_1,\ldots,s_{\ell}\in \mathcal{S}$ there exists a set $I\subsetneq [1,\ell]$ for which $\sum_{i\in I} s_i=\sum_{i=1}^{\ell} s_i$. Then, for any integers $r\geq 1, n_1,\ldots,n_r>1$, let $R=\mathbb{Z}_{n_1}\oplus\cdots\oplus \mathbb{Z}_{n_r}$ be the direct sum of these $r$ residue class rings $\mathbb{Z}_{n_1}, \ldots,\mathbb{Z}_{n_r}$. Moreover, let $\mathcal{S}_R$ be the multiplicative semigroup of the ring $R$, and ${ m U}(\mathcal{S}_R)$ the group of units of $\mathcal{S}_R$. In this paper, we prove that $${ m D}({ m U}(\mathcal{S}_R))+P_2\leq { m D}(\mathcal{S}_R)\leq { m D}({ m U}(\mathcal{S}_R))+δ,$$ where $P_2=\sharp\{i\in [1,r]: 2 \parallel n_i\}$ and $δ=\sharp\{i\in [1,r]: 2\mid n_i\}.$ This corrects our previous published wrong result on this problem.

研究动机与目标

• 修正先前发表的关于环 $\mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_r}$ 的乘法半群的 Davenport 常数的错误公式。
• 在单位群 $\mathrm{U}(\mathcal{S}_R)$ 的基础上，确定环 $R = \mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_r}$ 的乘法半群 $\mathrm{D}(\mathcal{S}_R)$ 的紧致界限。
• 解决早期声称的公式 $\mathrm{D}(\mathcal{S}_R) = \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + P_2$ 与已知反例（如 $\mathbb{Z}_4$）之间的矛盾。
• 为从剩余环的直和中产生的有限交换半群的 Davenport 常数提供一个正确且通用的计算框架。

提出的方法

• 利用格林序与格林的 $\mathcal{H}$-关系分析环 $R = \mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_r}$ 的乘法半群 $\mathcal{S}_R$ 的结构。
• 为 $\mathcal{S}_R$ 中每个元素 $c$ 定义其在单位群 $\mathrm{U}(\mathcal{S}_R)$ 作用下的稳定子 $\mathrm{St}(c)$，这对于分析可约性至关重要。
• 使用中国剩余定理构造特定单位 $\tilde{a}_i \in \mathbb{Z}_{n_i}$，使其满足关于 $n_i$ 的素数幂的同余条件，从而保证 $\tilde{a}_i$ 是单位。
• 构造 $\mathcal{S}_R$ 中元素的序列 $T$，并通过识别一个真子序列 $W$ 使得 $\sigma(T) = \sigma(TW^{-1})$ 来分析其可约性，利用单位提升 $\tilde{a}$ 保持和不变。
• 引入商群 $\mathrm{U}(\mathcal{S}_R)/K_t$ 将问题简化为单位群情形，利用该商群的 Davenport 常数。
• 结合单位群的界限与偶数阶分量的数量，推导出最终不等式：$\mathrm{D}(\mathcal{S}_R) \in [\mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + P_2, \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + \delta]$。

实验结果

研究问题

• RQ1 环 $R = \mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_r}$ 的乘法半群的 Davenport 常数 $\mathrm{D}(\mathcal{S}_R)$ 的正确值是什么？
• RQ2 为何先前声称的公式 $\mathrm{D}(\mathcal{S}_R) = \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + P_2$ 是错误的？正确的 $\mathrm{D}(\mathcal{S}_R)$ 取值范围是什么？
• RQ3 能否以 $n_i$ 的 2-进赋值为基准，对 $\mathrm{D}(\mathcal{S}_R) - \mathrm{D}(\mathrm{U}(\mathcal{S}_R))$ 进行有界？
• RQ4 在何种条件下，上界 $\mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + \delta$ 达到紧致性？

主要发现

• 先前发表的公式 $\mathrm{D}(\mathcal{S}_R) = \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + P_2$ 是错误的，如 $\mathbb{Z}_4$ 等反例所示。
• Davenport 常数的正确界限为 $\mathrm{D}(\mathcal{S}_R) \in \left[\mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + P_2, \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + \delta\right]$，其中 $P_2 = \sharp\{i \in [1,r] : 2 \parallel n_i\}$ 且 $\delta = \sharp\{i \in [1,r] : 2 \mid n_i\}$。
• 当 $R = \mathbb{Z}_8^{r_1} \oplus \mathbb{Z}_4^{r_2} \oplus \mathbb{Z}_2^{r_3}$ 时，上界 $\mathrm{D}(\mathcal{S}_R) = \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + \delta$ 可达，此时 $\mathrm{U}(\mathcal{S}_R) \cong C_2^{2r_1 + r_2}$ 且 $\mathrm{D}(\mathrm{U}(\mathcal{S}_R)) = 2r_1 + r_2 + 1$。
• 构造了一个长度为 $3r_1 + 2r_2 + r_3$ 的显式不可约序列 $T$，表明 $\mathrm{D}(\mathcal{S}_R) \geq |T| + 1 = \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) + \delta$，从而证明在此情况下上界是紧致的。
• 本文猜想 $\mathrm{D}(\mathcal{S}_R) - \mathrm{D}(\mathrm{U}(\mathcal{S}_R)) \leq \sharp\{i \in [1,r] : \mathrm{pot}_2(n_i) \in \{1,2,3\}\}$，暗示基于 2-进赋值的更深层次结构约束。