[論文レビュー] 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群と呼ばれる）有限群の、グローバルおよびローカルな群論的性質を分析することで、その構造を調査する。Galois群の作用がキャラクター表の行と列において置換同型であることを示し、クラス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群における共共役類と既約キャラクターの両方に対するGalois群の作用の相互作用を調査すること。
• クラス2の冪零群がcutであるための基準を提示し、すべての有限単純cut群を分類すること。
• Sylow p部分群、特にSylow 3部分群に対するcut性の影響を分析すること。
• 計算的データを通じて、cut群のクラスが有限群の中で予想に反して非常に大きいことを示すこと。

提案手法

• キャラクター表におけるGalois群の作用を、既約キャラクター（行）と共役類（列）の両方で比較する。
• RitterとSehgalの群論的基準の応用、およびクラス2の冪零群に対する既存基準の要素を含まない再定式化の適用。
• 体拡張とキャラクター値を用いた、キャラクター集合と共役類集合へのGalois作用の置換同型性の証明。
• GAPおよびSglPPowパッケージを用いた計算ツールを用いて、位数512および1023までのcut群を列挙・分析する。
• Higman-Sims-Neumann-Seeleyの境界を用いたp群の漸近的解析により、cut p群（p=2,3）の対数的密度が群の位数が増加するにつれて1に近づくことを示す。
• 構造的および表現論的議論を用いて、散発的群および古典的群の解析を含む、有限単純cut群の分類。

実験結果

リサーチクエスチョン

• RQ1 cut群のキャラクター表におけるGalois群の行と列への作用は、置換同型であるか？
• RQ2 クラス2の冪零群がcut群であるための条件は何か？また、これを明示的な要素チェックなしに特徴づけられるか？
• RQ3 どの有限危単純群がcut群であるか？そして、このような群の完全な分類は可能か？
• RQ4 cut群のSylow 3部分群が再びcut群であるための条件は何か？
• RQ5 有限群全体の中でcut群のクラスはどれほど大きいか、特にp群および小位数群の文脈で。

主な発見

• cut群の既約キャラクターと共役類に対するGalois群の作用は、置換同型である。これは、有理数値をとる既約キャラクターの数と、有理数値をとる共役類の数が等しいことを示唆する。
• クラス2の冪零群がcutであるための必要十分条件は、その交換子部分群がFrattini部分群に含まれ、かつキャラクター値に関するある種の体拡張条件を満たすことである。
• 有限単純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群のSylow 3部分群がcutであるための条件として、群がアーベル群、正規部分群、超可解群、Frobenius群、単純群、またはO3(G)がアーベルで奇数位数のときが挙げられる。
• 位数512以下の群のうち86.62%がcut群であり、1023以下の群では78.55%がcut群である。これは、cut群のクラスが予想に反して非常に大きいことを示している。
• 群の位数が増加するにつれて、cut 2群および3群の対数的密度は1に近づく。これは、漸近的にほとんどすべてのp群（p=2,3）がcutであることを示している。