[論文レビュー] On the sets of lengths of Puiseux monoids generated by multiple geometric sequences

Harold Polo|arXiv (Cornell University)|Jan 17, 2020

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.

研究の動機と目的

• すべての部分単位群が原子的であるような有理数 multicyclic 単位群を特徴付けること。
• 複数の等比数列によって生成される標準的有理数 multicyclic 単位群における長さ集合の構造を分析すること。
• これらの単位群における長さ集合の和が、長さ集合の和の構造定理を満たすことを確立すること。
• 任意の形式 \{md \mid m \in \mathbb{N}\} の等差数列が、あるプアヌー単位群の距離集合として実現可能であることを示すこと。

提案手法

• 有限個の等比数列によって生成される \mathbb{Q}_{\geq 0} の加法的部分単位群として、標準的有理数 multicyclic 単位群を定義する。
• 長さ集合を記述するために多次元等差数列（MAP）の概念を用い、各集合が形式 $ d_i\mathbb{Z} \cap [0, l_i d_i] $ の区間の和として表されることを示す。
• 最小因数分解長と標準因数分解の理論を用いて、単位群の元 $ x $ に対する $ \mathsf{L}(x) $ の構造を分析する。
• 因子分解長と距離を制御するため、$ p_n > dn + 1 $ を満たす素数列 $ p_n $ を用いて特定のプアヌー単位群を構成する。
• 因子分解長の差が固定された $ d $ で割り切れるという事実を活用し、$ \Delta(M) = \{md \mid m \in \mathbb{N}\} $ を実現可能であることを示す。
• 文献 [13, Theorem 4.2] に従い、長さ集合の和の構造定理を適用し、これらの単位群における長さ集合の和が必要な構造的制約を満たしていることを検証する。

実験結果

リサーチクエスチョン

• RQ1 どの有理数 multicyclic 単位群が、すべての部分単位群が原子的であるという意味で、恒久的に原子的であるか？
• RQ2 複数の等比数列によって生成される標準的有理数 multicyclic 単位群における長さ集合の正確な構造は何か？
• RQ3 このような単位群における長さ集合の和は、長さ集合の和の構造定理を満たすか？
• RQ4 任意の形式 \{md \mid m \in \mathbb{N}\} の等差数列が、あるプアヌー単位群の距離集合として現れるか？

主な発見

• 恒久的に原子的である有理数 multicyclic 単位群は、生成数列の比と分母について特定の互いに素条件を満たすものに限られる。
• 標準的有理数 multicyclic 単位群の長さ集合は、定義 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 $ で割り切れるように構成されているため、等号が成り立つ。