[論文レビュー] On minimal product-one sequences of maximal length over Dihedral and Dicyclic groups

Jun Seok Oh, Qinghai Zhong|arXiv (Cornell University)|Jan 13, 2019

Rings, Modules, and Algebras参考文献 21被引用数 5

ひとこと要約

本稿は、二面体群および二重循環群における最小の積1列の最大長（すなわち、大ダヴェンポート定数に等しい長さ）を特徴づけ、明示的な構造的記述を提供する。さらに、これらの特徴づけを用いて、これらの群上の積1列のモノイドにおける長さ集合の和集合を完全に記述し、非アーベル因数分解理論における重要な算術的不変量を解明する。

ABSTRACT

Let $G$ be a finite group. By a sequence over $G$, we mean a finite unordered sequence of terms from $G$, where repetition is allowed, and we say that it is a product-one sequence if its terms can be ordered such that their product equals the identity element of $G$. The large Davenport constant $\mathsf D (G)$ is the maximal length of a minimal product-one sequence, that is, a product-one sequence which cannot be factored into two non-trivial product-one subsequences. We provide explicit characterizations of all minimal product-one sequences of length $\mathsf D (G)$ over Dihedral and Dicyclic groups. Based on these characterizations we study the unions of sets of lengths of the monoid of product-one sequences over these groups.

研究の動機と目的

• 二面体群および二重循環群において、大ダヴェンポート定数 D(G) に等しい長さをもつすべての最小積1列を特徴づけること。
• これらの非アーベル群上の積1列のモノイド B(G) の算術的構造を理解すること。
• B(G) における長さ集合の和集合を記述すること。これは因数分解理論における基本的不変量である。
• アーベル群に限らない逆ゼロ和理論を、巡回部分群を指数2に持つ特定の部分群構造をもつ非アーベル群へ拡張すること。
• 非アーベル設定における極値列の構造およびその因数分解特性に関する未解決問題を解消すること。

提案手法

• 著者たちは、安定化作用素および標準的全射を用いて、二面体群および二重循環群における列のサポートおよび構造を分析する群論的道具を用いる。
• ダヴェンポート定数の枠組みを適用し、小ダヴェンポート定数と大ダヴェンポート定数を区別し、D(G) = 1 + d(G) がアーベル群にしか成り立たないという事実を活用する。
• 証明は、列の長さおよびサポートに基づくケース別分析に依拠しており、特に長さ D(G) および D(G)−1 の列に注目する。
• 列の群準同型による像を分析するために、標準的全射 φ_g を用いる。
• 背理法を用い、列が最小であるが、より短い積1列に分解可能であると仮定する。
• 中心的要素（例：α^m ∈ Z(G)）の役割を分析し、任意の U ∈ A(G) に対して |U| ≥ 3 ならば v_{α^m}(U) ≤ 1 が成り立つという事実を用いて、列の構造を制約する。

実験結果

リサーチクエスチョン

• RQ1 二面体群 D_{2n} において、長さ D(G) の最小積1列の正確な構造は何か？
• RQ2 二重循環群 Q_{4n} において、長さ D(G) の最小積1列はどのように振る舞うか？
• RQ3 二面体群および二重循環群の B(G) における長さ集合の和集合は何か？
• RQ4 指数2の巡回部分群をもつ非アーベル群において、長さ D(G) の極値列を完全に分類できるか？
• RQ5 B(G) の因数分解特性は、アーベル群の場合とどのように異なるか。特に、長さ集合およびその和集合の観点から。

主な発見

• 本稿は、二面体群 D_{2m} において、長さ D(G) のすべての最小積1列の完全な構造的特徴づけを提供し、それらが巡回部分群およびそのコセットからの特定のペアリングから成ることを示している。
• 二重循環群 Q_{4m} については、長さ D(G) の最小積1列が完全に記述されており、非巡回コセットおよび巡回部分群からの項の数に制約が課されている。
• 二面体群および二重循環群における B(G) の長さ集合の和集合は完全に決定されており、それらが連続する整数の区間であることが示されている。
• これらの群における最小積1列の最大長が、m ≥ 2 のとき D(G) = 3m として二面体群 D_{2m} および二重循環群 Q_{4m} で成立することを示している。
• 証明は、長さ D(G) の列をより短い積1列に分解しようとすると矛盾が生じることを示しており、与えられた構造的制約下での最小性が確認されている。
• 分析により、長さ D(G)−1 の列が非巡回コセットからの項を多すぎると、最小でなくなることが確認され、このような列は非自明に分解可能であることが示されている。