[论文解读] Powersums representing residues mod p^k, from Fermat to Waring

Nico F. Benschop|ArXiv.org|Mar 13, 2001

Polynomial and algebraic computation参考文献 4被引用 7

一句话总结

本文研究了奇素数 $p$ 和 $k \geq 2$ 时，模 $p^k$ 的整数表示为 $p$ 次剩余之和的问题，通过群论与半群结构分析，证明了模 $p^k$ 的每个剩余类均可表示为至多四个 $p$ 次剩余之和，推广了费马小定理，并与模算术中的华里兴问题建立联系。

ABSTRACT

The ring Z_k(+,.) mod p^k with prime power modulus (prime p>2) is analysed. Its cyclic group G_k of units has order (p-1)p^{k-1}, and all p-th power n^p residues form a subgroup F_k with |F_k|=|G_k|/p. The subgroup of order p-1, the core A_k of G_k, extends Fermat's Small Theorem (FST) to mod p^{k>1}, consisting of p-1 residues with n^p = n mod p^k. The concept of "carry", e.g. n' in FST extension n^{p-1} = n'p+1 mod p^2, is crucial in expanding residue arithmetic to integers, and to allow analysis of divisors of 0 mod p^k. . . . . For large enough k \geq K_p (critical precison K_p < p depends on p), all nonzero pairsums of core residues are shown to be distinct, upto commutation. The known FLT case_1 is related to this, and the set F_k + F_k mod p^k of p-th power pairsums is shown to cover half of units group G_k. -- Yielding main result: each residue mod p^k is the sum of at most four p-th power residues. Moreover, some results on the generative power (mod p^{k>2}) of divisors of p^2-1 are derived. -- [Publ.: "Computers and Mathematics with Applications", V39 N7-8 (Apr.2000) p253-261]

研究动机与目标

• 分析奇素数 $p$ 和 $k \geq 2$ 时，模 $p^k$ 的 $p$ 次剩余的加法结构。
• 通过模 $p^k$ 的单位群的核心子群 $A_k$，将费马小定理推广至更高次幂 $p^k$。
• 确定表示模 $p^k$ 下所有剩余类所需的最少 $p$ 次剩余数量，解决模算术中类似华里兴问题的变体。
• 研究零因子与进位效应在剩余类算术中的作用，尤其在 $p$ 次剩余对和的语境下。
• 确立临界精度 $K_p < p$，在此之后核心剩余对和变得互异，从而实现对 $F_k + F_k$ 的结构分析。

提出的方法

• 分析模 $p^k$ 的单位群 $G_k$，其可分解为直积 $A_k \times B_k$，其中 $A_k$ 为阶为 $p-1$ 的核心子群，$B_k$ 由满足 $\equiv 1 \pmod{p}$ 的元素构成。
• 使用核心函数 $A_k(n) = n^{p^{k-1}} \pmod{p^k}$ 及其增量 $d_k(n) = A_k(n+1) - A_k(n)$，研究剩余类的对称性质与互异性。
• 将临界精度 $K_p$ 定义为最小的 $k$，使得核心增量 $d_k(n)$ 在 $n = 1, \dots, (p-1)/2$ 时模 $p^k$ 互异，仅排除 1-补对称性。
• 对 $F_k = \{n^p \pmod{p^k}\}$ 在 $G_k$ 中的陪集进行分析，证明 $|F_k| = |G_k|/p$，并研究和集 $F_k + F_k$ 以确定其对 $G_k$ 的覆盖范围。
• 分析三个 $p$ 次剩余之和，以覆盖模 $p^k$ 下非零 $p$ 的倍数集合 $N_0 \setminus \{0\}$，利用结构 $F \cdot (2A(h) + 1) \equiv \text{所有 } mp \pmod{p^2}$。
• 利用 $\mathbb{Z}[+, \cdot]$ 模 $p^k$ 的半群结构，区分 $N_0$（零因子）与 $G_k$（单位），并通过从 $p^2$ 的扩展证明 $Z \equiv F_{+3} \cup F_{+4}$。

实验结果

研究问题

• RQ1 对于 $k \geq 2$，表示模 $p^k$ 下所有剩余类所需的最少 $p$ 次剩余数量是多少？
• RQ2 核心增量 $d_k(n)$ 的对称性质如何反映模 $p^k$ 下 $p$ 次剩余的结构？
• RQ3 在何种条件下，对和 $a^p + b^p \pmod{p^k}$ 互异并覆盖单位群 $G_k$ 的最大子集？
• RQ4 模 $p^k$ 下非零 $p$ 的倍数集合能否由三个 $p$ 次剩余之和生成？
• RQ5 临界精度 $K_p$ 在确定模 $p^k$ 下 $p$ 次剩余和的行为中具有何种意义？

主要发现

• 对于所有奇素数 $p > 2$ 且 $k \geq K_p$，模 $p^k$ 下的对和 $F_k + F_k$ 恰好覆盖单位群 $G_k$ 的一半，这是在交换性约束下的最大可能覆盖。
• 集合 $F_k$（$p$ 次剩余）作为至多四个元素的和，可生成模 $p^k$ 下的所有剩余类，即 $Z \equiv F_{+3} \cup F_{+4}$。
• 临界精度 $K_p$ 满足 $K_p < p$，且当 $p \leq 7$ 时 $K_p = 2$；当 $p = 11$ 时 $K_p = 3$；当 $p = 73$ 时 $K_p = 4$。
• 当 $p = 3$ 时，完整验证表明 $F_{+3} \cup F_{+4}$ 覆盖了模 $3^2$ 的所有剩余类，且 $F_{+3}$ 与 $F_{+4}$ 互不相交，因此必须取其并集。
• 当 $p = 5$ 时，模 $5^2$ 下的集合 $F \cdot (2A(h) + 1)$ 覆盖了所有非零 $5$ 的倍数，证实三个 $p$ 次剩余足以生成 $N_0 \setminus \{0\}$。
• 该结果与 $p = 2$ 时的经典四平方定理相容，提示对所有奇素数 $p > 2$，存在统一的模形式华里兴型结论。