[논문 리뷰] On congruence half-factorial Krull monoids with cyclic class group

Alain Plagne, Wolfgang Schmid|arXiv (Cornell University)|2017. 09. 04.

Rings, Modules, and Algebras참고 문헌 24인용 수 7

한 줄 요약

이 논문은 유한 순환 계급군을 가진 합동 반인정 Krull 모노이드의 완전한 분류를 제공한다. 이는 길이 집합에서 가능한 모든 최소 거리와 이상수의 이상수 클래스에 대한 정확한 분포를 규명함으로써 이루어지며, 주요 기여는 큰 $d$ 값에 대해 계급군 원소당 최대 이상수 개수 $\mathsf{a}_{\{0,d\}}(G)$의 정확한 특성화이다. 이는 $\mathsf{a}_{\{0,d\}}(G) = 3, 4, 5, 6$에 대한 명시적 공식을 $d$와 군 순서 $n$에 따라 제시하며, 대수적 정수의 환과 기타 고전적인 산술 구조에 적용 가능하다.

ABSTRACT

We carry out a detailed investigation of congruence half-factorial Krull monoids with finite cyclic class group and related problems. Specifically, we determine precisely all relatively large values that can occur as a minimal distance of a Krull monoid with finite cyclic class group, as well as the exact distribution of prime divisors over the ideal classes in these cases. Our results apply to various classical objects, including maximal orders and certain semi-groups of modules. In addition, we present applications to quantitative problems in factorization theory. More specifically, we determine exponents in the asymptotic formulas for the number of algebraic integers whose sets of lengths have a large difference.

연구 동기 및 목표

• 유한 순환 계급군을 가진 $d$-합동 반인정 Krull 모노이드가 존재하는 가능한 모든 최소 거리 $d$의 값을 규명하는 것.
• 이러한 모노이드에서 이상수의 이상수 클래스에 대한 정확한 분포를 특성화하는 것.
• 큰 $d$에 대해 계급군 원소당 최대 이상수 개수 $\mathsf{a}_{\{0,d\}}(G)$를 계산하는 것. 이는 인수분해 수의 점근적 행동을 지배한다.
• 이러한 결과를 수론적 인수분해 이론의 정량 문제에 적용하는 것. 특히 대수적 정수의 환과 정칙환에 응용한다.

제안 방법

• 계급군 $G$ 위의 영합 순서열의 블록 모노이드로 Krull 모노이드의 연구를 전이 원리에 의해 단순화한다.
• 영합 순서열 이론의 결과, 특히 $\Delta^*(G)$와 부분집합 $G_0 \subset G$에 대한 최소 거리 $\min\Delta(G_0)$의 구조를 응용한다.
• 정리 7.7 및 보조정리 7.8–7.10을 사용하여 $\min\Delta(G_0) = d$ 또는 $d \mid \min\Delta(G_0)$를 만족하는 $|G_0|$의 최대화를 통해 $\mathsf{a}_{\{0,d\}}(G)$를 계산한다.
• 디리클레 급수와 타우버형 정리의 분석을 통해 인수분해 집합의 수세기 함수의 점근적 성장을 분석하여 $\mathsf{a}_{\mathcal{D}}(G)$의 주요 크기의 정도를 유도한다.
• $\mathsf{a}_{\mathcal{D}}(G)$를 특정 다중성 조건을 갖는 영합 순서열이 존재하는 조건에 의해 정의된 부분집합 $G_0 \subset G$의 최대 크기로 식별한다.
• $\beta^{-1}(\Omega(G_0, S, \ell)) \neq \emptyset$ 조건을 사용하여 $\mathsf{a}_{\mathcal{D}}(G)$를 정의하고 경계를 설정하며, 이를 특정 지지집합과 다중성 조건을 갖는 순서열의 존재성과 연결한다.

실험 결과

연구 질문

• RQ1 유한 순환 계급군을 가진 Krull 모노이드에서, 길이 집합의 최소 거리로 나타날 수 있는 $d$ 값은 무엇인가?
• RQ2 합동 반인정 Krull 모노이드에서 이상수는 이상수 클래스에 정확히 어떻게 분포되어 있는가?
• RQ3 유한 순환군 $G$의 순서가 $n$일 때, 큰 $d$와 정수일 경우 계급군 원소당 최대 이상수 개수 $\mathsf{a}_{\{0,d\}}(G)$는 무엇인가?
• RQ4 대수적 정수의 환에서 인수분해 집합의 점근적 수세기 함수는 계급군의 구조와 최소 거리 $d$에 따라 어떻게 달라지는가?
• RQ5 큰 $d$에 대해 $\mathsf{a}_{\{0,d\}}(G) = 3, 4, 5, 6$가 성립하는 정확한 조건은 $n$과 $d$의 산술적 제약 조건에 따라 어떻게 기술될 수 있는가?

주요 결과

• 유한 순환군 $G$의 순서 $n \geq 250$일 때, $d \in \{n-2, (n-3)/2, (n-4)/3, (n-5)/4\}$ 이며, 이 값들이 모두 정수일 경우 $\mathsf{a}_{\{0,d\}}(G) = 3$이다.
• 만약 $d \in \{(n-2)/2, (n-4)/2, (n-6)/3\}$ 이고 $d$가 정수일 경우, $\mathsf{a}_{\{0,d\}}(G) = 4$이다.
• 만약 $d = (n-6)/4$ 가 정수일 경우, $\mathsf{a}_{\{0,d\}}(G) = 5$이다.
• 만약 $d = (n-4)/4$ 가 정수일 경우, $\mathsf{a}_{\{0,d\}}(G) = 6$이며, 이는 이 값에서 복잡도가 급격히 증가함을 보여준다.
• 홀수 소수 $q \mid n$에 대해, $d = (n - q - 1)/q$ 가 정수이고 $q \leq n^{1/3}/2$ 라면, $\mathsf{a}_{\{0,d\}}(G) = 3$이며, 이는 더 넓은 범위의 $d$에 대해 결과를 확장한다.
• 만약 $d = (n - 2q)/q$ 가 정수이고 $q \leq n^{1/3}/2$ 라면 $\mathsf{a}_{\{0,d\}}(G) = 4$이며, $d = (n - 2q)/q^2$ 가 정수이고 $q \leq n^{1/6}/2$ 라면 $\mathsf{a}_{\{0,d\}}(G) = 6$이다. 이는 $n$의 소인수 분해에 따라 의존함을 보여준다.