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

形式陈述

阿贝尔群 $G$ 称为有限生成，是指存在一个有限子集，其整数线性组合覆盖 $G$ 。每个这样的群都存在唯一整数 $r\ge0$ 及唯一满足 $1<d_1\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$ 为自由秩，后面的有限群是挠子群。这称为不变因子分解。用中国剩余定理分解各 $d_i$ ，得到等价的初等因子分解：挠子群是素数幂阶循环群的直和，素数幂的多重集唯一。

证明是PID 上有限生成模结构定理取 $R=\mathbb Z$ ：整数模的标量作用就是整数次加法。该页证明了有限生成群的关系子群有有限基，故可以用整数矩阵呈示；Smith 正规形给出分解，而自由秩及挠子群的各个素数幂层保证抽象唯一性。唯一性不要求具体同构或选出的循环子群唯一。

直觉

关系矩阵的列告诉我们哪些整数线性组合应被当作零。将这些关系拆成对角形以后，一个坐标可能无限延伸，也可能绕若干次回到零。分类定理记录自由方向有几个、每个有限周期有多长，并以整除链去掉表示上的重复。

只报出群的同构类型还不足以计算原来的元素。若要求判断某个原生成元的阶，就必须同时保留目标换基 $U$ ；它告诉我们原元素在自由方向和有限周期方向上各有多少分量。下面把这一步完整算出来。

例子与边界

三个生成元与三条交织的关系

设 $e_1,e_2,e_3$ 为原生成元，令

G=\mathbb Z^3/\langle(6,10,16),(12,30,42),(18,40,58)\rangle.

例如第一条关系是 $6e_1+10e_2+16e_3=0$ 。每一列是一条关系，所以关系矩阵是

A=\begin{pmatrix}6&12&18\\10&30&40\\16&42&58\end{pmatrix}.

Smith 页的九步整数运算给出 $UAV=D=\operatorname{diag}(2,30,0)$ ，其中

U=\begin{pmatrix}2&-1&0\\-5&3&0\\-1&-1&1\end{pmatrix}, \qquad U^{-1}=\begin{pmatrix}3&1&0\\5&2&0\\8&3&1\end{pmatrix}.

右乘 $V$ 只重新组合关系；左乘 $U$ 把目标坐标分开。因此所求同构为

\begin{aligned} \Phi:G&\longrightarrow\mathbb Z/2\mathbb Z\oplus\mathbb Z/30\mathbb Z\oplus\mathbb Z,\\ [(x,y,z)]&\longmapsto \bigl([2x-y]_2,[-5x+3y]_{30},z-x-y\bigr). \end{aligned}

良定义、逆映射和新的生成元

先检查公式是否真的定义在商群上。因为 $UA=DV^{-1}$ ，每条原关系经 $U$ 后都属于 $2\mathbb Z\oplus30\mathbb Z\oplus\{0\}$ ，所以改变代表元不会改变 $\Phi$ 的值。这正是商模的泛性质在整数模中的用法。若 $\Phi([x])=0$ ，则 $Ux\in D\mathbb Z^3=UA\mathbb Z^3$ ；乘 $U^{-1}$ 后得到 $x\in A\mathbb Z^3$ ，因此核也没有多余元素。

由 $U^{-1}$ 的三列可直接写出逆：

\Psi([a]_2,[b]_{30},c) =\bigl[a(3,5,8)+b(1,2,3)+c(0,0,1)\bigr].

设 $a_1=(6,10,16)$ 、 $a_2=(12,30,42)$ 是前两条关系。由于

2(3,5,8)=a_1,\qquad 30(1,2,3)=3a_1+a_2,

改变余类代表 $a$ 或 $b$ 只增加关系，故逆也良定义。矩阵恒等式 $UU^{-1}=U^{-1}U=I$ 说明两映射互逆，特别给出满射性。

于是可以选新的循环生成元

g_1=[(3,5,8)],\quad g_2=[(1,2,3)],\quad g_3=[(0,0,1)].

它们经 $\Phi$ 分别成为 $(1,0,0)$ 、 $(0,1,0)$ 、 $(0,0,1)$ ，因此阶恰为 $2$ 、 $30$ 、无限，而不只是知道前两者被 $2$ 、 $30$ 杀掉。原生成元则满足

原生成元	在 $\mathbb Z/2\oplus\mathbb Z/30\oplus\mathbb Z$ 中的像
$[e_1]$	$(0,25,-1)$
$[e_2]$	$(1,3,-1)$
$[e_3]$	$(0,0,1)$

前两坐标分别模 $2$ 、模 $30$ 。原来的三个生成元都具有非零自由坐标，因而都是无限阶；有限周期在它们的特定组合中才显现出来。例如 $[(1,1,2)]$ 映到 $(1,28,0)$ 。第一坐标的阶为 $2$ ，第二坐标的阶为 $30/\gcd(30,28)=15$ ，所以这个元素的阶为 $\operatorname{lcm}(2,15)=30$ 。

不变因子、初等因子与边界

本例的自由秩为 $1$ ，挠子群阶为 $2\cdot30=60$ ，挠子群的指数为 $30$ 。由 $30=2\cdot3\cdot5$ 得

G\cong\mathbb Z\oplus(\mathbb Z/2\mathbb Z)^2 \oplus\mathbb Z/3\mathbb Z\oplus\mathbb Z/5\mathbb Z.

整数秩只看得见那个自由副本，无法区分这些有限周期。总阶也不足以分类有限群： $\mathbb Z/4$ 与 $(\mathbb Z/2)^2$ 都有四个元素，但只有前者有阶四元素。另一方面， $\mathbb Z/6\oplus\mathbb Z/10$ 虽然看似具有不同因子，却同构于 $\mathbb Z/2\oplus\mathbb Z/30$ ；前一个写法没有满足整除链。

类似地， $\mathbb Z/12\oplus\mathbb Z/18$ 的初等因子是 $(\mathbb Z/4\oplus\mathbb Z/2)\oplus(\mathbb Z/3\oplus\mathbb Z/9)$ ，将同一素数的指数排序并补齐后，得到不变因子 $6,36$ 。这说明从初等因子回到不变因子必须按素数对齐，不能随意将循环因子配对。

有限生成条件不能删去：有限个有理数有共同分母 $L$ ，其整数线性组合只能落在 $L^{-1}\mathbb Z$ ，不能覆盖 $\mathbb Q$ 。因此 $\mathbb Q$ 虽是无挠阿贝尔群，也不属于此定理的有限分解范围。

推论与应用

分类有限阿贝尔群时，自由秩为零，只需列出各个素数的幂次分拆；利用中国剩余定理即可与整除链形式互换。判定两个有限生成阿贝尔群是否同构，则比较自由秩和归一化后的不变因子。

给定具体关系时，Smith 证书还能回答元素问题：将代表向量乘 $U$ ，自由坐标有非零项就说明无限阶；若自由部分为零，有限坐标的阶取最小公倍数。本例正是把分类定理变成了可实际使用的坐标系统。

有限 CW 复形的整数同调群也是有限生成阿贝尔群，因而可用这些不变量记录；实际计算同调时还需先处理边界与循环之间的包含关系，不能任意拿一个边界矩阵的余核代替所求同调群。

Dirichlet 单位定理提供一个算术中的有限生成性定理：整数环单位群由有限根单位群与秩 $r_1+r_2-1$ 的自由部分组成。分类定理在有限生成性已经建立后解释其抽象形状，而对数格的离散与满秩证明负责说明这个算术群为何确实属于分类范围。

参考资料

Sanjana Das、Jakin Ng，MIT Algebra II, Lecture 20，§20.3–20.4：关系矩阵及坐标变换诱导的商同构。
同课程 Lecture 21，Theorem 21.4、Corollary 21.9：Smith 形与整数模分解。本文的具体生成元映射由所列整数证书直接验证。

形式陈述 ​

三个生成元与三条交织的关系 ​

良定义、逆映射和新的生成元 ​

不变因子、初等因子与边界 ​

反向链接

形式陈述

三个生成元与三条交织的关系

良定义、逆映射和新的生成元

不变因子、初等因子与边界