3.2. Jordan–Hölder 定理与 Krull–Schmidt 定理

再次强调 “环” 默认指有限环. 本节考察有限环 上的有限生成模. 由于模本身有限, 其子模自然满足升链与降链条件.

问题 I: 若 为有限生成 -模, 则可在零模与 之间构造子模链: 其中 互异. 通过插入中间子模至无法再细化, 可得到 “极大链”. 此类链长度有限, 我们关注其唯一性.

为有限生成 -模. 其长度为 正规链指满足 的子模链: 若另一正规链的每个 均为某个 , 则称其为原链的细化. 商模 称为链的合成因子. 两链等价当且仅当 , 且存在置换 使得

定理 3.2.1 (Schreier). 有限生成 -模的任意两条正规链均有等价细化.

证明. 我们有, 则这是链 的细化. 同理, 是链 的细化. 由 Zassenhaus 引理 (见注 3.2.8)

正规链 若不能进一步细化, 则称为合成链. 以下结果是 3.2.1 的简单推论.

定理 3.2.2 (Jordan–Hölder).为有限生成模 的两条合成链. 则 , 且存在置换 使得

若有限生成模 可分解为非零子模的直和 , 则称 可分解模, 否则称为不可分解模.

问题 II: 有限生成模 可逐步分解为不可分解子模的直和: 注意 . 我们关注此类分解的唯一性.

模的分解与其 -同态有关. 故我们首先考察有限生成 -模的 -线性映射.

定理 3.2.3. 为有限生成 -模, -同态. 则以下等价:

(a)

为双射,

(b)

为单射,

(c)

为满射.

证明., 结论显然.

定理 3.2.4 (Fitting 引理). 为有限生成 -模, -同态. 则存在整数 及子模 满足:

(a)

,

(b)

,

(c)

.

因此 , 其中 可逆而 幂零.

证明. 设链 处停止, 即 . 故 限制到 上是满射, 因此由 3.2.3, 是同构. 令 . 显然由于 是双射, . 要说明 , 任取 并取 使得 . 则 .

推论 3.2.5. 为不可分解有限生成 -模, 则其任意 -自同态要么幂零, 要么为自同构.

表示 -同态 的集合. 则在同态的复合与加法运算下, 是一个环. 假设 有限生成且不可分解. 设 并假设 是自同构. 我们断言存在 使得 是自同构. 显然只需说明 的情况. 故设 的自同构. 则 . 若 是自同构, 则证明完成. 否则, 由推论 3.2.5, 是幂零的. 则 是自同构, 因为对幂零元 , 是可逆的, 逆元为 (有限和).

定理 3.2.6 (Krull-Schmidt). 设有限生成模 有两种不可分解直和分解: , 且存在置换 使得 .

证明. 对任意 与任意 , 存在自然的 -同态 , 称为投影. 例如, 若 可写为 , 其中 , 则 .

我们对直和中的项数做归纳. 注意到若 , 则 上的恒等同态 . 则 . 把这个同态限制到 上, 我们得 . 由于 不可分解, 由推论 3.2.5 下面的讨论得, 存在 的自同构, 不妨设为 . 则 是自同构. 故 都是同构. 特别地, .

容易看出 是直和. 显然 . 但 , 因为 . 故 . 定义 . 则 是自同构且 . 故 , 即 .

推论 3.2.7. 为不可分解直和分解, 则其任意直和因子 同构于某子集 的直和.

有限生成不可约模的其他讨论见第 13 章. 对自同态环 的更详细考察见第 7 章.

注 3.2.8 (Zassenhaus 引理). 是有限生成 -模 的子模. 若 , 则

证明.. 定义 , 其中 . 我们首先说明 是良定义的. 若 , 则 . 故 . 而 是满射, 因为对任意 都有 . 而 显然是同态. 由同态基本定理得 . 其中 . 故 . 同理可得 . 得证.