[論文レビュー] On congruence half-factorial Krull monoids with cyclic class group

Alain Plagne, Wolfgang Schmid|arXiv (Cornell University)|Sep 4, 2017

Rings, Modules, and Algebras参考文献 24被引用数 7

ひとこと要約

本稿は、有限巡回類群をもつ合同半因数的クルールモノイドの完全分類を、長さ集合における最小距離のすべての可能な値と、理想類にわたる素因数の正確な分布を特定することによって行っている。主な貢献は、$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$-合同半因数的クルールモノイドが存在する最小距離 $d$ のすべての可能な値を特定すること。
• このようなモノイドにおける理想類にわたる素因数の正確な分布を特徴付けすること。
• $d$ が大きく、$d$ が大きい場合の、類群の各元ごとの素因数の最大数 $\mathsf{a}_{\{0,d\}}(G)$ を計算すること。これは因数分解数の漸近的挙動を支配する。
• これらの結果を、特に代数的整数環および整形式環における因数分解理論の定量的問題に応用すること。

提案手法

• 類群 $G$ 上のゼロ和列のブロックモノイドにクルールモノイドの研究を還元するための転送原理の使用。
• 特に、最小距離 $\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 有限巡回類群をもち、$d$-合同半因数的性質をもつクルールモノイドの長さ集合における最小距離として、どの $d$ の値が実現可能か？
• RQ2 有限巡回類群をもつ合同半因数的クルールモノイドにおいて、素因数は理想類にどのように正確に分布しているか？
• RQ3 有限巡回群 $G$ の位数が $n$ であるとき、$d$ が大きく整数である場合、類群の各元ごとの素因数の最大数 $\mathsf{a}_{\{0,d\}}(G)$ は何か？
• RQ4 代数的整数環における因数分解集合の漸近的計数関数は、類群の構造と最小距離 $d$ にどのように依存するか？
• RQ5 $n$ と $d$ に対する算術的制約を用いて、$d$ が大きい場合に $\mathsf{a}_{\{0,d\}}(G) = 3, 4, 5, 6$ となる正確な条件は何か？

主な発見

• 位数 $n \geq 250$ の有限巡回群 $G$ に対して、$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$ の素因数分解に依存することを示している。