[논문 리뷰] On three families of dense Puiseux monoids

Chapman, Scott. T., Marly Gotti외 2명|arXiv (Cornell University)|2016. 12. 31.

Rings, Modules, and Algebras참고 문헌 4인용 수 3

한 줄 요약

이 논문은 세 가지 밀도가 높은 Puiseux 모노이드—k-주기, p-adic, 곱셈적으로 순환하는 모노이드—의 원자적 구조를 조사하며, 원자적 곱셈 순환 Puiseux 모노이드가 FF-모노이드이자 고유 원자적 성질을 가짐을 증명한다. 또한 ℝ≥0에 대해 원자의 집합이 조밀한 무한히 많은 비동형의 원자적 Puiseux 모노이드를 구성한다.

ABSTRACT

A positive monoid is a submonoid of the nonnegative cone of a linearly ordered abelian group. The positive monoids of rank $1$ are called Puiseux monoids, and their atomicity, arithmetic of length, and factorization have been systematically investigated for about ten years. Each Puiseux monoid can be realized as an additive submonoid of the nonnegative cone of $\mathbb{Q}$. We say that a Puiseux monoid is dense if it is isomorphic to an additive submonoid of $\mathbb{Q}_{\ge 0}$ that is dense in $\mathbb{R}_{\ge 0}$ with respect to the Euclidean topology. Every non-dense Puiseux monoid is known to be a bounded factorization monoid. However, the atomic structure as well as the arithmetic and factorization properties of dense Puiseux monoids turn out to be quite interesting. In this paper, we study the atomic structure and some arithmetic and factorization aspects of three families of dense Puiseux monoids.

연구 동기 및 목표

• 밀도가 높은 Puiseux 모노이드의 복잡한 원자적 구조를 이해하기 위해, 이들이 반물질일 수 있거나 원자적일 수 있거나 유한하거나 가чёт수의 원자를 가질 수 있음을 조사한다.
• ℝ≥0에 대해 원자의 집합이 조밀한 무한히 많은 비동형의 원자적 Puiseux 모노이드를 구성한다.
• k-주기 및 곱셈적으로 순환하는 Puiseux 모노이드 내에서 반물질 및 고유 원자적 하위가운데를 특성화한다.
• p-adic Puiseux 모노이드에서 원자성을 위한 필요 및 충분 조건을 설정하고, 이를 더 넓은 가족으로 확장한다.

제안 방법

• 원자의 집합이 ℝ≥0에 조밀하게 퍼지도록 보장하기 위해 특정한 유리수 형태의 생성자를 선택하여 원자적 Puiseux 모노이드의 무한한 가족을 구성한다.
• k-주기 Puiseux 모노이드를 일반화하고 소수 거듭제곱에 대한 밸류이론적 추론을 통해 그 원자성을 분석한다.
• p-adic 밸류이론 기법을 사용하여 고정된 소수의 거듭제곱으로 분모가 구성된 Puiseux 모노이드가 원자적일 때의 조건을 규명한다.
• 모든 원자적 곱셈적으로 순환 Puiseux 모노이드가 원소의 원자 분해 수가 유한한 FF-모노이드임을 증명하기 위해 분해에 포함된 원자의 수를 유계화한다.
• 순서체 내의 모든 BF-모노이드는 고유 원자적임을 증명한 결과를 이용하여 이를 밀도가 높은 Puiseux 모노이드로 확장한다.
• 부모모노이드의 통합과 분모의 최대공약수 조건을 적용하여 더 넓은 범위의 Puiseux 모노이드 가족에서 고유 원자성을 증명한다.

실험 결과

연구 질문

• RQ1 ℝ≥0에 대해 원자의 집합이 조밀한 무한히 많은 비동형의 원자적 Puiseux 모노이드를 구성할 수 있는가?
• RQ2 어떤 k-주기 Puiseux 모노이드가 반물질이며, 이를 특성화하는 조건은 무엇인가?
• RQ3 p-adic Puiseux 모노이드가 원자적일 때의 필요 및 충분 조건은 무엇인가?
• RQ4 모든 원자적 곱셈적으로 순환 Puiseux 모노이드는 고유 원자적일까? 그리고 FF-모노이드 성질을 만족하는가?
• RQ5 분자에 공통 소수 인자가 있는 유리수 거듭제곱으로 생성된 Puiseux 모노이드가 고유 원자적일 조건은 무엇인가?

주요 결과

• 논문은 ℝ≥0에 대해 원자의 집합이 조밀한 무한히 많은 비동형의 원자적 Puiseux 모노이드를 구성한다.
• 생성자의 분모의 최대공약수가 1보다 클 경우, k-주기 Puiseux 모노이드의 하위가운데는 반물질로 특성화된다.
• 모든 원자적 곱셈적으로 순환 Puiseux 모노이드는 FF-모노이드이므로, 모든 원소는 원자로의 유한한 분해만을 가진다.
• 모든 원자적 곱셈적으로 순환 Puiseux 모노이드는 고유 원자적 성질을 가지며, 모든 부분모노이드가 원자적이다.
• 분모의 생성자 분자들이 공통 소수 인자를 공유하는 것은 고유 원자성에 필수적이다; 그렇지 않으면 고유 원자적이지 않은 모노이드가 발생할 수 있다.
• ⟨(2/77)^n, (3/77)^m | n,m∈ℕ⟩ 형태의 Puiseux 모노이드는 부분모노이드 ⟨1/7^k | k∈ℕ⟩를 포함하므로 고유 원자적이지 않다.