[论文解读] Groups whose locally maximal product-free sets are complete

Chimere S. Anabanti, Grahame Erskine+1 more|arXiv (Cornell University)|Sep 30, 2016

Limits and Structures in Graph Theory参考文献 5被引用 3

一句话总结

本文对填充群——即所有局部极大无积集均为完备的有限群——进行分类，证明在阶数不超过 2000 的情况下，唯一的填充群为初等阿贝尔 2-群以及特定的二面体群、循环群和非幂零群。通过群论分析与 GAP 中的计算算法，作者验证了填充群要么是初等阿贝尔 2-群，要么属于一个有限列表，包括 $ C_3, C_5, D_6, D_8, D_{10}, D_{12}, D_{14}, D_{22}, D_8 imes C_2, D_8 ackslash Q_8 $，以及 $ (D_8 ackslash Q_8) imes C_2 $，从而确认了关于此类群完全分类的猜想。

ABSTRACT

Let $G$ be a finite group and $S$ a subset of $G$. Then $S$ is product-free if $S \cap SS = \emptyset$, and complete if $G^{\ast} \subseteq S \cup SS$. A product-free set is locally maximal if it is not contained in a strictly larger product-free set. If $S$ is product-free and complete then $S$ is locally maximal, but the converse does not necessarily hold. Street and Whitehead [J. Combin. Theory Ser. A 17 (1974), 219--226] defined a group $G$ as filled if every locally maximal product-free set $S$ in $G$ is complete (the term comes from their use of the phrase `$S$ fills $G$' to mean $S$ is complete). They classified all abelian filled groups, and conjectured that the finite dihedral group of order $2n$ is not filled when $n=6k+1$ ($k\geq 1$). The conjecture was disproved by two of the current authors in [Austral. J. Combin. 63 (3) (2015), 385--398], where we also classified the filled groups of odd order. In this paper we classify filled dihedral groups, filled nilpotent groups and filled groups of order $2^np$ where $p$ is an odd prime. We use these results to determine all filled groups of order up to 2000.

研究动机与目标

• 对所有满足每个局部极大无积集均为完备的有限群（即‘填充’群）进行分类。
• 通过证明仅对特定 $ n $ 值成立，解决斯持里特与惠特黑德提出的猜想，即当 $ n = 6k+1 $ 时，二面体群 $ D_{2n} $ 不是填充群。
• 将填充群的分类从阿贝尔群与奇阶群扩展至二面体群、幂零群以及阶数为 $ 2^n p $（$ p $ 为奇素数）的群。
• 利用理论结果与计算验证，确定阶数不超过 2000 的填充群的完整列表。

提出的方法

• 利用群结构与关系，对二面体群、幂零群及 $ 2^n p $-阶群中的无积集进行理论分析。
• 应用已知结果：若一个群的所有商群与子群满足特定条件，特别是关于指数为 3 或 5 的正规子群，则该群为填充群。
• 在 GAP 中开发一种高效算法，利用自同构群轨道来缩小局部极大无积集的搜索空间。
• 实现一种递归扩展算法，通过逐步构建集合并追踪尚未被 $ S \cup SS \cup \cdots $ 覆盖的元素，确保完备性检查。
• 采用混合策略：首先应用理论过滤（如奇阶群不可能是填充群），然后进行随机搜索，最后对未解决的情况执行穷举搜索。
• 通过在 GAP 的小群库中对所有阶数不超过 2000 的群进行计算搜索，验证结果。

实验结果

研究问题

• RQ1 哪些二面体群 $ D_{2n} $ 是填充群，即在其中每个局部极大无积集均为完备？
• RQ2 哪些幂零群是填充群，其结构需满足何种条件才能保证该性质？
• RQ3 对于阶数为 $ 2^n p $（$ p $ 为奇素数）的群，其填充性由何种条件决定？
• RQ4 是否存在除 $ C_3 $ 与 $ C_5 $ 外的奇阶填充群？此类群的完整分类是什么？
• RQ5 阶数不超过 2000 的填充群的完整列表是什么？该列表是否确认了仅特定群为填充群的猜想？

主要发现

• 唯一奇阶填充群为 $ C_3 $ 与 $ C_5 $，与先前工作结果一致。
• 二面体群 $ D_6, D_8, D_{10}, D_{12}, D_{14}, D_{22} $ 是填充群，但当 $ n = 6k+1 $ 时 $ D_{2n} $ 不是填充群，从而推翻了原始猜想。
• 阶数为 $ 4n $ 的广义四元数群在 $ n \geq 2 $ 时不是填充群，与先前结果一致。
• 阶数为 $ 2^n p $（$ p $ 为奇素数）的填充群仅出现在 $ n = 1 $ 且 $ p = 3 $ 或 $ 5 $ 的情况，或特定的小规模情形。
• 阶数不超过 2000 的填充群的完整列表仅包含初等阿贝尔 2-群与一个有限的非阿贝尔群集合，包括 $ D_8 \times C_2 $、$ D_8 \backslash Q_8 $ 与 $ (D_8 \backslash Q_8) \times C_2 $。
• 作者确认了该猜想：唯一填充群为初等阿贝尔 2-群与如下特定列表：$ C_3, C_5, D_6, D_8, D_{10}, D_{12}, D_{14}, D_8 \times C_2, D_{22}, D_8 \backslash Q_8, (D_8 \backslash Q_8) \times C_2 $。