PID 上有限生成模结构定理

形式陈述 ​

设 $R$ 是主理想整环公理库主理想整环Principal ideal domain · PID每个理想都由单个元素生成的整环。，$M$ 是有限生成 $R$-模公理库模Module以含幺环元素作标量、以阿贝尔群作加法结构的代数对象。。存在唯一的非负整数 $r$ 及满足

$$0\ne d_1\mid d_2\mid \cdots \mid d_t$$

的非单位元，使

$$M\cong R^r\oplus R/(d_1)\oplus \cdots \oplus R/(d_t).$$

这里每个 $d_i$ 唯一到相伴，$r$ 是自由秩。唯一的是同构类型中的参数，不是 $M$ 内部一组特定的直和公理库直和Direct sum · Internal direct sum把对象组织为来自指定分量的唯一有限和；向量空间的内直和对应求和映射单射，外直和保留分量标签。子模。把各 $d_i$ 分解成素元幂，并用环上的中国剩余定理公理库环上的中国剩余定理Chinese remainder theorem for rings两两互素理想的交商与对应商环直积之间存在规范同构。拆开互素部分，便得到初等因子形式 $R^r\oplus \underset{j}{⨁}R/(p_j^{e_j})$；素元幂的多重集也唯一到相伴与排列。

为什么有限生成足以给出有限呈示 ​

先独立证明：$R^m$ 的任一子模 $K$ 都是秩不超过 $m$ 的有限自由模公理库自由模Free module具有基、因而每个元素可唯一写为有限线性组合的模。。对 $m$ 归纳，$m=0$ 时显然。把 $K$ 投影到第一个坐标，像是理想 $(a)$。若 $a=0$，$K$ 已包含于后 $m-1$ 个坐标中，可以直接归纳。

若 $a\ne 0$，选 $k_0\in K$，使它的第一坐标为 $a$。对每个 $k\in K$，第一坐标都可写成 $ra$，于是 $k-r{k}_0$ 的第一坐标为零。因此

$$K=R{k}_0\oplus K_0,K_0=K\cap (\{0\}\oplus R^{m-1}).$$

直和性来自整环条件：若 $r{k}_0\in K_0$，则 $ra=0$，故 $r=0$。归纳给出 $K_0$ 的有限基，再加 $k_0$ 即为 $K$ 的基。这个证明既没有假定结构定理，也没有借 Smith 形反过来证明自身的前提。

现为 $M$ 取 $m$ 个生成元，得到满射 $R^m\to M$。其核 $K$ 按上段有有限基 $k_1,\dots ,k_s$；将这些基向量写成列，得到 $A:R^s\to R^m$。由商模公理库商模Quotient module按子模诱导的陪集等价关系取商并继承模运算的结构。的泛性质，$M\cong R^m/A{R}^s$。这说明有限生成在 PID 上自动升级为有限呈示。

对 $A$ 应用Smith 正规形公理库PID 上的 Smith 正规形Smith normal form over a PID · Smith normal formPID 上的矩阵可经可逆行列变换化为满足整除链的对角形，且对角因子在相伴意义下唯一。。若 $UAV=D$，商同构为 $[x]\mapsto [Ux]$，而对角商逐坐标分开。非零非单位对角元留下 $R/(d_i)$，单位对角元留下零模，目标中的零对角行留下 $R$，从而得到存在性。

为什么换一套呈示仍得到同样的参数 ​

子式理想说明固定矩阵在可逆行列变换下的不变因子唯一；两个抽象同构的模，却可能使用不同数量的生成元和关系。为处理这种变化，需要从模本身恢复参数。

令 $T=\{x\in M:\text{存在 }0\ne a\in R\text{ 使 }ax=0\}$，它是规范的挠子模。令 $F$ 为 $R$ 的分式域，把模的标量扩为 $F$，也就是允许除以所有非零环元素；标准记法是张量积公理库张量积Tensor product把双线性映射统一因子化为线性映射，并可在交换环上的模中以平衡关系构造的张量积。 $F{\otimes }_{R}M$。挠元素在这里消失，因为 $ax=0$ 且 $a$ 现在可逆；每个自由副本 $R$ 则变成一个 $F$。所以

$$r={\dim }_F(F{\otimes }_{R}M)$$

由 $M$ 自身决定。

对每个素元 $p$，定义 $p$-初等部分

$$T_p=\{x\in T:\text{存在 }a\ge 1\text{ 使 }{p}^{a}x=0\},c_{p,k}={\dim }_{R/(p)}(p^{k-1}{T}_p/p^k{T}_p),k\ge 1.$$

PID 中 $(p)$ 是极大理想，故 $R/(p)$ 是域；该商被 $p$ 杀掉，因此确实是这个域上的向量空间。存在性分解及中国剩余定理说明，$T_p$ 是有限多个 $R/(p^e)$ 的直和。单个这样的因子对 $c_{p,k}$ 贡献 $1$ 当且仅当 $e\ge k$：在到达 $p^e=0$ 前，每向下乘一次 $p$ 都留出一层一维商。

所以 $c_{p,k}-c_{p,k+1}$ 恰好数出指数等于 $k$ 的因子。这恢复了每个素元的全部初等因子，而且只涉及规范子模及其商。最后把各素元的指数按非降序排列，较短的列向左补零，再逐位置将素元幂相乘，即恢复整除链 $d_1\mid \cdots \mid d_t$。若 $T=0$，该链为空。这就完成抽象模的唯一性证明。

直觉

有限生成说的是“有有限个坐标可以描述元素”；有限呈示还要求“坐标之间的关系也能用有限条写完”。PID 的子模归纳证明补上第二点，然后 Smith 形才有有限矩阵可以处理。

对角关系 $d_i{e}_i=0$ 各自约束一个坐标。零关系保留任意标量，单位关系直接消去坐标，其他关系产生挠。不变因子把这些约束按整除链组织；初等因子则逐个素元考察。唯一性证明中的 $c_{p,k}$ 数出第 $k$ 层还保留多少个独立的模 $p$ 方向；这些层由挠子模自身定义，不依赖最初选择的生成元。

例子与边界

从已分离的关系到内在不变量 ​

取 $M={\mathbb{Z}}^3/⟨(2,0,0),(0,6,0)⟩$。第三坐标不受约束，前两坐标分别模 $2$ 和模 $6$，故

$$M\cong \mathbb{Z}\oplus \mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/6\mathbb{Z}\cong \mathbb{Z}\oplus (\mathbb{Z}/2\mathbb{Z}{)}^2\oplus \mathbb{Z}/3\mathbb{Z}.$$

这里 $c_{2,1}=2$、$c_{2,2}=0$，$c_{3,1}=1$、$c_{3,2}=0$；其他素数的各层都为零。恢复不变因子时，素数 $2$ 的指数列是 $(1,1)$，素数 $3$ 的指数列补零为 $(0,1)$，逐位置相乘得到 $(2,6)$。

非对角关系如何进入同一结论 ​

在 Smith 页的九步算例中，关系矩阵是

$$A=\left(\begin{array}{ccc}6& 12& 18\\ 10& 30& 40\\ 16& 42& 58\end{array}\right),UAV=\mathrm{diag}(2,30,0).$$

因此 $M={\mathbb{Z}}^3/A{\mathbb{Z}}^3$ 有自由秩 $1$、挠因子 $2,30$。三条关系中有一条冗余；呈示允许这种冗余，它并不破坏分类。此时 $T_2\cong (\mathbb{Z}/2{)}^2$，$T_3\cong \mathbb{Z}/3$，$T_5\cong \mathbb{Z}/5$，故三个素数的首层维数分别为 $2,1,1$，后续层全为零。补零后的指数列 $(1,1),(0,1),(0,1)$ 再次恢复 $2,30$。具体换基证书见Smith 正规形公理库PID 上的 Smith 正规形Smith normal form over a PID · Smith normal formPID 上的矩阵可经可逆行列变换化为满足整除链的对角形，且对角因子在相伴意义下唯一。，原生成元的像见商群计算公理库有限生成阿贝尔群结构定理Structure theorem for finitely generated abelian groups每个有限生成阿贝尔群唯一分解为自由部分与有限循环素幂部分。。

有限生成不能删除。有限个有理数总有共同分母 $L$，其整数线性组合都在 $L^{-1}\mathbb{Z}$ 中，而 $1/(2L)$ 不在其中，所以 $\mathbb{Q}$ 不是有限生成整数模。它无挠，却不能具有本定理给出的有限分解。PID 条件同样不可省略：在 $k[x,y]$ 上，理想 $(x,y)$ 是有限生成无挠秩一模；扩到分式域后它是一维，但若它自由就只能有一个基元素，迫使这个理想为主理想，与事实矛盾。

推论与应用

有限生成无挠模在 PID 上必自由，因为非零 $R/(d_i)$ 都含挠，必须全部消失。取 $R=\mathbb{Z}$，便得到有限生成阿贝尔群结构定理公理库有限生成阿贝尔群结构定理Structure theorem for finitely generated abelian groups每个有限生成阿贝尔群唯一分解为自由部分与有限循环素幂部分。；有限群对应没有自由部分，而整数情形的各个挠循环因子确实都是有限群。

取 $R=F[x]$，让 $x$ 作用为有限维向量空间上的线性算子 $T$，就把线性算子研究转成有限生成挠模研究。不变因子通向有理标准形，素幂分解通向主分解；在多项式分裂时进一步联系 Jordan 理论。这里“挠”仍指被非零多项式杀掉，不表示底层集合一定有限。

参考资料

• The Stacks Project，More on Algebra, §15.126，Lemmas 15.126.8–15.126.9：自由子模与 PID 上有限生成模的存在性分解；该处不承担本文整除链及抽象唯一性的完整论证。
• Sanjana Das、Jakin Ng，MIT Algebra II, Lecture 20，§20.3–20.4：有限呈示和矩阵换基；以及 Lecture 21，Smith 形与模分解。