有限アーベル群 → 元の位数 → 素数冪成分 → 巡回部分群 → 直積分解 → 有限アーベル群の基本定理
入口
有限アーベル群
目標
有限アーベル群の基本定理
進捗
ルート設計中
元の個数が有限で可換な群を見る
各元が何回で単位元へ戻るかを見る
群を素数ごとの成分に分ける
一つの元で動く部分を取り出す
独立な巡回成分を組み合わせる
有限アーベル群を巡回群の直積に分解する