フィッティング部分群
数学、特に群論と呼ばれる代数学の分野において、有限群 G のフィッティング部分群(英: Fitting subgroup) F(G) = Fit(G) とは、G の最大冪零正規部分群である。名前はハンス・フィッティングに由来する。直感的には、G が可解群のとき、群 G 全体の構造を〈統制〉する最小の部分群に相当する。群 G が可解でないとき、一般化されたフィッティング部分群(generalized Fitting subgroup) F*(G) = F(G)E(G) が同様の役割を果たす。ここで E(G) は G の最大半単純正規部分群である。
有限とは限らない一般の群に対して、フィッティング部分群は冪零正規部分群により生成される部分群として定義される。無限群のフィッティング部分群は冪零であるとは限らない。
この記事では専ら有限群の場合を扱う。
フィッティング部分群
編集有限群のフィッティング部分群の冪零性は、「冪零正規部分群の有限積は冪零正規部分群である」というフィッティングの定理により保証される。明示的には、群 G の位数に関する素因数 p に渡る p-core Op(G) の積
として表すことができる。
非自明な有限可解群 G は非自明なフィッティング部分群 F(G) を持つ。さらに冪零でない有限群 G の商 G/F(G) は非自明であることから、フィッティング列の長さが定義される。有限可解群 G のフィッティング部分群 F = F(G) は自身の中心化群を含む(つまり
が成り立つ)ので、これにより有限可解群 G は冪零群 CG(F) = Z(F) の冪零群の忠実な自己同型群 G/Z(F) ≤ Aut(F) による拡大
とみることができる[1]。
冪零群において、任意の主組成因子はすべての元により中心化される。この条件を幾分か緩め、一般の有限群に対して任意の主組成因子を中心化する元からなる部分群をとると、再びフィッティング部分群を得る[2]:
脚注
編集- ^ したがって、たとえば位数 |G| は |Z(F)| |Aut(F)| の約数である。このことからフィッティング部分群の構造により可解群全体の構造はかなりの統制を受けることがわかる。
- ^ Huppert 1967, p. 686, Kap.VI, Satz 5.4.
参考文献
編集- Aschbacher, Michael (2000), Finite Group Theory, Cambridge University Press, ISBN 978-0-521-78675-1
- Aschbacher, Michael; Seitz, Gary M. (1976), “On groups with a standard component of known type”, Osaka J. Math. 13 (3): 439–482
- Bender, Helmut (1970), “On groups with abelian Sylow 2-subgroups”, Mathematische Zeitschrift 117: 164–176, doi:10.1007/BF01109839, ISSN 0025-5874, MR0288180
- Huppert, B. (1967) (German), Endliche Gruppen, Berlin, New York: Springer-Verlag, ISBN 978-3-540-03825-2, MR0224703, OCLC 527050
- Huppert, Bertram; Blackburn, Norman (1982), Finite groups. III., Grundlehren der Mathematischen Wissenschaften, 243, Berlin-New York: Springer-Verlag, ISBN 3-540-10633-2, MR0650245
関連項目
編集- フラッティーニ部分群 Φ(G)
- γ∞(G) = ⋂ γn(G) - 商が冪零となる正規部分群の共通部分