可解群
#代数学
定義
群
$ G
が可解群とは
群
$ G
について、
$ G
の部分群の有限列
$ G = G_0 \supset G_1 \supset G2 \supset \cdots \supset G_n = \{e\}
が存在して、
$ G_i
が
$ G_{i-1}
の
正規部分群
であり、かつ
剰余群
$ G_{i-1}/G_i
が可換群であるとき
定理