フィッティング部分群

フィッティング部分群について

群論におけるフィッティング部分群とは、特に有限群に関連する重要な概念です。有限群 G のフィッティング部分群 F(G)は、G の最大冪零正規部分群を指し、その名称は数学者ハンス・フィッティングに由来します。この部分群は、群 G が可解である場合に、その群全体の構造を支配する最小の要素と考えられています。可解でないグループの場合は、一般化されたフィッティング部分群 F*(G) が同じような役割を果たします。ここで、E(G)はGの最大半単純正規部分群です。

フィッティング部分群の特性

有限群のフィッティング部分群の性質として、冪零性があります。この特性は「冪零正規部分群の有限積は冪零正規部分群である」というフィッティングの定理によって示されています。具体的には、群 G の位数に関連する素因数 p に対する p-core O_p(G) の積により、フィッティング部分群を次のように表現できます：

F(G) = ∏_{p} O_{p}(G)

この式は、群 G のさまざまな素因数における最大半単純部分群を掛け合わせることで得られます。

有限の可解群 G には、常に非自明なフィッティング部分群 F(G) が存在します。さらに、冪零ではない有限群 G の商 G/F(G) も非自明となることから、フィッティング列の長さが定義され、群の深い構造を理解する手助けとなります。

最小の構造的要素

有限可解群 G のフィッティング部分群 F は、群の中心化群 C_G(F) を含む関係も持っています。すなわち、C_G(F) ≤ F が成立します。これによって、有限可解群 G は冪零群における中心化群 Z(F) に基づいて、自己同型群 G/Z(F) ≤ Aut(F) の形で拡張されることが示されます。この拡張形式は次のようになります：

1 → Z(F) → G → G/Z(F) → 1

冪零群では、すべての主組成因子が群内の全ての元によって中心化されるため、この性質を一般化した形でもフィッティング部分群を導出できます。具体的には、一般の有限群においては次のように定義されます：

F(G) = ⋂ { C_G(H/K) : H/K は G の主組成因子 }

このように構成されたフィッティング部分群は、群 G の本質をさらに明らかにします。

結論

フィッティング部分群は、有限群の研究において欠かせないツールであり、その特性を理解することで群の構造やその性質を深く洞察できます。この部分群の理解は、群の理論や代数学における多くの他の概念にも関連しており、数学の進展に寄与しています。

参考文献

• - Aschbacher, Michael (2000), Finite Group Theory, Cambridge University Press
• - Huppert, Bertram; Blackburn, Norman (1982), Finite groups. III., Springer-Verlag

もう一度検索