数学、特に群論と呼ばれる代数学の分野において、有限群 のフィッティング部分群() とは、 の最大冪零正規部分群である。名前はに由来する。直感的には、 が可解群のとき、群 全体の構造を〈統制〉する最小の部分群に相当する。群 が可解でないとき、一般化されたフィッティング部分群() が同様の役割を果たす。ここで は の最大半単純正規部分群である。
有限とは限らない一般の群に対して、フィッティング部分群は冪零正規部分群により生成される部分群として定義される。無限群のフィッティング部分群は冪零であるとは限らない。
この記事では専ら有限群の場合を扱う。
フィッティング部分群 有限群のフィッティング部分群の冪零性は、「冪零正規部分群の有限積は冪零正規部分群である」というにより保証される。明示的には、群 の位数に関する素因数 に渡る の積
として表すことができる。
非自明な有限可解群 は非自明なフィッティング部分群 を持つ。さらに冪零でない有限群 の商 は非自明であることから、が定義される。有限可解群 のフィッティング部分群 は自身の中心化群を含む(つまり
が成り立つ)ので、これにより有限可解群 は冪零群 の冪零群の忠実な自己同型群 による拡大
とみることができるしたがって、たとえば位数 は の約数である。このことからフィッティング部分群の構造により可解群全体の構造はかなりの統制を受けることがわかる。。
冪零群において、任意のはすべての元により中心化される。この条件を幾分か緩め、一般の有限群に対して任意の主組成因子を中心化する元からなる部分群をとると、再びフィッティング部分群を得る:
脚注
参考文献
関連項目 フラッティーニ部分群 - 商が冪零となる正規部分群の共通部分