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