可解群

可解群とは、正規部分群の連鎖を通じてアーベル群の要素から構築できる群であり、多項式方程式が根によって解けるかどうかを決定する構造的特性である。

Definition

群が可解であるとは、その連続する剰余群がすべてアーベル群である有限の準正規列を持つ場合、あるいはその導来列が自明な部分群で終結する場合を指す。

Scope

このトピックでは、導来列と交換子部分群、アーベル因子を持つ準正規列、可解性の様々な定義の等価性、より強い条件としての冪零群、およびガロア理論における可解群の役割について扱う。

Core questions

• アーベル層から群を構築するとはどういう意味か？
• 導来列と準正規列はどのように可解性を特徴づけるか？
• 標準的な群の族のうち、どれが可解で、どれがそうでないか？
• なぜ可解性が根による方程式を解くための決定的な条件なのか？

Key theories

導来列による特徴付け

群が可解であるのは、交換子部分群を反復して得られる導来列が、有限のステップで自明な群に到達する場合に限る。

可解群の閉包特性

可解群の部分群と剰余群は可解であり、可解群による可解群の拡大も可解であるため、可解性は標準的な構造操作の下で保持される。

可解性と根

標数ゼロの体上の多項式が根によって解けるのは、そのガロア群が可解群である場合に限る。この規準は、一般的な5次方程式が根によって解けないことを証明するものである。

Clinical relevance

可解群は方程式論における正確な障害である。ガロアの規準は、群の可解性と多項式が根によって解けることとを結びつけている。この概念は有限群論も体系化しており、フェイト＝トンプソン定理は奇数位数のすべての群が可解であることを示している。

History

この概念は、ガロアがどの​​方程式が根によって解けるかを研究したことに由来する。ここで「可解」は元々方程式を指していたが、対応する群論的性質もその名前を保持した。1963年のフェイト＝トンプソン定理（奇数位数のすべての群は可解である）は、有限単純群の分類における画期的な出来事であった。

Key figures

• Évariste Galois
• Walter Feit
• John G. Thompson

Seminal works

• dummit2004
• rotman1995
• isaacs2008

Frequently asked questions

可解群と冪零群の違いは何か？

冪零群は中心列を持ち、より厳密に小さいクラスを形成する。すべての冪零群は可解であるが、その逆は真ではない。有限冪零群は、そのシロー部分群の直積と正確に一致する。

5文字の対称群が可解でないのはなぜか？

その導来列は、非自明な5文字の交代群で安定する。これは単純かつ非アーベル群であるため、列は自明な部分群に到達しない。この非可解性が、一般的な5次方程式に根の公式が存在しない理由である。