[論文レビュー] Recent Progress in the Symmetric Generation of Groups

Ben Fairbairn|arXiv (Cornell University)|Apr 13, 2010

Finite Group Theory Research参考文献 20被引用数 3

ひとこと要約

本稿は、最近の有限群の対称的生成に関する進展を概説し、特に散在的単純群と反射群に焦点を当てている。生成子としての progenitor（生成子）—自由積と制御群が自己同型により作用する半直積—を用いる。多くの散在的群に対してコンパクトで対称的な表示を提示し、単項式表現を用いた単項式生成子への拡張により、群構造、特にマチュー群など対称的表示がこれまでに得られていなかった群についての洗練された構成と新たな知見を提供する。

ABSTRACT

Many groups possess highly symmetric generating sets that are naturally endowed with an underlying combinatorial structure. Such generating sets can prove to be extremely useful both theoretically in providing new existence proofs for groups and practically by providing succinct means of representing group elements. We give a survey of results obtained in the study of these symmetric generating sets. In keeping with earlier surveys on this matter, we emphasize the sporadic simple groups. ADDENDUM: This is an updated version of a survey article originally accepted for inclusion in the proceedings of the 2009 `Groups St Andrews' conference. Since the article was accepted the author has become aware of other recent work in the subject that we incorporate to provide an updated version here (the most notable addition being the contents of Section 3.4.)

研究の動機と目的

• 対称的生成に関する以前の概説を更新・拡張し、特に散在的単純群の構成における最近の進展に焦点を当てる。
• 対称的生成技術を対合生成子に限らず、非対合対称生成子を含むように拡張する。特に単項式表現を用いる。
• 反射群および有限単純群の対称的表示について包括的な概説を提供する。コクセター群やリー型群に関する新規結果を含む。
• 生成子と単項式作用を用いて、対称的生成の理論を統一的かつ体系的に整理する。特に制御群の単項式表現の利用を通じて。
• 未解決の問題や予想を特定する。特に、マーモスやベビーブラウンダーといった最大の散在的群は、まだ既知の対称的表示を有さない。

提案手法

• 本稿は、$ H^{\star n} \colon N $ の形の生成子を用いる。ここで $ H $ は群（しばしば位数2）であり、$ N $ は $ H $ の $ n $ 個のコピーに自己同型により作用する。
• 制御群 $ N $ の単項式表現を用いて、自由積 $ H^{\star n} $ 上の作用を定義し、単項式生成子 $ H^{\star n} \colon_m N $ を得る。
• 関係式 $ \pi w = \text{id} $ の形で関係を課し、ここで $ \pi \in N $ かつ $ w $ は対称生成子の語である。これにより生成子が標的群 $ G $ に因数分解される。
• コセット数え上げ技術を用いて、得られる群の有限性および構造を特定する。特に二重コセット $ NgN $ を分析する。
• 既知の群作用と組合せデザイン（例：$ M_{24} $ の $ \mathcal{S}(5,8,24) $ ステインァー系）を用いて、対称的表示を構築する。
• 単項式表現理論の結果を適用し、特に対称群、交代群、および散在的単純群の既約単項式表現の分類を用いる。

実験結果

リサーチクエスチョン

• RQ1 対称的生成は、対合生成子に限らず、非対合対称生成子へどのように拡張可能か？
• RQ2 特に散在的群において、単項式生成子を用いた対称的表示を有する有限単純群はどれか？
• RQ3 制御群の単項式表現は、反射群や他の有限群の対称的表示の構築において果たす役割は何か？
• RQ4 対称的生成技術は、特に $ L_2(q) $ に対して、初等的手法を用いて体系的に適用可能か？
• RQ5 マーモスやベビーブラウンダーのような大規模な散在的群は、他の例とは異なり、なぜまだ既知の対称的表示を有しないのか？

主な発見

• 本稿は、最近の研究を反映し、散在的単純群の対称的表示を更新しており、特にルドヴァリス群についても新しい構成を提示している。これは以前の概説に含まれていなかった。
• 制御群の単項式表現を用いて定義される単項式生成子は、広範な反射群および有限単純群の対称的表示を生み出す。
• マチュー群 $ M_{24} $ は24点上で5重推移的であり、$ \mathcal{S}(5,8,24) $ ステインァー系と深く関係しており、これが対称的生成構成の基盤をなす。
• $ L_2(q) $ 及びその被覆の既約単項式表現の分類により、初等的手法を用いてこれらの群の対称的表示が可能になる。
• 進展は見られるが、トンプソン群 $ Th $、ベビーブラウンダー $ \mathbb{B} $、マーモス $ \mathbb{M} $ は依然として既知の対称的表示を有さない。ただし、予想は存在する。
• 本手法により、コンウェイ群 $ Co_2 $ および $ Co_3 $、ライズ群 $ Ly $ など多くの散在的群に対して洗練され、コンパクトな表示が対称的生成により成功裏に構成された。