[論文レビュー] A characterization of class groups via sets of lengths

Alfred Geroldinger, Wolfgang Schmid|arXiv (Cornell University)|Mar 16, 2015

Rings, Modules, and Algebras参考文献 14被引用数 12

ひとこと要約

本稿では、すべての類に素因数を含むクルールモノイドにおける、ランク2以下の有限アーベル群について、長さの集合の系が一意にその群を特徴付けることを確立している。ゼロ和列と、デヴァンポール定数やクロス数といった算術的不変量を分析することで、二つのこのようなモノイドの長さの集合の系が同一であるならば、それらの類群は同型であることが示された——ただし2つの既知の例外を除く。

ABSTRACT

Let $H$ be a Krull monoid with class group $G$ such that every class contains a prime divisor. Then every nonunit $a \in H$ can be written as a finite product of irreducible elements. If $a=u\_1 \cdot \ldots \cdot u\_k$, with irreducibles $u\_1, \ldots u\_k \in H$, then $k$ is called the length of the factorization and the set $\mathsf L (a)$ of all possible $k$ is called the set of lengths of $a$. It is well-known that the system $\mathcal L (H) = \{\mathsf L (a) \mid a \in H \}$ depends only on the class group $G$. In the present paper we study the inverse question asking whether or not the system $\mathcal L (H)$ is characteristic for the class group. Consider a further Krull monoid $H'$ with class group $G'$ such that every class contains a prime divisor and suppose that $\mathcal L (H) = \mathcal L (H')$. We show that, if one of the groups $G$ and $G'$ is finite and has rank at most two, then $G$ and $G'$ are isomorphic (apart from two well-known pairings).

研究の動機と目的

• クルールモノイドにおける長さの集合の系が、その類群を一意に決定するかを同定すること。
• 因子理論における逆問題を調査する：因子の算術的構造（長さの集合を通じて）は、類群の群論的構造を回復できるか。
• すべての類に素因数を含むという条件下で、ランク2以下の有限アーベル群の特徴付け問題を解決すること。
• ランク ≤2 の群を他の群型と区別するための特徴的な長さの集合を同定すること。
• 2つの既知の例外を除き、ランク ≤2 の群において、長さの集合の系が類群を同型を除いて一意に決定することを証明すること。

提案手法

• 問題を、有限アーベル群上のゼロ和列のモノイドに還元し、長さの集合の系を ℒ(G) と表記する。
• デヴァンポール定数とクロス数の不変量を用いて、長さの集合の構造とその包含関係を分析する。
• クルールモノイドにおける長さの集合の構造定理を適用し、長さの集合の大部分が差が1の等差数列であることを示す。
• 部分モノイドおよび商群における因子の長さの詳細な分析を通じて、可能な群構造に制約を加える。
• 不変量 ℒ(G) を用いて、C_n₁⊕C_n₂ 型の群と、素性2群や混合型群などの他の候補群との区別を図る。
• 命題5.5を適用し、C_n₁⊕C_n₂ のみに現れる特徴的な長さの集合を特定し、他の群型との同型を除外する。

実験結果

リサーチクエスチョン

• RQ1 すべての類に素因数を含むクルールモノイド H に対して、長さの集合の系 ℒ(H) がその類群 G を一意に決定するか。
• RQ2 ランク2以下の有限アーベル群に対して、ℒ(G) = ℒ(G') ならば G ≅ G' となるか。
• RQ3 同型でないランク ≤2 の有限アーベル群で、長さの集合の系が同一であるものはあるか。
• RQ4 C_n₁⊕C_n₂ 型の群に特徴的な長さの集合は何か、そしてそれらが他の群型との同型を除外するためにどのように利用できるか。
• RQ5 デヴァンポール定数やクロス数といった不変量は、異なる類群の算術的構造を区別するために果たす役割は何か。

主な発見

• ランク2以下の有限アーベル群に対して、長さの集合の系 ℒ(G) は、同型を除いて類群 G を一意に決定する。
• ランク ≤2 の群 G と G' に対して ℒ(G) = ℒ(G') ならば、それらは2つのよく知られた例外を除き同型である。
• 集合 {2, n₂, n₁+n₂−2} は ℒ(C₂^{n₁−2}⊕C_{n₂}) に属するが、ℒ(C_n₁⊕C_n₂) には属さないため、この群型との同型を除外できる。
• C₂^{n₁−4}⊕C₄⊕C_{n₂} および C₂⊕C_{n₁−1}⊕C_{n₂} は、d* 不変量によって除外され、ℒ(G) が一致するのは G ≅ C_n₁⊕C_n₂ の場合に限る。
• 証明は、C_n₁⊕C_n₂ のみに現れる特徴的な長さの集合を同定し、ゼロ和列の構造を用いて行う。
• この結果は、n₁ | n₂ かつ n₁ + n₂ > 4 という条件のもとで成り立ち、非自明性を保ち、小規模な例外ケースを除外する。