[논문 리뷰] Constructing the Primitive Roots of Prime Powers

Nathan Jolly|ArXiv.org|2008. 09. 12.

History and Theory of Mathematics참고 문헌 7인용 수 3

한 줄 요약

이 논문은 홀수 소수 $p$ 와 $k \geq 2$ 에 대해, $p^k$ 의 원시 근들로부터 덧셈과 곱셈 모듈로 $p^{k+1}$ 를 사용하여 $p^{k+1}$ 의 모든 원시 근을 구성적으로 생성하는 방법을 제시한다. 핵심 결과는 각 $p^k$ 의 원시 근 $g$ 에 대해, $0 \leq t \leq p-1$ 인 $p$ 개의 값 $g + tp^k$ 가 모두 $p^{k+1}$ 의 원시 근이며, 중복 없이 $\varphi(\varphi(p^{k+1}))$ 개의 원시 근을 모두 생성한다는 것이다.

ABSTRACT

We use only addition and multiplication to construct the primitive roots of $p^{k+1}$ from the primitive roots of $p^{k}$, where $p$ is an odd prime and $k$ is at least 2.

연구 동기 및 목표

• 지수 연산을 피하고 덧셈과 곱셈만을 사용하여 $p^{k+1}$ 의 모든 원시 근을 명시적이고 기본적인 방법으로 구성하는 것.
• Niven 등이 $p^2$ 에 대해 제안한 구성법을 $k \geq 2$ 인 더 높은 소수 거듭제곱 $p^{k+1}$ 로 확장하는 것.
• $p^{k+1}$ 의 $\varphi(\varphi(p^{k+1}))$ 개의 모든 원시 근이 $p^k$ 의 원시 근들로부터 선형 상승 $g + tp^k$ 를 통해 생성될 수 있음을 보여주는 것.
• 이 구성법이 정확히 $p \cdot \varphi(\varphi(p^k))$ 개의 서로 다른 원시 근을 생성하며, 이는 알려진 개수 $\varphi(\varphi(p^{k+1}))$ 와 일치함을 확립하는 것.

제안 방법

• $p^k$ 의 각 원시 근 $g$ 를 $0 \leq t \leq p-1$ 인 $p$ 개의 후보 $g + tp^k$ 모듈로 $p^{k+1}$ 으로 상승시키기.
• 해슬의 보조정리(Hensel's Lemma)를 사용하여 $x^{\varphi(p^k)} \equiv 1 \pmod{p^{k+1}}$ 의 해의 상승 행동을 분석하고, $k \geq 2$ 일 때 $g$ 가 해로 상승하지 않는다는 것을 보여주는 것.
• 도함수 조건 $f'(g) \equiv 0 \pmod{p}$ 를 이용하여, $\mathrm{ord}_{p^{k+1}}(g + tp^k) = \varphi(p^{k+1})$ 가 되도록 순서가 $\varphi(p^k)$ 가 될 수 없음을 증명하는 것.
• 구성된 값 $g + tp^k$ 가 모두 모듈로 $p^{k+1}$ 에서 서로 다른데, 중복 없이 모든 원시 근을 커버한다는 것을 검증하는 것.
• 총 구성된 근의 수 $p \cdot \varphi(\varphi(p^k))$ 가 $\varphi(\varphi(p^{k+1}))$ 와 일치함을 확인하여 완전성을 보장하는 것.
• $g$ 가 $p^k$ 의 원시 근이자 $k \geq 2$ 이므로 $g^{\varphi(p^k)} \not\equiv 1 \pmod{p^{k+1}}$ 임을 이용하여, 순서가 $\varphi(p^k)$ 가 되는 것을 차단하는 것.

실험 결과

연구 질문

• RQ1 지수 연산 없이 덧셈과 곱셈만을 사용하여 $p^{k+1}$ 의 모든 원시 근을 $p^k$ 의 원시 근들로부터 구성할 수 있는가?
• RQ2 $k \geq 2$ 일 때, $p^k$ 의 각 원시 근 $g$ 가 $g + tp^k$ 의 형태로 $p$ 개의 서로 다른 $p^{k+1}$ 의 원시 근을 생성하는가?
• RQ3 $g + tp^k$ 의 상승이 왜 모듈로 $p^{k+1}$ 에서 순서 $\varphi(p^k)$ 인 원소를 생성하지 않으며, 이것이 원시성 보장에 어떻게 기여하는가?
• RQ4 이러한 구성된 근의 수가 알려진 개수 $\varphi(\varphi(p^{k+1}))$ 와 같은가?
• RQ5 $k \geq 2$ 라는 조건이 해슬의 보조정리와 관련하여 구성의 타당성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• $k \geq 2$ 인 $p^k$ 의 각 원시 근 $g$ 에 대해, $0 \leq t \leq p-1$ 인 $p$ 개의 값 $g + tp^k$ 는 모두 $p^{k+1}$ 의 원시 근이며, 그 외에는 다른 원시 근이 생성되지 않는다.
• 이 구성법은 정확히 $p \cdot \varphi(\varphi(p^k))$ 개의 서로 다른 $p^{k+1}$ 의 원시 근을 생성하며, 이는 알려진 개수 $\varphi(\varphi(p^{k+1}))$ 와 일치한다.
• $g + tp^k$ 의 순서가 결코 $\varphi(p^k)$ 가 되지 않으며, 이는 원시성 보장에 필수적이며, 해슬의 보조정리와 도함수의 영이 되는 조건 $f'(g) \equiv 0 \pmod{p}$ 를 통해 증명된다.
• $k=1$ 일 경우 도함수 조건이 상승을 차단하는 데 충분하지 않기 때문에 이 구성법은 실패한다. 이는 $k \geq 2$ 라는 조건이 필요한 이유를 설명한다.
• 이 방법은 완전히 구성적이고 기본적인 것으로, 지수 연산을 피하고 덧셈과 곱셈만을 사용하므로 수동 계산에 적합하다.
• 이 결과는 Niven 등이 $p^2$ 에 대해 제안한 구성법을 $k \geq 2$ 인 모든 $p^{k+1}$ 으로 일반화하여, 통일된 상승 메커니즘을 제공한다.