[논문 리뷰] On the sets of lengths of Puiseux monoids generated by multiple geometric sequences

Harold Polo|arXiv (Cornell University)|2020. 01. 17.

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

한 줄 요약

이 논문은 여러 기하수열로 생성된 푸아소르 모노이드의 인수분해 성질을 조사하며, 그들의 길이 집합이 다차원 산술급수의 유한한 합집합임을 증명하고, 이러한 합집합이 길이 집합의 구조 정리에 부합함을 보이며, 또한 형태 \{md \mid m \in \mathbb{N}\}의 산술급수는 특정 푸아소르 모노이드의 거리 집합으로 실현될 수 있음을 보여준다.

ABSTRACT

In this paper, we study some of the factorization aspects of rational multicyclic monoids, that is, additive submonoids of the nonnegative rational numbers generated by multiple geometric sequences. In particular, we provide a complete description of the rational multicyclic monoids $M$ that are hereditarily atomic (i.e., every submonoid of $M$ is atomic). Additionally, we show that the sets of lengths of certain rational multicyclic monoids are finite unions of multidimensional arithmetic progressions, while their unions satisfy the Structure Theorem for Unions of Sets of Lengths. Finally, we realize arithmetic progressions as the sets of distances of some additive submonoids of the nonnegative rational numbers.

연구 동기 및 목표

• 모든 부분모노이드가 원자적임을 만족하는 유리수 다주기 모노이드를 특성화하기 위해.
• 다수의 기하수열로 생성된 표준 유리수 다주기 모노이드에서 길이 집합의 구조를 분석하기 위해.
• 이러한 모노이드에서 길이 집합의 합집합이 길이 집합의 합집합에 대한 구조 정리에 부합함을 확립하기 위해.
• 임의의 형태 \{md \mid m \in \mathbb{N}\}의 산술급수를 어떤 푸아소르 모노이드의 거리 집합으로 실현하기 위해.

제안 방법

• 유한 개의 기하수열로 생성되는 \mathbb{Q}_{\geq 0}의 덧셈 부분모노이드로 표준 유리수 다주기 모노이드를 정의한다.
• 다차원 산술급수(MAP) 개념을 사용하여 길이 집합을 기술하며, 각 집합은 형태 $ d_i\mathbb{Z} \cap [0, l_i d_i] $의 간격의 합으로 표현된다.
• 최소 인수분해 길이 이론과 표준 인수분해를 활용하여 모노이드의 원소 $ x $에 대해 $ \mathsf{L}(x) $의 구조를 분석한다.
• 요구사항을 충족시키기 위해 소수 $ p_n $의 수열을 사용하여 특정 푸아소르 모노이드를 구성하며, 이때 $ p_n > dn + 1 $을 만족시킨다.
• 인수분해 길이의 차이가 고정된 $ d $로 나누어떨어짐을 이용하여 $ \Delta(M) = \{md \mid m \in \mathbb{N}\} $를 실현할 수 있음을 활용한다.
• 문헌 [13, Theorem 4.2]에서 제시된 길이 집합의 합집합에 대한 구조 정리(Structure Theorem for Unions of Sets of Lengths)를 적용하여, 이러한 모노이드에서 길이 집합의 합집합이 요구되는 구조적 제약 조건을 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 어떤 유리수 다주기 모노이드가 모든 부분모노이드가 원자적임을 만족하는가, 즉, 모든 부분모노이드가 원자적임을 만족하는가?
• RQ2 다수의 기하수열로 생성된 표준 유리수 다주기 모노이드에서 길이 집합의 정확한 구조는 무엇인가?
• RQ3 이러한 모노이드에서 길이 집합의 합집합은 길이 집합의 합집합에 대한 구조 정리를 만족하는가?
• RQ4 형태 \{md \mid m \in \mathbb{N}\}의 임의의 산술급수는 어떤 푸아소르 모노이드의 거리 집합으로 나타날 수 있는가?

주요 결과

• 모든 부분모노이드가 원자적임을 만족하는 유리수 다주기 모노이드는 그 생성 수열의 비율과 분모 사이에 특정한 서로소 조건을 만족할 때에만 해당된다.
• 표준 유리수 다주기 모노이드의 길이 집합은 정의 2.1에서 정의된 바와 같이 다차원 산술급수의 유한한 합집합이다.
• 이러한 모노이드에서 길이 집합의 합집합은 [13, Theorem 4.2]에서 확립된 바와 같이 길이 집합의 합집합에 대한 구조 정리를 만족한다.
• 임의의 양의 정수 $ d $에 대해, $ \Delta(M) = \{md \mid m \in \mathbb{N}\} $를 만족하는 푸아소르 모노이드 $ M $가 존재한다. 이는 임의의 무한 산술급수를 거리 집합으로 실현할 수 있음을 의미한다.
• 이러한 모노이드의 비영 원소의 최소 인수분해 길이는 유일하며, 모든 원소의 인수분해는 기저의 유한 부분집합으로 생성된 표준 부분모노이드 내에서 분석할 수 있다.
• 구성된 모노이드의 임의의 원소 $ x $에 대해 거리 집합 $ \Delta(x) $는 $ \{md \mid m \in \mathbb{N}\} $에 포함되며, 연속된 길이 차이가 $ d $로 나누어떨어지도록 인수분해를 구성함으로써 등호가 성립한다.