有限群 → 部分群 → 左剰余類 → 剰余類分解 → 位数の比較 → Lagrange の定理
入口
有限群
目標
Lagrange の定理
進捗
ルート設計中
元の個数が有限な群を対象にする
群の中にある小さな群を見る
部分群を平行移動したかたまりを作る
群全体を同じ大きさのかたまりに分ける
群と部分群の元の個数を比べる
部分群の位数は群の位数を割る