有限アーベル群の表記 のバックアップ(No.1)
- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- 現在との差分 - Visual を表示
- ソース を表示
- 有限アーベル群の表記 へ行く。
- 1 (2019-01-27 (日) 17:53:16)
(定理) 有限アーベル群の直和による表記
仮定
- \( G \) は有限アーベル群
主張
有限アーベル群 \( G \) は素数 \( p_1, \cdots, p_g \) を使って必ず
mathjax
\[ G = G(p_1) \oplus \cdots \oplus G(p_g) \]
とかける。ただし各 \( G(p_i) \) は、 \( 1 \leqq a_1 \leqq \cdots \leqq a_i^{(l_i)} \) を用いて
mathjax
\[ G(p_i) = \mathbb{Z}/p_i^{a_i^{(1)}}\mathbb{Z} \oplus \cdots \oplus \mathbb{Z}/p_i^{a_i^{(l_i)}}\mathbb{Z} \]
とかける。また
mathjax
\[ G(p_i) = \left\{x \in G \mathrel{}\middle|\mathrel{} \exists N \in \mathbb{N}, ~p_i^N \cdot x = 0\right\} \]
とも書けるらしい。