有限生成阿贝尔群结构定理

形式陈述

阿贝尔群 $G$ 称为有限生成，是指存在一个有限生成子集，其整数线性组合覆盖 $G$ 。每个这样的群都存在唯一整数 $r\ge0$ 与唯一满足

1<d_1\mid d_2\mid\cdots\mid d_k

的整数列，使

G\cong\mathbb Z^r\oplus\mathbb Z/d_1\mathbb Z\oplus\cdots\oplus\mathbb Z/d_k\mathbb Z.

这称为不变因子分解， $r$ 为自由秩。等价地，有限挠部分可唯一分解为素数幂循环群的直和

\bigoplus_{p}\bigoplus_j \mathbb Z/p^{e_{p,j}}\mathbb Z,

称为初等因子分解。存在性把群写成整数关系矩阵的余核，再应用Smith 正规形；唯一性可从各倍数子群或 $p$ -初等部分恢复。这也是PID 上有限生成模结构定理取 $R=\mathbb Z$ 的特例。

直觉

有限生成阿贝尔群可视为整数关系矩阵给出的 $\mathbb Z$ -模。Smith 正规形通过可逆整行列变换把关系对角化，使群分成无限的自由整数方向与有限循环挠方向。定理的唯一性不在于某组生成元或某些具体子群，而在于自由秩和不变因子这些同构不变量。

例子与边界

$\mathbb Z/6\mathbb Z\cong\mathbb Z/2\mathbb Z\oplus\mathbb Z/3\mathbb Z$ ，而 $\mathbb Z/4\mathbb Z$ 不同构于 $\mathbb Z/2\oplus\mathbb Z/2$ ，因为前者有阶四元素。 $\mathbb Z^2\oplus\mathbb Z/12$ 的自由秩为 $2$ 、挠子群阶为 $12$ 。分解唯一是指这些不变量唯一，不是选定子群嵌入或同构本身唯一。

群 $\mathbb Z/12\mathbb Z\times\mathbb Z/18\mathbb Z$ 可按素数分解为

(\mathbb Z/4\times\mathbb Z/2)\times(\mathbb Z/3\times\mathbb Z/9).

有限生成条件不可删： $\mathbb Q$ 作为阿贝尔群不能写成有限秩自由部分加有限循环群。

推论与应用

该定理把阿贝尔群分解为循环群基本块，分类有限阿贝尔群，并通过 Smith 正规形计算整数矩阵余核与线性丢番图关系。有限 CW 复形的整数同调群也是有限生成阿贝尔群，因此可用同一不变量体系记录。

参考资料

David S. Dummit and Richard M. Foote, Abstract Algebra, 3rd ed., Wiley, 2004，§12.1, finitely generated abelian groups and invariant factors。
Serge Lang, Algebra, revised 3rd ed., Springer, 2002，Ch. III, structure of finitely generated modules over a PID。

形式陈述 ​

反向链接

形式陈述