[논문 리뷰] Remarks on a Problem of Eisenstein

Roger C. Alperin|ArXiv.org|2006. 08. 30.

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

한 줄 요약

이 논문은 제곱-free인 N ≡ 5 mod 8일 때, ℤ[√N]의 기본 단위가 최대 정수환 ℤ[√N] 또는 그의 세 제곱과 같은지에 대한 아이ゼ인슈타인의 문제를 조사한다. 연속 분수와 아이디얼 클라스 군 이론을 사용하여, 무한히 많은 N = 4a² + 1 (a는 3보다 큰 홀수)에 대해 단위 지수 e = 1임을 증명하고, 무한히 많은 N = a² ± 4 (a는 3보다 큰 홀수)에 대해 e = 3임을 증명함으로써, 대수적 수론과 연속 분수 동치성에 의한 이러한 단위의 분류를 해결한다.

ABSTRACT

The fundamental unit of $\Z[\sqrt{N}]$ for square-free $N=5 mod 8$ is either $ε$ or $ε^3$ where $ε$ denotes the fundamental unit of the maximal order of $\Q(\sqrt{N})$. We give infinitely many examples for each case.

연구 동기 및 목표

• N ≡ 5 mod 8일 때, ℤ[√N]의 기본 단위의 지수 e가 최대 정수환에 대해 어떻게 되는지 아이제인슈타인의 문제를 해결하기.
• 제곱-free인 N ≡ 5 mod 8에 대해, ℤ[√N]의 기본 단위가 정수환의 기본 단위와 같은 조건을 규명하기.
• 연속 분수 동치성과 대수적 수론을 사용하여, e = 1 및 e = 3인 N의 명시적 무한 집합을 제공하기.
• 클라스 군 구조를 통해, (±√N ± 1)/4가 √N과 동치일 때와 단위 지수 e 사이의 연결 고리를 설정하기.

제안 방법

• 실수 이차 무리수의 동치성 분석을 위해 연속 분수 전개를 사용하며, 특히 (±√N ± 1)/4와 √N을 대상으로 한다.
• 실수 이차 수체의 순서에서 아이디얼 클라스 군 이론을 적용하며, 특히 Cl(ℤ[√N])에서 Cl(𝒪_N)로 가는 자연스러운 사상의 차원 3 핵심에 집중한다.
• e = 3이어야 하는 조건은 ℚ(√N)의 기본 단위가 ℤ[√N]에 속하지 않을 때이므로, 이는 정확히 [4, √N + 1]가 주어진 이상이 아닐 때 발생한다.
• 연속 분수의 동치성을 사용하여 (±√N ± 1)/4가 √N과 동치인지 여부를 판단하며, 이는 주 이상 조건과 동치이다.
• 에르되시의 정리를 적용하여, 홀수 a에 대해 N = 4a² + 1 및 N = a² ± 4의 가족에서 제곱-free 값이 무한히 많음을 보인다.
• x² - Ny² = ±4 이며 홀수 x, y인 노름 방정식을 분석하여, 기본 단위가 ℤ[√N]에 속하는지 여부를 판단함으로써, 이는 e = 1 또는 e = 3와 연결된다.

실험 결과

연구 질문

• RQ1 제곱-free인 N ≡ 5 mod 8에 대해, ℤ[√N]의 기본 단위가 최대 정수환의 기본 단위와 같은 경우는 언제인가?
• RQ2 N에 어떤 조건이 성립하면 ℚ(√N)의 기본 단위가 부분환 ℤ[√N]에 속하게 되어 e = 1이 되는가?
• RQ3 (±√N ± 1)/4가 연속 분수의 관점에서 √N과 동치일 때, 이는 ℤ[√N]의 단위 지수 e와 어떻게 관련되는가?
• RQ4 N ≡ 5 mod 8인 경우, e = 1 또는 e = 3인 무한한 N의 가족을 어떻게 구성할 수 있는가?
• RQ5 ℤ[√N]의 클라스 군이 최대 정수환의 기본 단위가 부분환에 속하는지 여부를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 3보다 큰 홀수 a에 대해 무한히 많은 경우, N = 4a² + 1은 제곱-free이며, e = 1을 만족한다. 이는 ℚ(√N)의 기본 단위가 ℤ[√N]에 속한다는 것을 의미한다.
• 3보다 큰 홀수 a에 대해 무한히 많은 경우, N = a² + 4는 제곱-free이며, e = 3을 만족한다. 이는 ℚ(√N)의 기본 단위가 ℤ[√N]에 속하지 않는다는 것을 의미한다.
• 3보다 큰 홀수 a에 대해 무한히 많은 경우, N = a² - 4는 제곱-free이며, e = 3을 만족한다. 다시 말해, 기본 단위가 ℤ[√N]에 속하지 않는다.
• 연속 분수의 관점에서 (±√N ± 1)/4가 √N과 동치일 조건은 e = 3과 동치이다.
• ℚ(√N)의 기본 단위 ε는 x² - Ny² = ±4를 만족하고 x, y가 모두 홀수일 때이고, 이는 정확히 e = 3일 때 성립한다.
• Cl(ℤ[√N]) → Cl(𝒪_N)의 자연스러운 사상의 핵이 자명일 때이고, 오직 그 때만 e = 3이며, 순환군으로서 차수 3이 되고 오직 그 때만 e = 1일 때이다.