商环

1. 概述

于 环论 中, 商环 是把一个 理想 中的元素统一视为零所得的环. 环同态的 核 与商环相互对应, 并由第一同构定理联系原环与 像.

2. 定义

定义 1 (商环)

设 为 环, 为 理想. 在加法陪集集合 上定义：

称所得 环 为 对 的 商环.

记号 2 (典范投影)

映射：

称为 商环 的 典范投影.

3. 例子

例子 3 (整数模 环)

对任意 , 整数模 环 是 整数环 对 主理想 的 定义 1 (商环).

例子 4 (平凡商环)

对任意 环 , 有 , 而 是 零环.

4. 相关性质

命题 5 (商环运算良定义)

设 . 商环 上的加法与乘法不依赖于陪集代表元的选择.

证明 6 (商环运算良定义)

若 且 , 则 . 因此 , 加法结果相同. 又：

故乘法结果也相同.

命题 7 (典范投影的核与像)

商环 的典范投影 是 环满同态, 其 核 为 , 像 为 .

证明 8 (典范投影的核与像)

运算按陪集定义, 故 保持加法、乘法与幺元. 每个陪集 都是 , 故 为满射. 最后, 当且仅当 , 所以 .

定理 9 (环的第一同构定理)

设 为 环同态, 其 核 与 像 分别记为 与 . 则存在唯一环同构：

使 , 其中 为典范投影, 为包含映射. 因而：

证明 10 (环的第一同构定理)

存在性

若 , 则 , 所以 , 故命题中的 良定义. 它按 的同态性保持环运算, 并按 环同态的像 的定义为 环满同态. 若 , 则 , 所以 为零陪集, 故它也是 环单同态. 由定义直接得到 .

唯一性

若环同态 也满足 , 则对每个陪集 ：

因而 .

定理 11 (商环的理想对应)

设 , 记 , 并以 表示 的全体 理想. 两类理想一一对应, 对应由：

给出, 且保持包含关系.

证明 12 (商环的理想对应)

若 , 则 对 商环 的加法与乘法吸收封闭, 因而是 理想. 若 , 则 是理想且包含 . 对任意 与 , 直接按元素验证 与 , 故两构造互逆并保持包含.

5. 相关概念

• 理想
• 环同态
• 整数模 环
• 素理想
• 极大理想

6. 术语翻译

中文	英文
商环	quotient ring
典范投影	canonical projection
第一同构定理	first isomorphism theorem