[论文解读] Recent Progress in the Symmetric Generation of Groups

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

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

一句话总结

本文综述了有限群对称生成的最新进展，重点聚焦于利用生成子（progenitors）——自由积与通过自同构作用的控制群的半直积——的交错单群和反射群。论文为许多交错单群提供了紧凑且对称的表示，并将该方法扩展至单式生成子（monomial progenitors），通过单式群表示实现，提供了优雅的构造方法，并对群结构，特别是马蒂厄群等此前缺乏对称表示的群，提供了新的见解。

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.)

研究动机与目标

• 更新并扩展早期对称生成的综述，尤其聚焦于近期在构造交错单群方面的进展。
• 将对称生成技术从对合生成子扩展至非对合对称生成子，特别是通过单式表示实现。
• 对反射群和有限单群的对称表示提供全面概述，包括对考克斯eter群和李型群的新结果。
• 通过控制群的单式表示，统一并系统化对称生成理论，特别是利用单式作用。
• 识别开放问题与猜想，特别是对于最大交错单群如魔群（Monster）和婴怪群（Baby Monster），它们至今仍缺乏已知的对称表示。

提出的方法

• 论文采用形如 $ H^{\star n} \colon N $ 的生成子，其中 $ H $ 是一个群（通常阶为2），$ N $ 通过自同构作用于 $ n $ 个 $ H $ 的副本上。
• 利用控制群 $ 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 为何尽管其他群已有进展，魔群和婴怪群等大交错单群仍缺乏已知的对称表示？

主要发现

• 论文为若干交错单群提供了更新的对称表示，包括基于近期未包含在早期综述中的工作的鲁德瓦利斯群（Rudvalis group）的新构造。
• 通过控制群的单式表示定义的单式生成子，可为一大类反射群和有限单群提供对称表示。
• 马蒂厄群 $ M_{24} $ 在24个点上实现5重传递作用，且与 $ \mathcal{S}(5,8,24) $ 斯蒂纳系统有深刻联系，后者是其对称生成构造的基础。
• 对 $ L_2(q) $ 及其覆盖群的不可约单式表示的分类，使得可使用初等方法实现这些群的对称表示。
• 尽管已有进展，汤普森群 $ Th $、婴怪群 $ \mathbb{B} $ 和魔群 $ \mathbb{M} $ 仍缺乏已知的对称表示，尽管已有相关猜想。
• 该方法成功为许多交错单群构造了优雅且紧凑的表示，包括康威群 $ Co_2 $ 和 $ Co_3 $，以及莱昂群 $ Ly $，均通过对称生成实现。