2025-11-10T03:12:50.933511

A Congruence for Sums of Integer Powers Modulo Products of Distinct Primes

Huang, Wu

Let p1, p2,..., pn be distinct prime numbers, and let Nn be their product. We prove that, for any positive integer L that is divisible by the least common multiple of p1 minus one, p2 minus one, and so on, and for integers a1, a2,..., an satisfying that each ai is relatively prime to Nn and shares the same prime factor pi, a certain congruence relation holds among their Lth powers.

academic

서로 다른 소수의 곱에 대한 정수 거듭제곱 합의 합동식

기본 정보

논문 ID: 2510.10418
제목: A Congruence for Sums of Integer Powers Modulo Products of Distinct Primes
저자: Shao-Yuan Huang, Hsiu-Yu Wu (국립대만북교육대학교 수학 및 정보교육학과)
분류: math.NT (정수론)
발표 시간: 2025년 10월 12일 (arXiv 사전인쇄본)
논문 링크: https://arxiv.org/abs/2510.10418

초록

$p_1, p_2, \ldots, p_n$ 을 서로 다른 소수라 하고, $N_n = p_1p_2 \cdots p_n$ 이라 하자. 본 논문은 $\text{lcm}(p_1-1, p_2-1, \ldots, p_n-1)$ 로 나누어지는 임의의 양의 정수 $L$ 과 $\gcd(a_i, N_n) = p_i$ 를 만족하는 자연수 $a_i$ 에 대해 다음의 합동 관계가 존재함을 증명한다: $a_1^L + a_2^L + \cdots + a_n^L \equiv n-1 \pmod{N_n}$ . 또한 본 논문은 $n=2,3$ 인 경우에 대해 $a^\eta \pmod{N_n}$ 의 나머지 문제에 대한 완전한 해답을 제시한다.

연구 배경 및 동기

문제의 중요성

나머지 문제의 기초성: $a^\eta \equiv ? \pmod{p_1p_2 \cdots p_n}$ 형태의 나머지 문제를 결정하는 것은 정수론의 고전적 문제이며, 암호학, 소수성 판정 및 계산 정수론에서 광범위한 응용을 가진다.
기존 방법의 한계:
- 페르마의 소정리는 소수 모듈로에만 적용 가능
- 오일러 정리는 합수 모듈로에 적용 가능하지만 오일러 파이 함수를 사용해야 함
- 합수 모듈로를 다룰 때는 일반적으로 중국인의 나머지 정리와 결합해야 하므로 과정이 복잡함
통일된 틀의 필요성: 기존 방법은 통일된 처리 틀이 부족하며, 본 논문은 더 직접적인 공식 체계를 수립하여 더 많은 사람들이 이러한 공식을 직접 적용하여 해당 나머지를 얻을 수 있도록 하는 것을 목표로 한다.
새로운 합동 성질의 발견: 연구 과정에서 소수 거듭제곱 합의 흥미로운 합동 성질이 발견되었다.

핵심 기여

주요 정리: 서로 다른 소수의 곱을 모듈로로 하는 경우에 특정 조건을 만족하는 정수 거듭제곱 합의 합동 관계를 증명 (정리 4)
나머지 문제의 완전한 해답: $n=2,3$ 인 경우에 대해 $a^\eta \pmod{N_n}$ 의 완전한 공식 제시 (정리 3과 정리 5)
통일된 이론 틀: 페르마의 소정리를 기반으로 통일된 방법을 수립하고 여러 고전적 나머지 공식 확장
구체적인 계산 공식: 직접 적용 가능한 나머지 계산 공식 제공으로 복잡한 중국인의 나머지 정리 계산 과정 회피

방법 상세 설명

핵심 이론 기초

본 논문은 다음의 고전적 정리를 기반으로 한다:

페르마의 소정리: $p$ 가 소수이고 $a \in \mathbb{N}$ 이며 $\gcd(a,p)=1$ 이면, $a^{p-1} \equiv 1 \pmod{p}$
오일러 정리: $\gcd(a,n)=1$ 이면, $a^{\phi(n)} \equiv 1 \pmod{n}$

주요 결과

정리 3 ( $n=2$ 인 경우)

$p$ 와 $q$ 를 서로 다른 소수라 하고, $a \in \mathbb{N}$ 이라 하자. 그러면:

$\gcd(a,pq) = pq$ 이면, $a^\eta \equiv 0 \pmod{pq}$
$\gcd(a,pq) = 1$ 이면, $a^{\text{lcm}(p-1,q-1)\eta} \equiv 1 \pmod{pq}$
$\gcd(a,pq) = q$ 이면, $a^{(p-1)\eta} \equiv qq_p \pmod{pq}$
$\gcd(a,pq) = p$ 이면, $a^{(q-1)\eta} \equiv 1-qq_p \pmod{pq}$

여기서 $q_p$ 는 $\mathbb{Z}_p$ 에서 $q$ 의 곱셈 역원이다.

정리 4 (주요 정리)

$p_1, p_2, \ldots, p_n$ 을 서로 다른 소수라 하고, $a_1, a_2, \ldots, a_n \in \mathbb{N}$ 이 $\gcd(a_i, p_1p_2 \cdots p_n) = p_i$ 를 만족한다고 하자. 그러면 $\text{lcm}(p_1-1, p_2-1, \ldots, p_n-1)$ 로 나누어지는 임의의 양의 정수 $L$ 에 대해: