[논문 리뷰] Mersenne Primes in Real Quadratic Fields

Sushma Palimar, B. R. Shankar|arXiv (Cornell University)|2012. 05. 02.

Analytic Number Theory Research참고 문헌 9인용 수 4

한 줄 요약

이 논문은 메르센 소수를 실 이차체로 확장하며, 특히 $\mathbb{Q}(\sqrt{2})$에 중점을 두고 있으며, 일반화된 메르센 소수의 노름이 유리 소수일 경우, 이를 $x^2 + 7y^2$ 형태로 표현할 수 있음을 증명한다. 여기서 $x \equiv 0 \pmod{8}$ 이고 $y \equiv \pm 3 \pmod{8}$ 를 만족한다. 이는 아르틴의 상호법칙을 사용하여 레머마이어의 결과를 일반화한 것이다.

ABSTRACT

The concept of Mersenne primes is studied in real quadratic fields of class number 1. Computational results are given. The field $Q(\sqrt{2})$ is studied in detail with a focus on representing Mersenne primes in the form $x^{2}+7y^{2}$. It is also proved that $x$ is divisible by 8 and $y\equiv \pm3\pmod{8}$ generalizing the result of F Lemmermeyer, first proved in \cite{LS} using Artin's Reciprocity law.

연구 동기 및 목표

• 유리수에서의 메르센 소수 표현 $x^2 + 7y^2$ 를 계수 수가 1인 실 이차체로 일반화하는 것.
• 정수环 $\mathcal{O}_K$ 에서의 기약 원소 $\alpha$ 에 대해 $\alpha - 1$ 이 단위원이 되는 조건을 만족하는 $\mathbb{Q}(\sqrt{2})$ 에서의 일반화된 메르센 소수의 산술적 구조를 연구하는 것.
• 노름 $N(M_{p,\alpha}) = x^2 + 7y^2$ 에서 $x$ 와 $y$ 에 대한 합동 조건을 설정하여, 레머마이어의 결과를 $\mathbb{Q}(\sqrt{2})$ 로 확장하는 것.
• 아르틴의 상호법칙을 적용하여 관련 아이디얼의 아르틴 기호가 자명함을 증명함으로써, $x$ 와 $y$ 에 대한 합동 조건을 도출하는 것.

제안 방법

• 계수 수가 1인 실 이차체 $K = \mathbb{Q}(\sqrt{d})$ 에서 일반화된 메르센 소수를 $M_{p,\alpha} = \frac{\alpha^p - 1}{\alpha - 1}$ 으로 정의하며, 여기서 $\alpha \in \mathcal{O}_K$ 는 기약이고 $\alpha - 1$ 은 단위원 (단, $\pm 1$ 은 아님) 이다.
• 노름 $N(M_{p,\alpha}) = N\left(\frac{\alpha^p - 1}{\alpha - 1}\right)$ 을 사용하여 $\mathbb{Z}$ 에서의 소수성을 판단하고, 이를 유리 소수로 간주한다.
• $K = \mathbb{Q}(\sqrt{2})$ 에서는 $u^n = v_n + w_n\sqrt{2}$ 를 만족하는 $v_n$ 과 $w_n$ 의 재귀 관계를 분석한다. 여기서 $u = 1 + \sqrt{2}$ 는 기본 단위이다.
• $N(M_{p,\alpha}) \equiv 2^{\frac{p+3}{2}}w_p - 2^p - 1 \pmod{7}$ 를 계산하고, 모듈로 산술을 통해 $N(M_{p,\alpha}) \equiv 1$ 또는 $4 \pmod{7}$ 임을 보이며, 이는 $x^2 + 7y^2$ 로 표현 가능함을 시사한다.
• 아르틴의 상호법칙을 적용하기 위해 $v_p\mathcal{O}_K$ 와 $\bar{v}_p\mathcal{O}_K$ 의 아르틴 기호를 계산하고, 7로 모듈로를 줄여 자명함을 보인다.
• 8과 16로 모듈로한 합동 분석을 통해 $x \equiv 0 \pmod{8}$ 과 $y \equiv \pm 3 \pmod{8}$ 를 증명한다. 이는 $x$ 가 짝수이고 $y$ 가 홀수이며, $x^2 \equiv 0 \pmod{8}$ 이라는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 유리수체 $\mathbb{Q}(\sqrt{2})$ 에서의 메르센 소수는 그 노름이 유리 소수일 경우 항상 $x^2 + 7y^2$ 형태로 표현될 수 있는가?
• RQ2 그러한 표현에서 $x$ 와 $y$ 에 필요한 합동 조건은 무엇이며, 기존의 유리수 메르센 소수에 대한 결과를 일반화하는가?
• RQ3 아르틴의 상호법칙은 $\mathbb{Q}(\sqrt{2})$ 에서의 $x$ 와 $y$ 에 대한 합동 조건을 증명하는 데 어떻게 기여하는가?
• RQ4 기본 단위 $1 + \sqrt{2}$ 는 일반화된 메르센 소수와 그 노름 표현을 생성하는 데 어떤 역할을 하는가?
• RQ5 $w_p$ 와 $v_p$ 에 특정한 모듈로 제약 조건이 존재하여 $N(M_{p,\alpha})$ 가 $x^2 + 7y^2$ 로 표현 가능하게 하는가?

주요 결과

• $\mathbb{Q}(\sqrt{2})$ 에서 $N(M_{p,\alpha})$ 가 유리 소수일 경우, 7로 모듈로한 분석을 통해 항상 $x^2 + 7y^2$ 로 표현 가능하다.
• $p \equiv 1 \pmod{6}$ 일 때 $N(M_{p,\alpha}) \equiv 1 \pmod{7}$ 이고, $p \equiv 5 \pmod{6}$ 일 때 $\equiv 4 \pmod{7}$ 이며, 둘 다 $x^2 + 7y^2$ 로 표현 가능하다.
• $x \equiv 0 \pmod{8}$ 과 $y \equiv \pm 3 \pmod{8}$ 를 증명하였으며, 이는 레머마이어의 결과를 유리수 메르센 소수에서 $\mathbb{Q}(\sqrt{2})$ 로 일반화한 것이다.
• 노름이 $\equiv -1 \pmod{16}$ 이므로 $y^2 \equiv 9 \pmod{16}$ 이 도출되며, 이는 $y \equiv \pm 3 \pmod{8}$ 를 의미한다.
• $v_p\mathcal{O}_K$ 의 아르틴 기호는 자명하다. $\sqrt{2} = 4$ 일 때 $v_p \equiv 1 \pmod{7}$ 이며, 마찬가지로 $\bar{v}_p$ 에 대해서도 동일하게 적용되므로 아르틴의 상호법칙 적용 가능성이 확인된다.
• $v_1 = w_1 = 1$ 이고 $v_{n+1} = v_n + 2w_n$, $w_{n+1} = v_n + w_n$ 인 재귀 관계는 $u^n = v_n + w_n\sqrt{2}$ 를 생성하며, 이는 $N(M_{p,\alpha})$ 를 계산하는 데 필수적이다.