群 → 正規部分群 → 単純群 → 組成列 → 細分と同値 → Jordan-Hölder の定理
入口
群
目標
Jordan-Hölder の定理
進捗
ルート設計中
演算をもつ対称性の世界を見る
商群を作れる部分群を取り出す
これ以上正規部分群で分解できない群を見る
群を単純な商へ段階的に分解する
分解の違いを比較する
組成因子が順序を除いて一意に決まる