可解群

数学、特に群論の分野において、可解群（かかいぐん、、）は、アーベル群から群の拡大を用いて構成できる群のことである。つまり、可解群は導来列が自明な群で終わるような群のことである。
歴史的には、「可解」という語はガロア理論による5次以上の一般の方程式は代数的に解けないこと（アーベル–ルフィニの定理）の証明から来ている。特に、標数0の体上の代数方程式が根号を用いて解けるのは対応するガロア群が可解群であるとき、およびそのときに限る。
定義.
群formula_1は、各因子がすべてアーベル群であるようなを持つとき、つまり部分群の列
があって剰余群formula_3 がアーベル群であるとき、可解群と呼ばれる。
また、formula_1の導来列
(formula_6はformula_7の交換子群)が最終的に "G" の自明な部分群{1}に達することと定義もできる。任意の群"H"とその正規部分群"N"について、商群 "H" / "N"は"N"が"H"(1)を部分群として含むとき、およびそのときに限りアーベル群であるため、この2つの定義は同値である。formula_8となるような最小の"n"は可解群"G"の長さあるいは導来長さ (derived length) と呼ばれる。
有限群の場合は、同値な定義として「組成列においてすべての商が素数位数の巡回群である」というものもある。有限群の組成列の長さは有限であり、全ての単純アーベル群は素数位数の巡回群であるため、この定義は上の定義と同値である。ジョルダン・ヘルダーの定理より、一つの組成列が上記の性質を持つ場合、すべての組成列は同様に上記の性質を持つことが保証される。多項式のガロア群の場合は、巡回群はある体の上の冪根に対応する。無限群の場合は必ずしも同値ではない。たとえば、整数の加法群 Z のすべての非自明な部分群はZ自身と同型であるため、Zは組成列を持たないが、正規列{0,Z}を持ちその唯一の商 Z/0 は Zと同型（つまり可換）だから、可解群である。
例.
全てのアーベル群は自明に可解群である。これは正規列が自明な群と自分自身で与えられるからである。しかし非アーベル群は可解群であるとは限らない。
より一般的に、すべての冪零群は可解群である。特に、有限"p"-群は冪零群であるため可解群である。
冪零群ではないが可解群である位数の小さい群の一例は、対称群"S"3である。
実は、位数最小の非アーベル単純群が5次の交代群"A"5であり、したがって位数60未満のすべての群は可解である。
群 "S"5は可解群ではない。 "S"5は組成列 formula_9 を持ち(そしてジョルダン・ヘルダーの定理より全ての組成列はこれと同値)、因子群はそれぞれ"A"5、"C"2と同型であるが、"A"5はアーベル群ではないためである。この議論を一般化すると、"n" ≧5について"A"nは"S"nの最大の正規非アーベル単純群であることが分かる。よって"n"≧5のとき"S"nは可解群ではない。この事実は、"n"≧5に対して"n"次の代数方程式であって冪根で解けないものがあるというアーベル-ルフィニの定理の証明のキーとなるステップである。この性質は計算複雑性理論においてもの証明で使われている。
単位的な可換環上の正則な上三角行列がなす群は可解群である。
全ての"p"-シロー部分群が巡回群であるような有限群は2つの巡回群の半直積であり、特に可解群である。そのような群はと呼ばれる。
性質.
群の可解性は多くの操作によって保存される。
可解性は群の拡大によっても保存される。
可解性は輪積（リース積）によっても保存される。
任意の正の整数"N"に対して、derived lengthが高々"N"の可解群すべての集合は群全体の成すの部分等式クラスであり、準同型の像、部分代数、直積をとる操作によって閉じている。有界でない長さの導来列を持つ可解群の直積は可解群ではないので、すべての可解群からなるクラスは等式クラスではない。
定理.
バーンサイドの定理.
バーンサイドの定理は、"p","q"を素数、"a","b"を非負整数として、"G"の位数が
である場合、"G"は可解群である、というものである。
フェイト・トンプソンの定理.
フェイト・トンプソンの定理（奇数位数定理）によればすべての奇数位数の有限群は可解群である。特に、有限群が単純群であれば、それは素数位数の巡回群か偶数位数である。
シュライアー予想.
有限単純群の外部自己同型群は可解群である。
関連する概念.
超可解群.
可解性よりも強い条件として、群"G"は（連正規ではない正規列）を持ち、その因子群がすべて巡回群であるとき、超可解群(supersolvable group)であるという。つまり、
において、各"G""i"は"G"の正規部分群であり、formula_12は巡回群であるような"G"1...,"G""n"が存在するとき、"G"は超可解群であるという。
正規列はその定義より有限の長さを持つので、非可算の群は超可解群ではない。実際、すべての超可解群は有限生成であり、アーベル群は有限生成であるとき、およびその時に限り超可解群である。交代群"A"4は可解群であるが超可解群ではない群の例である。
有限群の場合は上で説明した通り可解性と超可解性は同値である。
有限生成群に限って議論すれば、群のクラスには以下のような強さの関係がある(左側ほど強い条件である):
実質的可解群.
群"G"は、有限指数の可解部分群を持つとき実質的可解群(virtually solvable group)と呼ばれる。これはと似た語法である。すべての可解群は当然実質的可解群である。なぜなら指数1の可解部分群(自分自身)が存在するからである。