问题： 证明1：n≥5，S_n不可解（S_5不可解易证明，证明了2就证明了1）。 证明2：群G可解=>群G的子群H可解或者群H不可解=>群H的扩群G不可解。 GAP命令为： gap> G:=SmallGroup(8,3);;Print("是否幂零：",IsNilpotentGroup(G),",是否可解：",IsSolvableGroup(G),"\n");n:=Size(G);L:=Elemen