可解群

group

定義

$G$が可解群$\iff$

$$G=G_0⊵G_1\cdots G_r=\{e\}$$

,${}^{\forall }i,G_i/G_{i+1}$が可換