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