Gruppe)は、アーベル群から群の拡大を用いて構成できる群のことである。可解群は導来列が自明な群で終わるような群のことである。歴史的には、「可解」という語はガロア理論による5次以上の一般の方程式は代数的に解けないこと(アーベル–ルフィニの定理)の証明から来ている。標数0の体上の代数方程式が根号を用いて解けるのは対応するガロア群が可解群であるとき、およびそのときに限る[1]。G_{j}/G_{j-1}}がアーベル群であるとき、可解群と呼ばれる[2]。自明な部分群{1}に達することと定義もできる[3]。NはNがH(1)を部分群として含むとき、およびそのときに限りアーベル群であるため、この2つの定義は同値である。有限群の場合は、同値な定義として「組成列においてすべての商が素数位数の巡回群である」というものもある。有限群の組成列の長さは有限であり、全ての単純アーベル群は素数位数の巡回群であるため、この定義は上の定義と同値である。ジョルダン・ヘルダーの定理より、一つの組成列が上記の性質を持つ場合、すべての組成列は同様に上記の性質を持つことが保証される。多項式のガロア群の場合は、巡回群はある体の上の冪根に対応する。無限群の場合は必ずしも同値ではない。Zと同型(つまり可換)だから、可解群である。例[編集]全てのアーベル群は自明に可解群である。これは正規列が自明な群と自分自身で与えられるからである。非アーベル群は可解群であるとは限らない。一般的に、すべての冪零群は可解群である。有限p-群は冪零群であるため可解群である。冪零群ではないが可解群である位数の小さい群の一例は、対称群S3である。実は、位数最小の非アーベル単純群が5次の交代群A5であり、したがって位数60未満のすべての群は可解である。S5は可解群ではない。S5}を持ち(そしてジョルダン・ヘルダーの定理より全ての組成列はこれと同値)、因子群はそれぞれA5、C2と同型であるが、A5はアーベル群ではないためである。>4についてAnはSnの最大の正規非アーベル単純群であることが分かる。よってn>4のときSnは可解群ではない。この事実は、n>4に対してn次の代数方程式であって冪根で解けないものがあるというアーベル-ルフィニの定理の証明のキーとなるステップである。この性質は計算複雑性理論においてもバーリントンの定理(英語版)の証明で使われている。全てのp-シロー部分群が巡回群であるような有限群は2つの巡回群の半直積であり、特に可解群である。そのような群はZ群(英語版)と呼ばれる。性質[編集]群の可解性は多くの操作によって保存される。Gが可解群であり、全射準同型G→Hが存在する場合、Hも可解群である。第一同型定理より同値であるが、Gが可解群でNがGの正規部分群であれば、商群G/Nは可解群である[4]。Gが可解群であるのは、NとG/Nがともに可解群であるとき、およびその時に限る。可解群であり、HがGの部分群であるとき、Hは可解群である[5]。可解性は群の拡大によっても保存される。HとG/Hが可解群であれば、Gは可解群である。NとHが可解群であれば、NとHの半直積も可解群である。可解性は輪積(リース積)によっても保存される。GとHが可解群であり、XがG-集合である場合、Xに関するGとHのリース積は可解群である。とる操作によって閉じている。有界でない長さの導来列を持つ可解群の直積は可解群ではないので、すべての可解群からなるクラスは等式クラスではない。}である場合、Gは可解群である、というものである。ホールの定理[編集]詳細は「ホールの定理(英語版)」を参照この節の加筆が望まれています。フェイト・トンプソンの定理[編集]詳細は「フェイト・トンプソンの定理(英語版)」を参照フェイト・トンプソンの定理(奇数位数定理)によればすべての奇数位数の有限群は可解群である。有限群が単純群であれば、それは素数位数の巡回群か偶数位数である。有限単純群の外部自己同型群は可解群である。group)であるという。G_{i}/G_{i-1}}は巡回群であるようなG1,...,Gnが存在するとき、Gは超可解群であるという。正規列はその定義より有限の長さを持つので、非可算の群は超可解群ではない。実際、すべての超可解群は有限生成であり、アーベル群は有限生成であるとき、およびその時に限り超可解群である。交代群A4は可解群であるが超可解群ではない群の例である。group)と呼ばれる。これは実質的アーベル群(英語版)と似た語法である。すべての可解群は当然実質的可解群である。指数1の可解部分群(自分自身)が存在するからである。(link)この項目は、数学(数学者を含む)に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています(プロジェクト:数学/Portal:数学)。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。開発者Cookieに関する声明モバイルビュ。