[논문 리뷰] A note on Euclidean cyclic cubic fields

Srinivas Kotyada, Subramani Muthukrishnan|arXiv (Cornell University)|2017. 06. 15.

Mathematical Dynamics and Fractals참고 문헌 5인용 수 4

한 줄 요약

이 논문은 73에서 11,971 사이의 판별식을 가진 모든 순환 삼차 수체 중에서 클래스 수가 1인 체가 유클리드임을 증명한다. 이는 허용 가능한 소수와 비-위퍼리히 소수 기반의 기준에 기반한다. 클래스 수가 1이면 이러한 체가 유클리드임을 보이며, 이는 이전의 노름-유클리드 순환 삼차 체 결과를 67까지의 판별식을 초월하여 확장한다.

ABSTRACT

Let $K$ be a cyclic cubic field and $\mathcal{O}_K$ be its ring of integers. In this note we prove that all cyclic cubic number fields with conductors in the interval $ [73, 11971]$ and with class number one are Euclidean.

연구 동기 및 목표

• 판별식 f ∈ [73, 11971]인 순환 삼차 체 중에서 클래스 수가 1인 체가 유클리드인지 여부를 규명하는 것.
• 스미스(1969)가 67까지의 판별식 범위에서 노름-유클리드 성질을 확립한 바를 초월하여, 이 범위를 넘어서 유클리드 성질이 성립하는지 확장하는 것.
• 단위군의 구조와 소자리 조건을 활용하여 이러한 체의 유클리드 성질을 검증하는 계산 알고리즘을 제공하는 것.
• 이 판별식 범위 내에서 유클리드 성질이 정확히 클래스 수가 1일 때 성립함을 확인하는 것.

제안 방법

• 클래스 수가 1인 수체에서, 만약 허용 가능한 소수 집합이 s개를 가지며 r + s ≥ 3이면 유클리드임을 보여주는 허프와 람 무르티의 기준을 활용한다.
• 단일 소수 π를 선택하여 그 노름이 홀수 소수이고, 단위 ε가 π를 모듈로로 하여 원시근이며, π가 ε 기준으로 비-위퍼리히임을 보여, 크기 s = 1인 허용 가능한 집합을 구성한다.
• 레마 1.3을 활용하여 단위 ε가 (O_K / π²)^×의 곱셈군을 생성함을 보장하며, 이는 단위군에서 (O_K / π²)^×로의 표준 사상이 전사임을 의미한다.
• 순환 삼차 체는 전적으로 실수이므로 단위군의 질서 r = 2이며, 따라서 s = 1이 r + s ≥ 3 조건을 충족시키기에 충분하다.
• 유리 소수 p가 K에서 완전 분해됨과 동시에 p가 f에 대해 세제곱 잔여물임과 동치이며, 즉 p^{(f−1)/3} ≡ 1 (mod f)임을 이용한다.
• 각 판별식 f ∈ [73, 11971] 및 클래스 수가 1인 순환 삼차 체에 대해 이러한 소수 π와 단위 ε의 존재를 검증하기 위한 계산 알고리즘을 적용한다.

실험 결과

연구 질문

• RQ1 판별식 f ∈ [73, 11971]인 모든 순환 삼차 체 중에서 클래스 수가 1이면 유클리드인가?
• RQ2 스미스(1969)가 67까지의 판별식 범위에서 확립한 노름-유클리드 범위를 초월하여, 클래스 수가 1인 순환 삼차 체에서 유클리드 성질이 성립하는가?
• RQ3 특정 성질(원시근 및 비-위퍼리히)을 갖는 단일 허용 가능한 소수의 존재가 이러한 체의 유클리드 성질을 증명하는 데 사용될 수 있는가?
• RQ4 r = 2 및 s = 1일 때 r + s ≥ 3 조건이 수체의 정수환의 유클리드 성질을 결론짓는 데 충분한가?
• RQ5 주어진 판별식 범위 내의 모든 이러한 체에 대해 알고리즘적 접근을 체계적으로 적용하여 유클리드 성질을 검증할 수 있는가?

주요 결과

• 판별식 f ∈ [73, 11971]이면서 클래스 수가 1인 모든 순환 삼차 체는 허프-람 무르티 기준에 의해 유클리드임이 증명되었다.
• 증명은 단일 허용 가능한 소수 π를 구성함에 기반하며, 그 노름은 홀수 소수여야 하며, 단위 ε는 π를 모듈로로 하여 원시근이어야 하며, π는 ε 기준으로 비-위퍼리히여야 한다.
• 각 체에 대해 이러한 소수 π의 존재는 단위군에서 (O_K / π²)^×로의 표준 사상이 전사임을 보장하며, 이는 허용 가능성 조건을 충족시킨다.
• 논문에서 개발한 알고리즘은 지정된 범위 내에서 클래스 수가 1이면서 판별식이 이에 해당하는 114개의 알려진 순환 삼차 체에 대해 유클리드 성질을 성공적으로 검증하였다.
• 논문은 이 판별식 간격 내에서 유클리드 성질이 클래스 수가 1일 때 정확히 성립함을 확인하였으며, 이는 이전 결과를 확장한다.
• 알고리즘의 Sage 코드는 공개되어 있어, 향후 데이터베이스에 추가된 체에 대해서도 검증이 가능하다.