A formula of counting divisors in integers rings: a generalization of the divisor function $d_0(n)$

技术摘要：整数环中除数计数公式

问题陈述
本文探讨了在戴德金域（特别是数域 $K$ 的整数环 $O_K$）中计数主理想除数的挑战。在唯一分解整环（UFD）中，除数个数由经典的除数函数 $d_0(n)$ 确定，该函数依赖于元素的唯一素因子分解。然而，在一般的戴德金域中，虽然理想的唯一分解成立，但元素的唯一分解失效，因此确定理想 $I = (\alpha, \beta)$ 的主除数个数并非易事。作者试图在这些环的理想结构与加性组合数学之间建立形式化联系，以推导出计算这些除数的封闭公式。

方法论
作者采用了代数数论与加性组合数学的综合方法，具体利用了有限阿贝尔群上的特征标理论。方法论按以下步骤进行：

1. 结构分解：对于具有循环类群的环，作者证明了任何非零理想 $I$ 都可以分解为一个最大主部 $(\gamma)$ 和一个“剩余”理想乘积 $T_1^{c_1} \cdots T_m^{c_m}$。该剩余的总长度严格受类群 $G = Cl(K)$的达文波特常数$D(G)$ 限制。这种分解隔离了非主分量。
2. 零和对应：寻找主除数的问题被映射为在类群中寻找零和子序列的问题。一个理想是主理想，当且仅当其素因子在类群中的类之和等于单位元 $0_G$。
3. 特征标过滤：作者利用了有限阿贝尔类群的特征标对偶群 $\hat{G}$。通过应用特征标的正交关系（引理 1），他们构建了一个“过滤器”，从给定理想类序列的所有可能子序列中隔离出零和子序列。
4. 公式推导：利用特征标的乘法性质和几何级数求和，作者推导出了零和子序列个数的封闭形式表达式。

主要贡献与结果

• 结构定理（定理 1）：本文确立了在具有循环类群的戴德金域中，每个理想 $I$ 都可以写成 $I = (\gamma)T_1^{c_1} \cdots T_m^{c_m}$，其中 $(\gamma)$ 是最大主除数，且指数之和 $\sum c_i \leq h-1$（其中 $h$ 是类群的阶）。这确保了剩余部分不包含任何真主除数。
• 子序列计数公式（定理 2）：核心结果是一个关于有限阿贝尔群 $G$ 中序列 $S = (r_1^{e_1}, \dots, r_g^{e_g})$ 的零和子序列个数 $n(S)$ 的封闭公式：
  $$n(S) = \frac{1}{h} \sum_{\chi \in \hat{G}} \prod_{i=1}^{g} \left( \sum_{k=0}^{e_i} \chi(r_i)^k \right)$$
  其中 $h = |G|$，$\hat{G}$ 是特征标的对偶群。
• 除数函数的推广（推论 2）：通过将上述公式应用于元素 $\alpha$ 的素理想类序列，作者推导出了主理想除数个数 $n(\alpha)$ 的公式。他们证明，如果类群是平凡的（即 $O_K$ 是主理想整环），该公式精确地简化为经典除数函数 $d_0(n) = \prod (e_i + 1)$。
• 不可约性刻画（引理 2）：本文提供了基于主除数个数的不可约性判据。如果一个元素 $\alpha$ 恰好有两个主理想除数（单位理想及其自身），则 $\alpha$ 是不可约的。这与其素理想类序列中不存在真零和子序列相关联。

意义与主张
作者声称，这项工作构成了从唯一分解整环到任何具有有限类群的戴德金域的经典除数函数 $d_0(n)$ 的自然推广。其意义在于：

1. 统一性：它架起了整数环算术与零和序列组合理论之间的桥梁。
2. 精确性：它提供了在元素唯一分解不成立的情况下对主理想除数进行精确计数的机制，而此前该问题仅通过特定案例分析来处理。
3. 结构洞察：分解定理阐明了这些域中的主理想性质是一种“有限且有界的现象”，其中非主剩余的复杂性受达文波特常数的限制。

本文最后基于这些计数刻画了不可约元素，并在特定的二次域（$Q(\sqrt{10})$、$Q(\sqrt{195})$、$Q(\sqrt{219})$、$Q(\sqrt{399})$）中提供了使用 SageMath 的计算示例，以说明公式的应用及最大主除数的行为。