>>790
>f(x) の K 上の分解体 L のガロア群 Gal(L/K) が可解群となることである．

ふっふ、ほっほ
可解群の定義を確認しようね（下記）
”有限群の場合は、同値な定義として「組成列においてすべての商が素数位数の巡回群である」というものもある”
ここの 有限群の場合 すべての商が素数位数の巡回群
って、意味分るかい？ｗ ；ｐ）
（『有限群の組成列の長さは有限であり、全ての単純アーベル群は素数位数の巡回群であるため、この定義は上の定義と同値である。』）
（多項式のガロア群の場合は、巡回群はある体の上の冪根に対応する）

(参考)
https://ja.wikipedia.org/wiki/%E5%8F%AF%E8%A7%A3%E7%BE%A4
可解群
定義
群 G が、すべての因子が可換であるような連正規列（英語版）をもつとき可解群という[2]。つまり部分群の列
G=G0≥G1≥⋯≥Gn=1
が存在して、各 0 ≤ k < n について Gk + 1 は Gk の正規部分群であり、かつ商群 Gk/Gk + 1 が可換であることをいう。
群 G の可解性は導来列
G=G(0)⊵G(1)⊵G(2)⊵⋯
が有限項で自明な部分群 1 に達することと定義もできる[3]。ここで各 k ≥ 0 について G(k + 1) は G(k) の交換子部分群 [G(k), G(k)] である。可解群 G に対して G(n) = 1 となる最小の n ≥ 0 を導来列の長さ (derived length) という。
任意の群 H とその正規部分群 N について、商群 H/N は N が H(1) を含むとき、かつそのときに限りアーベル群であるため、上の定義は同値である。
有限群の場合は、同値な定義として「組成列においてすべての商が素数位数の巡回群である」というものもある。
有限群の組成列の長さは有限であり、全ての単純アーベル群は素数位数の巡回群であるため、この定義は上の定義と同値である。
ジョルダン・ヘルダーの定理より、一つの組成列が上記の性質を持つ場合、すべての組成列は同様に上記の性質を持つことが保証される。
多項式のガロア群の場合は、巡回群はある体の上の冪根に対応する。
無限群の場合は必ずしも同値ではない。たとえば、整数の加法群 Z のすべての非自明な部分群はZ自身と同型であるため、Zは組成列を持たないが、正規列{0,Z}を持ちその唯一の商 Z/0 は Zと同型（つまり可換）だから、可解群である。