>可解は決して 巡回群に限らない

しかしどれも正規部分群で割った剰余群が巡回群

それが可解性の本質

君、全然わかってなかったでしょ?