[論文レビュー] A CHARACTERIZATION OF KRULL MONOIDS FOR WHICH SETS OF LENGTHS ARE (ALMOST) ARITHMETICAL PROGRESSIONS

Alfred Geroldinger, Wolfgang Schmid|arXiv (Cornell University)|Jan 1, 2018

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

ひとこと要約

この論文は、加法的組合せ論の道具を用いて、クラス群が $G$ であるクルールモノイドにおける長さの集合が（ほぼ）等差数列であるような有限アーベル群 $G$ を特徴づけている。すべての長さの集合が等差数列であるのは、$G$ が位数 4 以下の巡回群、または $C_2^3$ や $C_3^2$ の部分群に同型であるときであり、また、ほぼ等差数列や等差多重数列に対しても同様の特徴づけを与えている。

ABSTRACT

Let H be a Krull monoid with finite class group G and suppose that every class contains a prime divisor. Then sets of lengths in H have a well-defined structure which just depends on the class group G. With methods from additive combinatorics we establish a characterization of those class groups G guaranteeing that all sets of lengths are (almost) arithmetical progressions.

研究の動機と目的

• クラス群が $G$ であるクルールモノイドにおけるすべての長さの集合が等差数列（APs）、ほぼ等差数列（AAPs）、または等差多重数列（AMPs）であるような有限アーベル群 $G$ を特徴づけること。
• 長さの集合がこれらの構造的形をとるための正確な群論的条件を特定すること。
• 群の Davenport 定数 $\mathsf{D}(G) \geq 4$ かつ $\mathcal{L}(G)$ がいずれかの構造的形を満たす場合に、$\mathcal{L}(G) = \mathcal{L}(G')$ ならば $G \cong G'$ であることを示し、小規模な群に対する特徴づけ問題を解決すること。
• 長さの集合の系 $\mathcal{L}(G)$ が加法的閉である（集合の和に関して閉じている）のは、$G$ が位数 $\leq 4$ の巡回群、または $C_2^3$ や $C_3^2$ の部分群に同型であるときであり、かつそのときに限ることを確立すること。
• Davenport 定数や距離の集合 $\Delta^*(G)$ などの群不変量に基づいて、長さの集合が AMPs、AAPs、または APs であるような群の完全な分類を提供すること。

提案手法

• 長さの集合が $\mathcal{B}(G)$ において差が $\Delta^*(G)$ に属する AAMP（ほぼ等差多重数列）であるという、長さの集合の構造定理を用いる。
• 特にゼロ和列や $\mathcal{B}(G)$（$G$ 上のゼロ和列のモノイド）における長さの集合の構造に関する結果を含む、加法的組合せ論の技法を適用する。
• 既存の文献（例：[17], [21], [16]）からの実現定理や構造的結果を用いて、群構造の制約下での長さの集合の振る舞いを分析する。
• Davenport 定数 $\mathsf{D}(G)$ と距離の集合 $\Delta^*(G)$ を分析し、長さの集合が APs、AAPs、または AMPs である群を分類する。
• 群論的分解を用いる：巡回群、素数 $p$ の $p$-群（$C_p^r$）、および巡回群の積を検討し、定理 1.1 の条件を検証する。
• 有界性の度合い $\mathsf{c}(G)$ とねらい度 $\mathsf{t}(G)$ の結果を応用し、$\mathcal{L}(G)$ の加法的閉性を特徴づけ、定理 1.1.1 の条件と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 どの有限アーベル群 $G$ に対して、$\mathcal{L}(G)$ のすべての長さの集合が $\Delta^*(G)$ に属する差を持つ等差数列となるか？
• RQ2 $\mathcal{L}(G)$ が集合の和に関して閉じている（加法的閉）とは、どのようなときか？
• RQ3 どの群 $G$ が、すべての長さの集合が一様な上限 $M$ を持つほぼ等差数列であるように保証するか？
• RQ4 どの条件を満たすと、$\mathcal{L}(G)$ のすべての長さの集合が、ある有限集合 $\Delta \supset \Delta^*(G)$ に属する差を持つ等差多重数列となるか？
• RQ5 群 $G$ に対して $\mathsf{D}(G) \geq 4$ かつ $\mathcal{L}(G)$ が定理 1.1 のいずれかの構造的形を満たすとき、$\mathcal{L}(G) = \mathcal{L}(G')$ ならば $G \cong G'$ が成り立つか？

主な発見

• すべての長さの集合が $\Delta^*(G)$ に属する差を持つ等差数列であるのは、$G$ が位数 4 以下の巡回群、または $C_2^3$ の部分群に同型、または $C_3^2$ の部分群に同型であるときである。
• $\mathcal{L}(G)$ が加法的閉であるのは、$G$ が位数 $\leq 4$ の巡回群、または $C_2^3$ の部分群に同型、または $C_3^2$ の部分群に同型であるときであり、かつそのときに限る。
• すべての長さの集合が一様な上限 $M$ を持つほぼ等差数列であるのは、$G$ が $C_3^3$ の部分群に同型、または $C_4^3$ の部分群に同型であるときである。
• すべての長さの集合が有限集合 $\Delta \supset \Delta^*(G)$ に属する差を持つ等差多重数列であるのは、$G$ が位数 6 以下の巡回群、または $C_2^3$ の部分群に同型、または $C_3^2$ の部分群に同型であるときである。
• Davenport 定数 $\mathsf{D}(G) \geq 4$ である群に対して、$\mathcal{L}(G)$ が定理 1.1 のいずれかの構造的形を満たすならば、$\mathcal{L}(G) = \mathcal{L}(G')$ ならば $G \cong G'$ が成り立つ。これは、これらのケースにおける特徴づけ問題を肯定的に解決する。
• $C_3^3$ と $C_4^2$ はそれぞれ最大距離 $\max\Delta(C_3^3) = 2$、$\max\Delta(C_4^2) = 3$ を持ち、したがって $\mathcal{L}(C_3^3) \neq \mathcal{L}(C_4^2)$ である。この差は、特徴づけ問題においてこれらを区別するのを助ける。