[论文解读] 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

一句话总结

本文表征了二面体群和双循环群中长度等于大Davenport常数（即最大长度）的极小积为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.

研究动机与目标

• 表征二面体群和双循环群中长度等于大Davenport常数 D(G) 的所有极小积为1序列。
• 理解这些非交换群上积为1序列幺半群 B(G) 的算术结构。
• 描述 B(G) 中长度集合的并集，这些是因子分解理论中的基本不变量。
• 将逆零和理论从阿贝尔群扩展到具有特定子群结构（即指数为2的循环子群）的非阿贝尔群。
• 解决非交换设定下极值序列结构及其因子分解性质的开放问题。

提出的方法

• 作者使用群论工具，包括稳定子和典范满同态，分析二面体群和双循环群中序列的支撑集与结构。
• 他们应用 Davenport 常数框架，区分小 Davenport 常数与大 Davenport 常数，并利用 D(G) = 1 + d(G) 仅对阿贝尔群成立的事实。
• 证明依赖于基于序列长度与支撑集的分类讨论，尤其关注长度为 D(G) 和 D(G)−1 的序列。
• 他们使用典范满同态 φ_g 分析序列在到循环商群的群同态下的像。
• 论证中使用反证法，假设序列是极小的但可分解为更短的积为1序列。
• 他们分析中心元素（例如 α^m ∈ Z(G)）的作用，并利用对任意满足 |U| ≥ 3 的 U ∈ A(G)，有 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(G) 的极小积为1序列提供了完整的结构表征，表明这些序列必须由循环子群及其陪集中的特定元素对组成。
• 对于双循环群，长度为 D(G) 的极小积为1序列被完全描述，对非循环陪集和循环子群中的项数施加了约束。
• 二面体群和双循环群上 B(G) 的长度集合的并集被完全确定，表明这些并集是连续整数的区间。
• 本文证明，在这些群中，极小积为1序列的最大长度为 D(G) = 3m（当 m ≥ 2 时），其中 D_{2m} 表示二面体群，Q_{4m} 表示双循环群。
• 证明表明，任何试图将长度为 D(G) 的序列分解为更短的积为1序列的尝试都会导致矛盾，从而在给定结构约束下确认了其极小性。
• 分析确认，若长度为 D(G)−1 的序列包含过多来自非循环陪集的项，则其无法为极小序列，且此类序列必须存在非平凡分解。