局部环

1. 概述

于 环论 中, 局部环 是只有一个 极大理想 的 交换环. 它描述一个空间在单个点附近的代数信息, 并可由在素理想处进行 局部化 得到.

2. 定义

定义 1 (局部环)

称 交换环 为 局部环, 当 恰有一个 极大理想 .

记号 2 (局部环)

局部环 的唯一极大理想常记为 .

注记 3 (剩余域)

局部环 的唯一极大理想为 时, 相应商域 是它的 剩余域.

3. 例子

例子 4 (域与素理想处的局部化)

• 任意 域 都是 局部环, 其唯一极大理想为 ;
• 若 为交换环且 为 素理想, 则 局部化 是局部环, 其唯一极大理想为 .

4. 相关性质

命题 5 (局部环的单位判别)

设 为非零 交换环. 以下条件等价：

1. 是 局部环;
2. 的非 单位 全体构成一个理想;
3. 对每个 , 与 中至少一个是单位.

证明 6 (局部环的单位判别)

设 为唯一极大理想. 单位不属于任何真理想; 对每个非单位 , 主理想 为真理想, 由 极大理想的存在性 包含于某个极大理想, 故非单位全体恰为 .

若 与 都是非单位, 则它们的和 属于非单位理想, 矛盾.

任取两个极大理想 . 若它们不同, 可取 . 由极大性, , 故存在 与 使 . 于是 与 分别位于真理想 与 , 因而均非单位, 与 (3) 矛盾.

定理 7 (Nakayama 引理)

设 为 局部环, 为 有限生成 -模. 若 , 则 .

证明 8 (Nakayama 引理)

若 , 从 的有限生成集中取元素个数最少的一组 . 由 , 存在 使 . 因而：

由 局部环的单位判别, 是单位, 故 可由 生成, 与所选生成集的最小性矛盾.

5. 相关概念

• 极大理想
• 局部化
• 剩余域
• 有限生成模

6. 术语翻译

中文	英文
局部环	local ring
剩余域	residue field