１は可解群の定義がなぜあのような形なのか理解できてない
なぜ正規部分群が出てくるのか？　それは商が群となるようにしたいから
なぜ商群が巡回群でなくてはならないのか？　それは巡回拡大なら根号で解けるから
なぜ巡回拡大なら根号で解けるのか？　それはラグランジュ分解式のｎ乗が巡回置換で不変だから

しかしながら、１はこの最初のドミノが倒せてない