[论文解读] Block fusion systems of the alternating groups

Martin Jacobsen|arXiv (Cornell University)|Apr 12, 2012

Advanced Algebra and Geometry参考文献 1被引用 3

一句话总结

本文证明了任意交错群中一个块的块融合系统同构于某个交错群的群融合系统。通过在特征互素于阶的元素上施加一个群论条件，作者证明了群环中某些中心幂等元为零，从而得以对缺陷群和核心子群进行结构分析。关键结果为：任意交错群的块融合系统均可作为其在基集适当子集上的融合系统实现。

ABSTRACT

We describe a purely group-theoretic condition on an element g of a finite group G which implies that g has coefficient zero in every central idempotent element of the group ring RG, provided that R is a ring of prime characteristic. We use this condition to prove that the fusion system associated to a block of an alternating group is always isomorphic to the group fusion system of an alternating group.

研究动机与目标

• 确定交错群的块融合系统是否同构于其群融合系统。
• 将对对称群已知结果推广至交错群。
• 为有限群中元素在素数特征环上的所有中心幂等元中系数为零，建立一个群论判据。
• 分析交错群块中缺陷群和核心子群的结构。
• 证明交错群的每个块融合系统均可作为其在指标集子集上的融合系统实现。

提出的方法

• 为有限群 G 中元素 g 建立一个群论条件，使得当 R 为素数特征环时，g 在 RG 的所有中心幂等元中系数为零。
• 将此条件应用于对称群与交错群，以限制可能的缺陷群。
• 在块融合系统的背景下，分析缺陷群的核心子群及其自同构群。
• 利用 Alperin 的融合定理，将问题约化为在核心子群上验证自同构群相等性。
• 利用 Brauer 对与 Brauer 同态，比较对称群与交错群之间的融合系统。
• 构造 {1,…,n} 的子集 L，使得块融合系统可实现为 A_L 的融合系统。

实验结果

研究问题

• RQ1 交错群的每个块融合系统是否均可作为其在指标集子集上的融合系统实现？
• RQ2 何种群论条件可确保有限群中元素在素数特征环上所有中心幂等元中的系数为零？
• RQ3 交错群块缺陷群中核心子群的自同构群与对称群及交错群中的相应自同构群相比如何？
• RQ4 在何种条件下，交错群中块的融合系统与对称群或交错群的融合系统一致？
• RQ5 交错群的块融合系统是否可作为其在原指标集真子集上的融合系统实现？

主要发现

• 任意交错群中一个块的块融合系统同构于其在指标集适当子集上的融合系统。
• 对 A_n 的任意块幂等元 e 及其缺陷群 P，存在子集 L ⊆ {1,…,n}，使得 P 是 A_L 的 Sylow p-子群，且在 P 上的块融合系统等于 F_P(A_L)。
• 当融合系统同构于 F_P(S_M) 时，{1,…,n} 中 M 的补集必须至少包含两个元素，从而可构造更大的交错群 A_L，使其具有相同的融合系统。
• 若块融合系统同构于 F_P(S_M)，则通过向 M 添加两个元素形成 L，可保证 F_P(A_L) = F_P(S_M)，从而系统可实现为 A_L 的群融合系统。
• 在所有情况下，融合系统均可实现为某个 L 的 F_P(A_L)，从而证明交错群的块融合系统始终是交错群的群融合系统。
• 该证明依赖于分析对称群中元素在缺陷群不动点上的作用，并利用 Brauer 同态控制与块相关联的 Brauer 对数量。