§19 主理想整环(PID)

§19.1 多项式环

设 $F$ 为一个域，$F[t]$ 为多项式环。

定理 19.1 若 $I\subset F[t]$ 是一个理想，则存在 $p(t) \in F[t]$ 使得

即每一个理想都由一个单一的元素生成。

证明：若 $I=(0)$，则已经完成。因此，我们可以假设存在次数 $\geqslant 0$ 的元素。令 $p(t)$ 为 $I$ 中次数最小的元素，

由于 $p(t) \in I$，

现在让 $f(t) \in I$。考虑除法算法：

其中 $f(t)=b_{n}t^{n}+\cdots+b_{0}$ 且 $Q_{n-1}=b_{n-1}-(a_{d})^{-1}a_{n-1}b_{n}$。

则

其中 $\deg(r(t))<\deg(p(t))$。但 $p(t)$ 已是最小次数的元素，因此 $r(t)=0$。

定义 19.1 若 $f(t) \in F[t]$，称 $f(t)$ 为不可约(irreducible) 的或素元(prime)，如果

则 $a(t)$ 或 $b(t)$ 必须是常数多项式。即，如果没有多项式次数 $d$ 满足 $0<d<\deg f$ 且能整除 $f$。

定理 19.2 任意 $f(t)$ 可以分解为不可约多项式的乘积。

证明：用归纳法证明：对于次数为 0 的情况（即常数多项式），$f(t)$ 要么是 0，要么是单位元（可逆元素），因而分解是平凡的。

假设每一个次数小于 $n$ 的多项式都可以分解为不可约多项式。对于次数为 $n$ 的多项式 $f(t)$：

• 若 $f(t)$ 是不可约的，则完成。
• 否则，$f(t)$ 可以写为 $f(t) = g(t) h(t)$，其中 $\deg(g), \deg(h) < n$。根据归纳假设，$g(t)$ 和 $h(t)$ 可以分解为不可约多项式。

因此，任意 $f(t)$ 都可以分解为域 $F$ 上的不可约多项式的乘积。

§19.2 整数环 $\mathbb{Z}$ 和多项式环 $F[t]$ 的相似性

练习 设 $R$ 是一个交换环，$x_{1}, \ldots, x_{n}$ 是一个有限的元素集合。定义由 $x_{1}, \ldots, x_{n}$ 生成的理想，并证明它是一个理想。

解：因为 $R$ 中有 $n$ 个元素，它们唯一地定义了一个模同态

我们令由 $x_{1}, \ldots, x_{n}$ 生成的理想为此同态的像。$R$ 的像是 $R$ 的一个子模，根据定义，$R$ 的子模是一个理想。

定义 19.2 我们用 $\left(x_{1}, \ldots, x_{n}\right) \subset R$ 表示由元素 $x_{1}, \ldots, x_{n}$ 生成的理想。显式地，它是 $R$ 中所有可以表示为

的元素的集合，其中 $a_{i} \in R$。

设 $F$ 为一个域。我们的目的是展示 $\mathbb{Z}$ 和 $F[t]$ 是非常相似的环。乍一看，这可能是一个令人惊讶的结论，但我们将解释其含义。需要说明一个重要的概念：

(1) 整数的大小(size)（或整数大小的 $\log$）与

(2) 多项式的次数(degree)

之间存在一个类比。

举例来说，对于任意两个整数$x,y\in\mathbb{Z}$，我们有

而对于域 $F[t]$ 中的任意两个多项式，我们有

整数的大小使我们在证明关于所有整数的命题时能够使用归纳法。尽管我们上面用了 $\log$，但 $\log$ 保持了数的顺序，因此上述乘法性质在归纳证明中仍然有用。同样，多项式的次数也使我们可以通过归纳法来证明关于所有多项式的命题。

§19.3 一些定义的回顾

定义 19.3 设 $R$ 为一个交换环。一个零因子(zero divisor) 是指在 $R$ 中的元素 $x$，满足

对于某些 $y \neq 0$。

以下是一些简单的例子：

(1) 若 $R$ 中有多个元素，则 $0$ 总是一个零因子，因为对于 $R$ 中任意 $y$，都有 $0 \cdot y=0$。（$R$ 需要包含多个元素以确保可以选择非零的 $y$。）

(2) 若 $R=\mathbb{Z}/n\mathbb{Z}$，其中 $n$ 不是素数，则可以选择两个整数 $x$ 和 $y$ 使得 $xy=n$，并且 $x$ 和 $y$ 都不是 $\pm 1$。因此，在 $R$ 中，$\overline{x}$ 和 $\overline{y}$ 都是零因子，因为 $\overline{x} \neq 0$，$\overline{y} \neq 0$，但 $\overline{x y}=\overline{n}=0$。

定义 19.4 一个交换环 $R$ 被称为主理想整环(principle ideal domain)，或PID，如果满足：

(1) 若 $I \subset R$ 是任意一个理想，则存在某个 $x \in R$ 使得 $I=(x)$。

(2) $R$ 中唯一的零因子是 $0$。

注 术语“整环”意味着没有非零的零因子。有时你会听到“整环”这个词，它指的是没有非零零因子的交换环。

“主理想”部分意味着每个理想都是“主理想”，即由一个元素生成的。

例 19.2 以下是最重要的两个主理想整环的例子：

(1) $R=\mathbb{Z}$。我们知道 $\mathbb{Z}$ 的任意子群都是 $n \mathbb{Z}$ 的形式，其中 $n$ 是一个整数。此外，$n \mathbb{Z}=(n)$，因为根据定义，$n \mathbb{Z}$ 的任意元素都是某个整数 $a$ 的倍数。由于任何理想特别是 $R$ 的一个子群，所以我们得出 $\mathbb{Z}$ 中的每个理想都是主理想。

(2) $R=F[t]$，其中 $F$ 为一个域。根据定理，$F[t]$ 是一个 PID。

定理 19.3 设 $F$ 为一个域，则 $F[t]$ 中的任意理想 $I \subset F[t]$ 都是由一个单一元素生成的。

证明：由于 $F$ 是一个域，$F[t]$ 中的多项式环具有除法算法：对于任意多项式 $f$ 和 $g$ 且 $g \ne 0$，存在唯一的多项式 $q$ 和 $r$ 使得 $f = qg + r$，其中 $r = 0$ 或 $\deg(r) < \deg(g)$。

现在，设 $I$ 为 $F[t]$ 中的一个理想。如果 $I = \{0\}$，则 $I$ 由 $0$ 生成。若 $I \neq \{0\}$，考虑 $I$ 中非零多项式的次数集：

由于 $D$ 是 $\mathbb{N}_0$ 的非空子集，所以它有一个最小元 $d$。选择一个满足 $\deg(g) = d$ 的 $g \in I$。我们声称 $I = (g)$，即由 $g$ 生成的理想。

首先，由于 $g \in I$，$(g) \subseteq I$。

反过来，对于任意 $f \in I$，使用除法算法，我们可以写出 $f = qg + r$，其中 $\deg(r) < \deg(g)$ 或 $r = 0$。由于 $f, qg \in I$（因为 $I$ 是理想），所以 $r = f - qg \in I$。如果 $r \ne 0$，则 $\deg(r) < \deg(g) = d$，这与 $d$ 的最小性相矛盾。因此 $r = 0$，因此 $f = qg \in (g)$。

由此可见，$I = (g)$，证明了 $F[t]$ 中的每个理想都是主理想。

§19.4 Euclid算法

$\mathbb{Z}$ 和 $F[t]$ 是非常相似的环的一个重要原因是它们都具有除法-余数算法，也就是Euclid算法。回忆我们从小就知道的以下命题：

定理 19.4 (整数的除法与余数) 设 $x$ 是一个整数，$n$ 是任意一个整数。则存在整数 $q$ 和 $r$ 使得

其中 $0 \leqslant r<n$。

注 在我们证明 $\mathbb{Z}$ 的子群只有 $n \mathbb{Z}$ 这一结论时，我们大量地使用了这一命题。

多项式的类似命题是，将（整数的）大小替换为多项式的次数。

定理 19.5 设 $F$ 为一个域，$g \in F[t]$ 是一个多项式，则对于任意多项式 $f \in F[t]$，存在多项式 $q, r \in F[t]$ 使得

其中 $0 \leqslant \deg r<\deg f$。

注 这意味着我们总可以用一个多项式 $g$ 除以另一个多项式 $f$，并查看余数。

证明：如果 $\deg g<\deg f$，则我们完成了，只需设

即，无法用一个低次多项式去整除一个高次多项式，因此我们只能进行平凡的除法，余数就是 $g$ 本身。因此我们需要证明当 $\deg g \geqslant \deg f$ 时的情况。

通过对多项式 $g$ 的次数进行归纳来证明。

设定多项式 $f$ 后，我们已经知道对于所有 $\deg g < \deg f$ 的 $g$，命题成立（这是归纳的基础情形）。假设对于所有 $\deg g \leqslant e-1$ 的 $g$，命题成立。我们需要证明对于 $\deg g = e$ 的 $g$，命题也成立。

令

和

使得 $f$ 和 $g$ 分别是 $d$ 次和 $e$ 次多项式。由于 $a_{d}$ 和 $b_{e}$ 都是 $F$ 中的非零元素，而 $F$ 是一个域，所以存在唯一的数 $q_{e-d}$ 使得

考虑多项式

将此多项式乘以 $t^{e-d}$ 得到

注意，此多项式与 $g$ 具有相同的次数，并且 $g$ 与它的最高次项系数 $b_{e}$ 相同。因此，我们可以从 $g$ 中减去它以得到一个低次多项式：

根据次数的归纳假设，存在多项式 $Q$ 和多项式 $r$ 使得

其中 $r$ 的次数小于 $f$ 的次数。因此，我们可以写成

设 $q = q_{e-d} t^{t-e} + Q$，我们得到

其中 $\deg r < \deg f$。证明完成。

§19.5 主理想整环中的素元与分解

定义 19.5 在环 $R$ 中，若存在元素 $y \in R$ 使得

则称 $x \in R$ 为一个单位元(unit)。

例 19.3 在 $\mathbb{Z}$ 中，单位元是 $\pm 1$。同样，对于一个域 $F$ 来说，$F$ 的单位元是 $F$ 中的非零元素。

命题 19.6 设 $R = F[t]$，则 $R$ 的单位元是常数且非零的多项式。

证明：若 $fg = 1$，则必须有 $\deg f + \deg g = \deg 1 = 0$。因此，$f$ 和 $g$ 的次数都必须为 0，即 $f$ 和 $g$ 都必须是常数多项式。但常数多项式构成了子环 $F \subset F[t]$，因此两个常数多项式的积为 1 当且仅当它们都是非零元素。

现在我们要将 $\mathbb{Z}$ 中的素数概念推广到任意环。

定义 19.6 在环 $R$ 中，一个元素 $x$ 称为素元(prime) 或不可约(irreducible)，若

(1) $x$ 不是单位元；

(2) 唯一能整除 $x$ 的元素是单位元或 $x$ 的单位倍。即，若

对于 $a, b \in R$，则 $a$ 或 $b$ 必须是单位元。

例 19.4 以下是环中一些素元的例子：

(1) 设 $R = \mathbb{Z}$。如果 $x$ 是一个素数或素数的负数，那么能整除 $x$ 的唯一数是 $\pm 1$ 和 $\pm x$。因此，对于 $\mathbb{Z}$，素数元素即为素数或其负数。注意，零不是单位元。

(2) 设 $R = F[t]$。在 $F[t]$ 中，唯一的单位元是常数且非零的多项式。因此，$f$ 是素元或不可约元当且仅当能整除 $f$ 的多项式与 $f$ 同次数，或为常数多项式。

(3) 例如，若 $\deg f = 1$，则 $f$ 是不可约的。因为若 $gh = f$，则 $\deg g + \deg h = \deg f = 1$。这意味着 $g$ 或 $h$ 的次数必须为 0，即任意一次多项式是不可约的。

定理 19.7 (主理想整环中的唯一分解) 设 $R$ 为主理想整环，则对于 $R$ 中的任意非零元素 $x$，存在一组有限的互不相同的素元 $p_{1}, \ldots, p_{k} \in R$ 使得

并且对于 $i \neq j$，$p_{i}$ 和 $p_{j}$ 不是彼此的单位倍数。$n_{i}$ 是唯一的，而元素 $p_{i}$ 除了顺序和单位倍数外也是唯一的。

证明：设 $x \in R$ 且 $x \neq 0$。如果 $x$ 是一个素元，则证明完成：设 $p_{1} = x$。

否则，$x = a_{1} b_{1}$，其中 $a_{1}$ 和 $b_{1}$ 是 $R$ 中的非单位元。如果 $a_{1}$ 和 $b_{1}$ 都是素元，则证明完成。假设 $a_{1}$ 不是素元，则 $a_{1} = a_{2} b_{2}$，其中存在 $a_{2}$ 和 $b_{2}$ 是非单位元。这是什么意思呢？

所以 $(a_1) \subset (a_2)$。

注意，这个包含关系是严格的，即 $(a_1) \neq (a_2)$。为什么呢？否则，我们会有

所以 $b_2$ 是单位元。(注意到在最后一个$\Longrightarrow$，我们运用了$R$是一个区域的事实。)

如果 $a_2$ 也不是素元，我们将再一次有$a_2 = a_3 b_3$，并有真包含$(a_{2})\subset (a_{3})$。继续这样，每次，我们都写$a_{i}=a_{i+1}b_{i+1}$，我们有一链的包含

但正如我们之前看的那样，在某个时刻$(a_{i})$必须等于$(a_{i+1})$，这违反了真包含的性质，因为此时$\left(a_{n+1}\right) \subset(a) \subset\left(a_{n}\right) \Longrightarrow\left(a_{n+1}\right)=\left(a_n\right)$。

这意味着某个$a_{n}$在有限阶段$n$时必须是素元。

我们已经证明：

每个非零元素$x$可以表示为

其中$p_{1}$是素元。

但我们可能无法控制$y_{1}$。现在我们需要证明$x$可以表示为有限个素元的乘积。（重复上述过程时，不确定我们能否在有限时间内获得有限多个素元！）如果$y_{1}$不是不可约的，我们可以写作

其中$p_{2}$是一个素元（使用上面的($\star$)）。如果$y_{2}$不是不可约的，我们可以继续这样进行，从而得到一个链

的真包含关系。如果$y_{n}$在某个时刻不是素元，我们将得到矛盾，因为在一个PID中不存在这样的无限上升理想链（如我们之前所证明的）。因此设$p_{n+1}=y_{n}$，于是我们可以写作

这表明任何元素$x$都可以表示为素元的乘积。

证明的核心如下：

命题 19.8 确定一个主理想整环 $R$。假设存在一个理想序列

那么存在一个有限的整数 $n$ 使得 $I_n = I_{n+1} = \cdots$。

证明：设 $I = \bigcup_{j} I_j$。由于 $R$ 是主理想整环，存在一个单一元素 $a$ 使得 $I = (a)$。由于 $a \in I$，根据定义，$a$ 必须属于某个有限的 $I_n$ 中。于是我们有

因此 $I_n = (a)$。因为对于所有 $j$，如果$I_n \subset I_{n+j} \subset (a) = I_n$，我们得到 $I_n = I_{n+j}$。

注 满足上述递增链条件的交换环 $R$ 被称为Nöther环(Nötherian ring)，以纪念数学家Emmy Nöther。如果你学习代数几何的相关课程，将会遇到更多的Nöther环。

例 19.5 作为一个应用例子：

(1) 如果 $R = \mathbb{Z}$，我们知道 $\mathbb{Z}$ 中的素元就是素数或它的负数。因此，这一分解定理表明，任何整数 $x \in \mathbb{Z}$ 都可以表示为素数的幂次的乘积：

如果每个$p_{i}$都取为正的素数，这通常称为$x$的素因数分解。然而，在该定理的上下文中，请注意我们可以将$p_{1}$和$p_{2}$替换为$-p_{1}$和$-p_{2}$，我们仍然可以将$x$表示为素数的幂次乘积。从这个意义上说，$p_{i}$的选择仅在乘以单位元时是唯一的。当然，对于整数，我们可以选择排序使得每个$p_{i}<p_{i+1}$，从而获得一种首选排序，但这在一般的PID中并不成立。

(2) 若 $R = F[t]$，此定理表明每个多项式都可以表示为不可约多项式 $p_i$ 的乘积：

(3) 例如，如果 $F = \mathbb{C}$，则任何多项式都可以表示为一次多项式的乘积形式：

注意，对于其他域，我们可能无法将 $f$ 分解为一次多项式的形式。

练习 以下是一些练习题：

(1) 设 $F$ 是一个域且 $g \in F[t]$。证明 $g(x) = 0$ 当且仅当 $t - x$ 整除多项式 $g(t)$（提示：使用除法算法）。

(2) 固定一个交换环 $R$，固定 $a, b \in R$，证明

当且仅当 $a = u b$，其中 $u$ 是一个单位元。

(3) 设 $R$ 为一个交换环。证明单位元不可能是零因子。它的逆命题是什么？

(4) 证明任意域都是一个主理想整环。

解：(1) 若 $\deg g = 0$，则显然成立，因为 $g(x) = a_0 = 0$ 当且仅当 $g = 0$，且 $(t - x) \cdot 0 = 0$，因此 $t - x$ 整除 $g$。

现在假设 $\deg g \geqslant 1$。使用除法算法，我们可以写出

则

这意味着 $r(x) = 0$。但$\deg r < \deg(t - x)$，意味着$r(x)$必须是一个$0$次多项式，其中$x$是一个根——这意味着$r=0$作为一个多项式，并且

(2) 因为 $a = u b$，所以 $a \in (b)$。于是 $(a) \subset (b)$。（因为如果$y=r a$，那么$y=r u b=(r u) b$，所以$a$的任何倍数都是$b$的倍数。）

同样，$u^{-1} a = b$，所以 $b \in (a)$，因此 $(b) \subset (a)$。

(3) 若 $x$ 是单位元，则存在 $y \in R$ 使得 $x y = 1$。对于任意 $a \in R$，$a x y = a \cdot 1 = a$。另一方面，如果 $a x = 0$，我们也有 $a x y = 0 y = 0$。因此 $a = 0$，即 $x$ 不能是零因子。

(4) 一个交换环是一个域当且仅当它的唯一理想是 $\{0\}$ 和 $R$ 本身。显然 $\{0\}$ 是主理想，因为 $\{0\} = (0)$。同样，$R = (1)$ 对任意环成立。

所以我们只需要证明除了 0 外没有其他零因子。对于域中的每一个非零元素，它都有逆元，因此不存在非零零因子。

§19.6 主理想整环上的模

以下定理展示了每一个在主理想整环上有限生成的模都有一种简单的形式。（如果所有的环都有如此简单的模结构，那么代数学的世界会变得非常美好。）

定理 19.9 (有限生成模在主理想整环上的分类) 设 $R$ 为主理想整环，$M$ 是一个有限生成的 $R$-模。那么存在有限个素元 $p_{1}, \ldots, p_{k} \in R$（其中 $p_{i}$ 可以等于 $p_{j}$）和整数 $n_0, n_1, \ldots, n_k$，使得

并且这个分解在重排和 $p_i$ 的单位倍之下是唯一的。

注 什么是唯一性的显式意思？给出另一个分解

其中每个 $q_i$ 也是素元，那么我们有

(1) $m_0 = n_0$，

(2) $j = k$，并且

(3) 存在一种 $i$ 的重排序，使得 $n_i = m_i$，并且 $p_i$ 和 $q_i$ 是彼此的单位倍。

特别需要注意的是，$p_i$ 可能等于 $p_j$（当 $i \neq j$ 时）。换句话说，模与数不同——它们的分解不是唯一的素数分解，其中 $p \cdot \cdots \cdot p$ 可以组合成 $p^{k}$；素元的重复是重要的。

例 19.6 ($R=F$ 一个域) 若 $F$ 是一个域，什么是素元素？没有素元素，因为素元素是非零的非单位元素。因此，任意有限生成$F$上的模都具有形式

这意味着每个有限生成的 $F$-模具有有限基。$n_0$ 就是向量空间的维数。

例 19.7 ($R = \mathbb{Z}$) $\mathbb{Z}$中的素数是什么？它们是形如$\pm p$的数，其中$p$是一个素数。（注意$(p)=(-p)$。）因此，上述定理表明，任何有限生成的$\mathbb{Z}$-模——即任何有限生成的Abel群——都具有以下形式：

唯一性意味着，例如，

和

并不是同构的$\mathbb{Z}$-模（即，不是同构的Abel群）。这点我们已经知道——例如，$\mathbb{Z}/4\mathbb{Z}$是循环群，而前者群不是。注意，前者群也是$i \neq j$时$p_{i}=p_{j}$的一个例子。

例 19.8 仍然取 $R = \mathbb{Z}$。现在可以对所有阶数为 8 的Abel群进行分类：

例 19.9 另一个例子：令 $M = \mathbb{Z}/6 \mathbb{Z}$。它并不符合定理中的标准形式。实际上，$M$ 同构于

练习 分类所有阶数为

的Abel群。

解：需要找出满足 $|M| = 5929$ 的所有组合 $p_i, n_i$ 使得

请注意：$\mathbb{Z}/p^{2} \mathbb{Z}$ 不同构于 $\mathbb{Z}/p \mathbb{Z} \oplus \mathbb{Z}/p \mathbb{Z}$。

练习 其中哪些群同构于 $\mathbb{Z}/5929 \mathbb{Z}$？

解：我们已经证明，如果 $\gcd(m, n) = 1$，则 $\mathbb{Z}/m \mathbb{Z} \times \mathbb{Z}/n \mathbb{Z} \cong \mathbb{Z}/(mn) \mathbb{Z}$。因此

让 $F$ 为一个域，并令 $V$ 为一个 $F$-向量空间（即 $V$ 是一个 $F$-模）。任意 $F$-线性映射

定义了一个$V$上的 $F[t]$-模结构：若 $f = a_d t^d + \cdots + a_1 t + a_0$，则

其中

因此，设 $V$ 是一个$F$上有限维向量空间。选择一个 $F$-线性映射 $A: V \to V$ 使 $V$ 成为一个 $F[t]$-模。

命题 19.10 $V$ 是有限生成的 $F[t]$-模。

证明：设 $v_1, \ldots, v_n$ 是一个有限基。那么

特别地，如果 $f_i = b_i$ 是常数多项式，

因此，

是一个满射。

推论 19.11 $V$ 同构(作为一个$F[t]$-模)于

其中 $p_i \in F[t]$ 是不可约的，$n_i \geqslant 1$，$n_0 \geqslant 0$。

注 在这个分解中，$n_0 = 0$。为什么？因为 $V$ 是有限维的 $F$-向量空间，而 $F[t]$ 不是有限维的，所以 $V$ 中不能包含同构于 $F[t]$ 的子空间。

一般来说，判定不可约多项式可能较为困难，例如，判断 $x^3 + 2x^2 + x + 1$ 是否在 $\mathbb{Z}/p\mathbb{Z}$ 上不可约，通常需要逐一检查。

§19.7 当主理想整环为多项式环时

我们之前提到的主理想整环之一是 $R = F[t]$。那么，$F[t]$ 的素元是什么呢？这通常是一个复杂的问题。首先判断 $f$ 是否是素元的一个前提是它在 $F$ 中没有根——否则，正如我们之前看到的那样，$f$ 可以被一次多项式整除，这并不是 $F[t]$ 中的单位。

然而，对于一些特殊的域，$F[t]$ 的不可约元素比较容易识别：

定义 19.7 如果域 $F$ 满足每一个多项式 $f \in F[t]$ 都有一个根，则称 $F$ 为代数闭域(algebraically closed)。

一个明显的例子是 $F = \mathbb{C}$。有一个重要的定理：

定理 19.12 任意一个域 $F$ 都可以嵌入到一个代数闭域中。

注 注意，并不是每个域$F$都允许存在一个到$\mathbb{C}$的单射环同态。例如，当$F=\mathbb{Z}/2\mathbb{Z}$时，其乘法单位元$\overline{1}$满足性质$\overline{1}+\overline{1}=0$。任何环同态$\phi: \mathbb{Z}/2\mathbb{Z} \rightarrow \mathbb{C}$都必须满足$\phi(\overline{1})+\phi(\overline{1})=\phi(0)$，而这在$\mathbb{C}$中是不可能的，因为环同态还必须满足$\phi(\overline{1})=1_{\mathbb{C}}$的约束条件。

换句话说，必然存在某个不同于$\mathbb{C}$的域，它具有任何多项式的根，并且允许从$\mathbb{Z}/2\mathbb{Z}$到该域的单射映射。听起来很神秘，不是吗？

命题 19.13 如果 $F$ 是代数闭域，则 $F[t]$ 中的唯一不可约元素是非零的一次多项式。

证明：我们已经知道，任意非零的一次多项式对于任意 $f = ab$，$a$ 或 $b$ 的次数必须是 0，因此任何 $f$ 的分解都涉及单位元。

另一方面，如果 $f$ 的次数 $\geqslant 2$，根据代数闭域的定义，$f$ 必然有一个根，因此我们可以写作

其中 $q$ 的次数为 $\deg f - 1$。$t - x$ 和 $q$ 都不是单位元，因为它们的次数非零，因此更高次数的多项式不可能是素元。

推论 19.14 如果 $F$ 是代数闭域，那么在 $F$ 上的任何有限生成模都同构于

其中 $\lambda_i \in F$ 且 $n_1, \ldots, n_k \geqslant 1$。

为什么这对我们有用？一个很好的例子是 $F[t]$-模，即一个具有线性映射 $A: V \to V$ 的 $F$-向量空间。这为我们分类线性映射 $A$ 提供了帮助！

推论 19.15 如果 $F$ 是代数闭域，$V$ 是一个有限维 $F$-向量空间，且 $A: V \to V$ 是 $F$-线性的，则

其中 $\alpha_i \in F$。

注 如果 $f = a_1 t - a_0$，则 $a_1^{-1} f = t - a_1^{-1} a_0$（假设 $a_1 \neq 0$），因此 $(f) = (a_1^{-1} f) = (t - a_1^{-1} a_0)$。也就是说，我们总可以假设 $a_1 = 1$。

让我们看一些例子：我们想要研究

作为 $F$-模和 $F[t]$-模。注意，$F[t]$-模结构在 $F[t]/(p^n)$ 上是通过定义的：

命题 19.16 如果 $\deg p = d$，那么

作为 $F$-向量空间。

证明：任意 $f \in F[t]$ 可以写作 $f = p^n \cdot q + r$，其中 $\deg r < \deg p^n = n d$。由于 $r$ 和 $q$ 是唯一的（给定 $p^n$ 和 $f$），所以函数

给出了一个双射。

例 19.11 $V = F[t]/(t)$，其中 $\alpha = 0$，$n = 1$。这是怎样的 $F[t]$-作用？

(1) $F[t]/(t) \cong \{\text{常数多项式}\} \cong F$。

(2) $t \cdot \overline{a_0} = \overline{t a_0} = \overline{0}$，因为 $a_0 t \in (t)$。也就是说，乘以 $t$ 的作用就是映射

例 19.11 $V = F[t]/(t - \alpha)$。乘以 $t$ 的作用对应于

即：

例 19.12 设

则 $V$ 有一个基

而且

所以

其中主对角线是 $\alpha$，并且对角线上方一行全为 $1$。