可解群

数学、特に群論の分野において、可解群（かかいぐん、英: solvable group, soluble group、独: Auflösbare Gruppe）は、アーベル群から群の拡大を用いて構成できる群のことである。つまり、可解群は導来列が自明な群で終わるような群のことである。

歴史的には、「可解」という語はガロア理論による5次以上の一般の方程式は代数的に解けないこと（アーベル–ルフィニの定理）の証明から来ている。特に、標数0の体上の代数方程式が根号を用いて解けるのは対応するガロア群が可解群であるとき、およびそのときに限る^[1]。

定義

群${\displaystyle G}$ は、各因子がすべてアーベル群であるような(連正規列)（英語版）を持つとき、つまり部分群の列

${\displaystyle \{1\}=G_{0}\triangleleft G_{1}\triangleleft \cdots \triangleleft G_{k}=G}$ 

があって剰余群${\displaystyle G_{j}/G_{j-1}}$  がアーベル群であるとき、可解群と呼ばれる^[2]。

また、${\displaystyle G}$ の導来列

${\displaystyle G\triangleright G^{(1)}\triangleright G^{(2)}\triangleright \cdots }$ 

(${\displaystyle G^{(k)}}$ は${\displaystyle G^{(k-1)}}$ の交換子群)が最終的に G の自明な部分群{1}に達することと定義もできる^[3]。任意の群Hとその正規部分群Nについて、商群 H / NはNがH⁽¹⁾を部分群として含むとき、およびそのときに限りアーベル群であるため、この2つの定義は同値である。${\displaystyle G^{(n)}=\{1\}}$ となるような最小のnは可解群Gの長さあるいは導来長さ (derived length) と呼ばれる。

有限群の場合は、同値な定義として「組成列においてすべての商が素数位数の巡回群である」というものもある。有限群の組成列の長さは有限であり、全ての単純アーベル群は素数位数の巡回群であるため、この定義は上の定義と同値である。ジョルダン・ヘルダーの定理より、一つの組成列が上記の性質を持つ場合、すべての組成列は同様に上記の性質を持つことが保証される。多項式のガロア群の場合は、巡回群はある体の上の冪根に対応する。無限群の場合は必ずしも同値ではない。たとえば、整数の加法群 Z のすべての非自明な部分群はZ自身と同型であるため、Zは組成列を持たないが、正規列{0,Z}を持ちその唯一の商 Z/0 は Zと同型（つまり可換）だから、可解群である。

例

 

基本的な有限群のクラスがなす階層

全てのアーベル群は自明に可解群である。これは正規列が自明な群と自分自身で与えられるからである。しかし非アーベル群は可解群であるとは限らない。

より一般的に、すべての冪零群は可解群である。特に、有限p-群は冪零群であるため可解群である。

冪零群ではないが可解群である位数の小さい群の一例は、対称群S₃である。 実は、位数最小の非アーベル単純群が5次の交代群A₅であり、したがって位数60未満のすべての群は可解である。

群 S₅は可解群ではない。 S₅は組成列 ${\displaystyle \{1\}\triangleleft A_{5}\triangleleft S_{5}}$  を持ち(そしてジョルダン・ヘルダーの定理より全ての組成列はこれと同値)、因子群はそれぞれA₅、C₂と同型であるが、A₅はアーベル群ではないためである。この議論を一般化すると、n ≧5についてA_nはS_nの最大の正規非アーベル単純群であることが分かる。よってn≧5のときS_nは可解群ではない。この事実は、n≧5に対してn次の代数方程式であって冪根で解けないものがあるというアーベル-ルフィニの定理の証明のキーとなるステップである。この性質は計算複雑性理論においても(バーリントンの定理)（英語版）の証明で使われている。

単位的な可換環上の正則な上三角行列がなす群は可解群である^[4]。

全てのp-シロー部分群が巡回群であるような有限群は2つの巡回群の半直積であり、特に可解群である。そのような群は(Z群)（英語版）と呼ばれる。

性質

群の可解性は多くの操作によって保存される。

• Gが可解群であり、全射準同型G→Hが存在する場合、Hも可解群である。第一同型定理より同値であるが、Gが可解群でNがGの正規部分群であれば、商群G/Nは可解群である^[5]。
• 上の性質は次のように拡張できる: Gが可解群であるのは、NとG/Nがともに可解群であるとき、およびその時に限る。
• G が可解群であり、HがGの部分群であるとき、Hは可解群である^[6]。
• GとHが可解群であるとき、直積G × Hは可解群である。

可解性は群の拡大によっても保存される。

• HとG/Hが可解群であれば、Gは可解群である。特に、NとHが可解群であれば、NとHの半直積も可解群である。

可解性は輪積（リース積）によっても保存される。

• GとHが可解群であり、XがG-集合である場合、Xに関するGとHのリース積は可解群である。

任意の正の整数Nに対して、derived lengthが高々Nの可解群すべての集合は群全体の成す(等式クラス)（英語版）の部分等式クラスであり、準同型の像、部分代数、直積をとる操作によって閉じている。有界でない長さの導来列を持つ可解群の直積は可解群ではないので、すべての可解群からなるクラスは等式クラスではない。

定理

バーンサイドの定理

詳細は「バーンサイドの定理」を参照

バーンサイドの定理は、p,qを素数、a,bを非負整数として、Gの位数が

${\displaystyle p^{a}q^{b}\ }$ 

である場合、Gは可解群である、というものである。

ホールの定理

詳細は「(ホール部分群#ホールの定理)」および「(ホール部分群#ホールの定理の逆)」を参照

フェイト・トンプソンの定理

詳細は「(フェイト・トンプソンの定理)（英語版）」を参照

フェイト・トンプソンの定理（奇数位数定理）によればすべての奇数位数の有限群は可解群である。特に、有限群が単純群であれば、それは素数位数の巡回群か偶数位数である。

シュライアー予想

詳細は「(シュライアー予想)（英語版）」を参照

(有限単純群)の(外部自己同型群)は可解群である。

関連する概念

超可解群

可解性よりも強い条件として、群Gは(不変正規列)（英語版）（連正規ではない正規列）を持ち、その因子群がすべて巡回群であるとき、超可解群(supersolvable group)であるという。つまり、

${\displaystyle \{1\}=G_{0}\triangleleft G_{1}\triangleleft \cdots \triangleleft G_{n}=G}$ 

において、各G_iはGの正規部分群であり、${\displaystyle G_{i}/G_{i-1}}$ は巡回群であるようなG₁,...,G_nが存在するとき、Gは超可解群であるという。 正規列はその定義より有限の長さを持つので、非可算の群は超可解群ではない。実際、すべての超可解群は有限生成であり、アーベル群は有限生成であるとき、およびその時に限り超可解群である。交代群A₄は可解群であるが超可解群ではない群の例である。

有限群の場合は上で説明した通り可解性と超可解性は同値である。

有限生成群に限って議論すれば、群のクラスには以下のような強さの関係がある(左側ほど強い条件である):

巡回群 < アーベル群 < 冪零群 < (超可解群) < (多重巡回群)（英語版） < 可解群 （< 有限生成群）

実質的可解群

群Gは、有限指数の可解部分群を持つとき実質的可解群(virtually solvable group)と呼ばれる。これは(実質的アーベル群)（英語版）と似た語法である。すべての可解群は当然実質的可解群である。なぜなら指数1の可解部分群(自分自身)が存在するからである。

脚注

[脚注の使い方]

1. ^ Mikhalev & Pilz 2002, Theorem D.3.1 (Galois).
2. ^ Rotman 1995, p. 102.
3. ^ Rotman 1995, p. 105, Theorem 5.23.
4. ^ Robinson 1991, p. 128.
5. ^ Rotman 1995, p. 102, Theorem 5.16.
6. ^ Rotman 1995, p. 102, Theorem 5.15.

参考文献

• Malcev, A. I. (1949), “Generalized nilpotent algebras and their associated groups”, Mat. Sbornik N.S. 25 (67): 347–366, MR0032644 
• Mikhalev, Alexander V.; Pilz, Günter (2002), The Concise Handbook of Algebra, Springer Science & Business Media, ISBN (978-94-017-3267-3), MR1966155, Zbl 1008.00004, https://books.google.com/books?id=O1LqCAAAQBAJ 
• Robinson, Derek J. S. (1996). A Course in the Theory of Groups. Graduate Texts in Mathematics. 80 (Second ed.). Springer-Verlag. doi:10.1007/978-1-4419-8594-1. ISBN (0-387-94461-3). MR1357169. Zbl 0836.20001. https://books.google.com/books?id=zLfkBwAAQBAJ 
• Rotman, Joseph J. (1995), An Introduction to the Theory of Groups, Graduate Texts in Mathematics, 148 (4th ed.), Springer, ISBN (978-0-387-94285-8), MR1307623, Zbl 0810.20001, https://books.google.com/books?id=4x8BCAAAQBAJ 

外部リンク

• Hazewinkel, Michiel, ed. (2001), "Solvable group", Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。
• Weisstein, Eric W. "Solvable Group". MathWorld (英語).