[論文レビュー] 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 igstar Q_8 $、および $ (D_8 igstar 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 = 6k+1 $ のとき、二面体群 $ D_{2n} $ は満たされないが、特定の $ n $ のみで満たされる、という予想を証明すること。
• アーベル群や奇数位数の群にとどまらず、二面体群、冪等群、および奇素数 $ p $ について $ 2^n 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 $ の一般化されたクォaternion群は $ n \geq 2 $ のとき満たされない。これは以前に示された結果である。
• 位数 $ 2^n p $（$ p $ は奇素数）の満たされた群は、$ n = 1 $ かつ $ p = 3 $ または $ 5 $ の場合、または特定の小さなケースに限られる。
• 位数2000までの満たされた群の完全なリストには、すべての初等アーベル2群と、$ D_8 \times C_2 $、$ D_8 \bigstar Q_8 $、および $ (D_8 \bigstar 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 \bigstar Q_8, (D_8 \bigstar Q_8) \times C_2 $ のみであるという予想を確認した。