[论文解读] Global and local properties of finite groups with only finitely many central units in their integral group ring

Andreas Bächle, Mauricio Caicedo+2 more|arXiv (Cornell University)|Aug 10, 2018

Finite Group Theory Research参考文献 41被引用 5

一句话总结

本文通过分析其整体与局部群论性质，研究了在整数群环中仅有平凡中心单位的有限群——即所谓的cut群。研究发现，伽罗瓦群作用在特征表的行与列上是置换同构的；证明了类为2的幂零群为cut群的判别准则；对所有有限单cut群进行了分类；并表明在各种条件下，cut群的Sylow 3-子群自身也是cut群。值得注意的是，阶数不超过512的群中86.62%为cut群，表明该类群出人意料地庞大。

ABSTRACT

The aim of this article is to explore global and local properties of finite groups whose integral group rings have only trivial central units, so-called cut groups. For such a group we study actions of Galois groups on its character table and show that the natural actions on the rows and columns are essentially the same, in particular the number of rational-valued irreducible characters coincides with the number of rational-valued conjugacy classes. Further, we prove a natural criterion for nilpotent groups of class 2 to be cut and give a complete list of simple cut groups. Also, the impact of the cut property on Sylow 3-subgroups is discussed. We also collect substantial data on groups which indicates that the class of cut groups is surprisingly large. Several open problems are included.

研究动机与目标

• 理解其整数群环中仅含平凡中心单位的有限群（即cut群）的整体与局部结构特性。
• 研究cut群中伽罗瓦群作用于共轭类与不可约特征标之间的相互作用。
• 为类为2的幂零群提供cut群的判别准则，并对所有有限单cut群进行分类。
• 分析cut性质对Sylow p-子群（特别是Sylow 3-子群）的影响。
• 通过计算数据表明，cut群类在所有有限群中出人意料地庞大。

提出的方法

• 利用伽罗瓦群作用于特征表，比较其在不可约特征标（行）与共轭类（列）上的作用。
• 应用Ritter与Sehgal的群论判别准则，并对类为2的幂零群的现有判别准则进行无元素形式的重新表述。
• 通过域扩张与特征值，证明伽罗瓦作用于特征标集与共轭类集之间是置换同构的。
• 使用计算工具（GAP与SglPPow包）对阶数至512和1023的cut群进行枚举与分析。
• 利用Higman-Sims-Neumann-Seeley界对p-群进行渐近分析，表明cut p-群（p=2,3）的对数密度趋于1。
• 通过结构与表示论论证，对有限单cut群进行分类，包括对偶数群与典型群的分析。

实验结果

研究问题

• RQ1 cut群的特征表中，伽罗瓦群作用于行与列是否为置换同构？
• RQ2 何种条件可确保类为2的幂零群为cut群？该条件能否在不进行显式元素检查的情况下表征？
• RQ3 哪些有限单群是cut群？是否存在此类群的完整分类？
• RQ4 在何种条件下，cut群的Sylow 3-子群也是cut群？
• RQ5 在所有有限群中，cut群类有多大，特别是在p-群与小阶群的背景下？

主要发现

• cut群的不可约特征标与共轭类上的伽罗瓦群作用是置换同构的，意味着有理值不可约特征标的数量等于有理值共轭类的数量。
• 类为2的幂零群是cut群当且仅当其交换子群包含于弗拉蒂尼子群中，并且其特征值满足特定的域扩张条件。
• 有限单cut群的完整列表为：C2, C3, A7, A8, A9, A12, L2(7), U3(3), U3(5), U4(3), U5(2), U6(2), S4(3), S6(2), O+8(2), M11, M12, M22, M23, M24, Co1, Co2, Co3, HS, McL, Th, 以及 M。
• 当cut群为交换群、正规子群、超可解群、Frobenius群、单群，或阶为奇数且O3(G)为交换群时，其Sylow 3-子群也是cut群。
• 在阶数不超过512的群中，86.62%为cut群；在阶数不超过1023的群中，78.55%为cut群，表明该类群出人意料地庞大。
• 随着群阶数增加，cut 2-群与3-群在所有p-群中的对数密度趋于1，表明在渐近意义下，几乎所有p-群（p=2,3）都是cut群。