[論文レビュー] 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$ 乗剰余の和としてどのように記述できるかを、群論的および半群構造の分析を用いて調査する。すべての剰余類が高々4つの $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$（位数 $p-1$ の核心部分群）と $B_k$（$\equiv 1 \pmod{p}$ を満たす元からなる）の直積 $A_k \times B_k$ に分解する。
• 核心関数 $A_k(n) = n^{p^{k-1}} \pmod{p^k}$ 及びその増分 $d_k(n) = A_k(n+1) - A_k(n)$ を用いて、剰余の対称性と一意性を分析する。
• 臨界精度 $K_p$ を、$n = 1, \dots, (p-1)/2$ に対して核心増分 $d_k(n)$ が $p^k$ を法として一意的（1の補数対称性を除く）となる最小の $k$ として定義する。
• 群 $G_k$ 内での $F_k = \{n^p \pmod{p^k}\}$ のコセット解析を適用し、$|F_k| = |G_k|/p$ を示し、$F_k + F_k$ の和集合が $G_k$ をどの程度カバーするかを分析する。
• 3つの $p$ 乗剰余の和が、$p^k$ を法とする $p$ の非ゼロ倍数の集合 $N_0 \setminus \{0\}$ をカバーすることを示し、構造 $F \cdot (2A(h) + 1) \equiv \text{all } mp \pmod{p^2}$ を用いる。
• $p^k$ を法とする $\mathbb{Z}[+, \cdot]$ の半群構造を用い、$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$ の倍数の集合 $N_0 \setminus \{0\}$ が、3つの $p$ 乗剰余の和として生成可能か？
• RQ5 臨界精度 $K_p$ は、$p^k$ を法とする $p$ 乗剰余和の挙動を決定づける上でどのような意味を持つのか？

主な発見

• すべての奇素数 $p > 2$ および $k \geq K_p$ に対して、$F_k + F_k$ のペア和は $p^k$ を法として $G_k$ のちょうど半分をカバーする。これは可換性の下で達成可能な最大値である。
• $p$ 乗剰余の集合 $F_k$ は、$F_k$ の高々4つの元の和として、すべての $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$ の倍数をカバーすることを確認し、3つの $p$ 乗剰余で $N_0 \setminus \{0\}$ が生成可能であることを裏付ける。
• この結果は $p = 2$ における古典的四平方定理と整合的であり、すべての奇素数 $p > 2$ に対して一様なモジュラー・ワーリング型の結果が成り立つ可能性を示唆する。