有限生成アーベル群の基本定理 のバックアップ(No.1)
- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- 現在との差分 - Visual を表示
- ソース を表示
- 有限生成アーベル群の基本定理 へ行く。
- 1 (2019-01-27 (日) 10:05:52)
(定理) 有限生成アーベル群の基本定理
仮定
- \( M \) は \( \mathbb{Z} \)-加群
主張
\( M \) は
mathjax
\[ M \simeq \mathbb{Z}^{\oplus r} \oplus \mathbb{Z}/d_1\mathbb{Z} \oplus \cdots \oplus \mathbb{Z}/d_n\mathbb{Z} \]
と (同型の意味で) 一意的に書ける。
証明
これを証明するのが目標。