[論文レビュー] A characterization of length-factorial Krull monoids

Alfred Geroldinger, Qinghai Zhong|arXiv (Cornell University)|Jan 26, 2021

Rings, Modules, and Algebras参考文献 43被引用数 8

ひとこと要約

本稿では、クラス群とクラス内における素因数の分布に関する条件を同定することにより、長さ的因子的Krullモノイドの完全な代数的特徴付けを提供する。主な結果は、Krullモノイドが長さ的因子的（だが因子的ではない）であるための必要十分条件は、各素因数を含むクラスに正確に1つのそれらの素因数が存在することであり、モノイドが特定のアーベル群構造を持つブロックモノイドに同型であることである。この群構造には、生成元の位数と関係に関する制約が課される。

ABSTRACT

An atomic monoid is length-factorial if each two distinct factorizations of any element have distinct factorization lengths. We provide a characterization of length-factorial Krull monoids in terms of their class groups and the distribution of prime divisors in the classes.

研究の動機と目的

• 任意の元の異なる因数分解がすべて異なる長さを持つとき、Krullモノイドが長さ的因子的である条件を特徴付けること。
• 長さ的因子的性を保証するクラス群の構造的条件と素因数の分布に関する条件を明確にすること。
• 代数的不変量を用いて、長さ的因子的Krullモノイドを因子的または半因子的モノイドと区別すること。
• このようなモノイドが、ねじれとランクの性質が制御された特定のアーベル群上のブロックモノイドに同型であることを確立すること。

提案手法

• 縮約されたKrullモノイド分解の使用：任意のKrullモノイド $ H $ は $ H = H^{\times} \times \mathcal{F}(P_0) \times H^* $ に分解され、ここで $ H^* $ は素元を含まない縮約されたKrullモノイドである。
• クラス群 $ \mathcal{C}(H^*) $ と、素因数を含むクラスの集合 $ G_{P^*} $ の分析。
• 転送準同型の適用により、$ H $ をブロックモノイド $ \mathcal{B}(G_{P^*}) $ に関連づけること。特に、$ G_{P^*} $ の各クラスに正確に1つの素因数が存在するという条件下で行う。
• ゼロ和列理論と群論的制約（例えば、$ s_0 g_i = -\sum s_j e_{i,j} $）を用いて群構造を記述すること。
• $ H $ が長さ的因子的であることと、$ H^* \cong \mathcal{B}(G_{P^*}) $ かつ $ G_{P^*} $ が特定のランクと位数条件を満たすこととが同値であることを証明すること。
• 転送Krullモノイド理論と転送準同型の単射性を活用し、$ H $ がKrullであることと、関連するブロックモノイドが長さ的因子的かつ転送写像が単射であることとが同値であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 クラス群と素因数の分布にどのような条件下でKrullモノイドが長さ的因子的になるか。
• RQ2 既知の因子的または半因子的モノイドのケースを超えて、長さ的因子的Krullモノイドを完全に代数的に特徴付けることができるか。
• RQ3 因子的でない長さ的因子的Krullモノイドにおいて、クラス群と素因数生成集合の正確な構造は何か。
• RQ4 長さ的因子的状況下におけるモノイドの不変量、例えば長さ集合系 $ \mathcal{L}(H) $ はどのように振る舞うか。
• RQ5 任意の縮約された長さ的因子的Krullモノイドは、特定のねじれとランク制約を持つ群上のブロックモノイドに同型であるか。

主な発見

• Krullモノイド $ H $ が因子的ではなく長さ的因子的であるための必要十分条件は、$ G_{P^*} $ の各クラスに正確に1つの素因数が存在することであり、$ H^* \cong \mathcal{B}(G_{P^*}) $ かつ $ G_{P^*} $ が $ t $ 個の無限位数生成元と $ k $ 個のねじれまたは無限位数要素を含み、それらの間で定義された関係を持つ特定の群構造を持つことである。
• クラス群 $ \mathcal{C}(H^*) $ は $ (\mathbb{Z}^t \oplus \mathbb{Z}/n\mathbb{Z})^k $ に同型であり、ここで $ n = \gcd(s_0, \dots, s_t) $ であり、$ t = 0 $ であることはクラス群がねじれ群であることと同値である。
• 長さ集合系 $ \mathcal{L}(H) $ は加法的閉じている。これは因子化理論において稀な性質である。
• このようなモノイドの弾性と距離集合は有限であり、$ \mathcal{L}(H) $ はブロックモノイド構造を用いて明示的に決定される。
• モノイド $ H $ がKrullであることと、関連する $ \mathcal{B}(G_{P^*}) $ への転送準同型が単射であることとは同値であり、これは $ H^* \cong \mathcal{B}(G_{P^*}) $ かつ素因数の分布が提示された条件を満たすときに成立する。
• この特徴付けにより、$ H^* $ は有限生成かつねじれなし商群を持つため、正規アフィンモノイドであることが示される。