The universal zero-sum invariant and weighted zero-sum for infinite abelian groups II

技术摘要：无限阿贝尔群的通用零和不变性与加权零和 II

问题陈述
本文探讨了零和理论中关于阿贝尔群的两个主要问题，作为作者此前在《代数通讯》（Communications in Algebra, 2025）中研究工作的后续。

1. Davenport 常数的极小性： 本文研究了所有极小零和序列的集合（记作 $A(G)$）是否为表示 Davenport 常数 $D(G)$ 所需的“极小集”。具体而言，本文旨在对所有满足以下条件的有限阿贝尔群 $G$ 进行分类：即从 $A(G)$ 中移除任何单个元素都会增加通用零和不变数 $d_{\Omega}(G)$，从而导致无法表示 $D(G)$。
2. 无限群的加权 Davenport 常数： 本文将加权 Davenport 常数 $D_{\Psi}(G)$ 的研究扩展到权重集 $\Psi \subseteq \text{Hom}(F, G)$ 为无限集的情形。虽然对于有限 $\Psi$，通过 Neumann 覆盖定理（通过核的陪集覆盖）已刻画了 $D_{\Psi}(G)$ 的有限性，但对于无限 $\Psi$，其行为仍不明确，特别是关于与笛卡尔幂相关的核覆盖是否存在有限子覆盖的问题。

研究方法
本文结合了组合数论、结构群论和范畴论论证：

• 通用零和不变数： 作者利用通用零和不变数 $d_{\Omega}(G)$ 的框架，该不变数定义为最小长度 $\ell$，使得每个长度为 $\ell$ 的序列都包含一个属于 $\Omega$ 的子序列。Davenport 常数被视为 $D(G) = d_{A(G)}(G)$ 的特例。
• 诱导同态与核覆盖： 对于加权情况，本文通过诱导通用同态的核来重新解释加权零和关系。给定元组 $\eta = (\psi_1, \dots, \psi_n) \in (\Psi \cup \{0\})^n$，定义诱导同态 $\text{ind}[\eta]: F^n \to G$。存在加权零和关系等价于该序列位于此类映射的核中。
• 核覆盖紧致性： 本文引入了一个新属性——“核覆盖紧致性”（kernel-cover compactness）。这是一种关于诱导同态核族的有限性条件，类似于拓扑紧致性，但针对加权零和问题的代数几何性质进行了调整。
• 构造性反例与引理： 本文在如 $\mathbb{Z}_3^5$ 等群中构造了特定序列，以展示非极小性；并使用多项式论证（示例 4.3）表明，即使在常数有限的情况下，对于无限权重集，也不一定存在有限核覆盖。

核心贡献与结果

1. $D(G)$ 的极小集分类：
   本文对所有使 $A(G)$ 关于 $D(G)$ 具有极小性的有限阿贝尔群 $G$ 进行了完整的分类。

   • 定理 3.6： $A(G)$ 是极小集当且仅当 $G$ 同构于以下之一：
     • $\mathbb{Z}_2^r$（其中 $r \ge 1$）；
     • $\mathbb{Z}_3^r$（其中 $1 \le r \le 4$）；
     • $\mathbb{Z}_4$ 或 $\mathbb{Z}_5$。
   • 作者解决了此前关于指数为 3 的群的开放性问题，证明了对于 $G \cong \mathbb{Z}_3^r$ 且 $r \ge 5$ 的情况，$A(G)$ 不是极小的。这是通过构造 $\mathbb{Z}_3^5$ 中的一个特定极小零和序列 $V$ 来证明的，从 $A(G)$ 中移除 $V$ 并不会改变该不变数。

2. 加权 Davenport 常数的几何表述：

   • 定理 4.1： 本文建立了一个等价关系，即界限 $D_{\Psi}(G) \le n$ 等价于几何条件：笛卡尔幂 $F^n$ 被所有由 $(\Psi \cup \{0\})^n$ 中非零诱导同构产生的核所覆盖。这把该常数重新表述为一个“核覆盖阈值”。

3. 核覆盖紧致性与有限约简：

   • 命题 4.4： 本文证明了 $F^n$ 的规范核覆盖存在有限子覆盖，等价于存在一个有限子集 $\Psi_0 \subseteq \Psi$，使得 $D_{\Psi_0}(G) \le n$。
   • 反例（示例 4.3）： 研究表明，对于无限 $\Psi$（具体为 $\Psi = \text{End}(\mathbb{Z}) \setminus \{0\}$），尽管 $D_{\Psi}(\mathbb{Z})$ 可以是有限的（等于 2），但 $F^n$ 的核覆盖并不存在有限子覆盖。这凸显了有限权重集与无限权重集之间的根本分歧。
   • 命题 4.8： 本文提供了一个“一致核覆盖紧致性”的充分条件：如果商群 $F/N_{\Psi}$ 是有限的（其中 $N_{\Psi} = \bigcap_{\psi \in \Psi} \ker \psi$），那么 $D_{\Psi}(G)$ 是有限的，且核覆盖性质是均匀成立的。

意义
本文声称是对先前工作的重大后续研究，其意义在于：

• 完成分类： 它完成了关于所有有限阿贝尔群中 $A(G)$ 极小性的结构性问题的分类，填补了此前关于指数为 3 的群的研究空白。
• 统一框架： 它将加权零和常数的研究与群由核覆盖的理论相统一，为 $D_{\Psi}(G)$ 提供了一种几何解释，并自然地扩展到了无限群。
• 完善有限性条件： 它阐明了加权 Davenport 常数的有限性与核覆盖存在性之间的关系。通过引入“核覆盖紧致性”，本文区分了常数的单纯有限性与权重集有限约简的更强性质，这一区别在处理无限阿贝尔群时至关重要。

这项工作并非提出新的实验应用，而是深化了对零和问题的理论理解，特别是针对从有限权重集向无限权重集过渡时的结构性质以及极小零和序列的结构属性。