有限群 → 素数冪 → 群作用 → 軌道と安定化群 → Sylow 部分群 → Sylow の定理
入口
有限群
目標
Sylow の定理
進捗
ルート設計中
群の位数に含まれる素数を読む
位数の中の素数成分を切り出す
群が集合を動かす様子を見る
動く範囲と動かない部分を対応させる
素数冪位数の最大部分群を取り出す
Sylow 部分群の存在と個数の制約を得る