[논문 리뷰] Powersums representing residues mod p^k, from Fermat to Waring

Nico F. Benschop|ArXiv.org|2001. 03. 13.

Polynomial and algebraic computation참고 문헌 4인용 수 7

한 줄 요약

이 논문은 홀수 소수 $p$ 및 $k \geq 2$ 에 대해 정수를 $p^k$ 모듈로로 나타내는 방식을 군 이론적 및 반군 구조 분석을 통해 다룬다. $p$-제곱 잔여수의 합으로 표현할 수 있는 잔여수의 수를 분석하여, 모든 잔여수는 최대 네 개의 $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$-제곱 잔여수의 수를 규명하며, 워링 문제의 모듈로 변형을 다룬다.
• 영 약수의 약수와 반올림 효과가 잔여수 산술에서 차지하는 역할, 특히 $p$-제곱 쌍 합의 맥락에서 분석한다.
• 임계 정밀도 $K_p < p$ 를 정의하여, 핵심 잔여수 쌍 합이 서로 다를 수 있도록 하며, $F_k + F_k$ 의 구조적 분석을 가능하게 한다.

제안 방법

• 모듈로 $p^k$에서의 곱셈군 $G_k$ 를 분해하여 $A_k \times B_k$ 로 표현하며, 여기서 $A_k$ 는 순서가 $p-1$ 인 핵심 부분군이고, $B_k$ 는 $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$ 는 $n = 1, \dots, (p-1)/2$ 에 대해 핵심 증분 $d_k(n)$ 이 모듈로 $p^k$ 에서 서로 다를 최소의 $k$ 로 정의되며, 오직 1-보완 대칭성만 제외한다.
• 모듈로 $p^k$ 에서 $F_k = \{n^p \pmod{p^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{all } mp \pmod{p^2}$ 를 활용한다.
• 모듈로 $p^k$ 에서의 $\mathbb{Z}[+, \cdot]$ 의 반군 구조를 적용하여 $N_0$ (영 약수) 와 $G_k$ (단위원소) 를 구분하고, $p^2$ 에서의 확장에 의해 $Z \equiv F_{+3} \cup F_{+4}$ 를 증명한다.

실험 결과

연구 질문

• RQ1 모듈로 $p^k$ 에서 모든 잔여수를 표현하기 위해 필요한 최소 $p$-제곱 잔여수의 수는 얼마인가? ($k \geq 2$)
• 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$ 의 정확히 반을 커버하며, 가환성 조건 하에서 얻을 수 있는 최대치이다.
• 모듈로 $p^k$ 에서의 $p$-제곱 잔여수 집합 $F_k$ 는 최대 네 개의 $F_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$ 에 대해 통합된 모듈로 워링 유형 결과를 제안한다.