不変因子分解
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/19 10:11 UTC 版)
任意の有限生成アーベル群 G を次の形の直和として書くこともできる: Z n ⊕ Z k 1 ⊕ ⋯ ⊕ Z k u , {\displaystyle \mathbb {Z} ^{n}\oplus \mathbb {Z} _{k_{1}}\oplus \cdots \oplus \mathbb {Z} _{k_{u}},} ただし k1 は k2 を割り切り、k2 は k3 を割り切り、同様に ku まで続く。再び、ランク n と不変因子 k1,...,ku は G によって順序も込めて一意的に決まる。
※この「不変因子分解」の解説は、「有限生成アーベル群」の解説の一部です。
「不変因子分解」を含む「有限生成アーベル群」の記事については、「有限生成アーベル群」の概要を参照ください。
- 不変因子分解のページへのリンク