3.3 同态基本定理 (完整讲义版)
1. 环同态的定义与分类
定义 3.3.1. 设 是两个环。如果映射 满足 ,都有
则称 是一个环同态。
在此基础上,我们补充以下具体的同态分类定义(原文省略部分):
- 单同态 (Monomorphism): 若 是单射(即 ,若 则 ),称 为单同态。
- 满同态 (Epimorphism): 若 是满射(即 使得 ),称 为满同态。
- 同构 (Isomorphism): 若 既是单射又是满射(即双射),称 为同构。若 之间存在同构,记为 。
- 自同态 (Endomorphism): 若 ,即从环 到自身的同态,称 为自同态。所有 的自同态构成的集合记为 。
- 自同构 (Automorphism): 若 是 到 的同构,称 为自同构。所有 的自同构构成的集合记为 (它关于映射复合构成一个群)。
定义. 设 是环同态。
- 核 (Kernel): 。
- 像 (Image): 。
2. 同态的基本性质
命题 3.3.1. 设 是一个环同态。 (i) (核是 的理想), (像是 的子环). (ii) 是单射,当且仅当 .
证明 (补全作业):
(i) 证明 和
1. 证明 是 的理想:
- 非空性: 因为 是加法群同态,故 ,所以 ,即 。
- 加法封闭性 (对减法封闭): ,有 。
- 吸收律: (即 ), 。
综上, 是 的理想,即 。
2. 证明 是 的子环:
- 减法封闭: ,存在 使得 。
- 乘法封闭:
综上, 是 的子环,即 。
- 减法封闭: ,存在 使得 。
(ii) 证明 是单射
- () 设 是单射。已知 。若 ,则 。由单射定义知 。故 。
- () 设 。若 满足 ,则:
这意味着 。因为 ,所以 ,即 。故 是单射。
命题 3.3.2. 是一个环同态, . 则 . 证明: 利用命题 3.2.3, , 都有
因此 .
3. 环同态定理
定理 3.3.1 (典范同态). 设 . 则映射 定义为 是一个环同态,称为典范同态。
证明 (补全作业): 我们需要验证 保持加法和乘法运算。回顾商环 的运算定义: 以及 。
- 保持加法: ,
- 保持乘法: ,
显见 是满射。故 是一个满的环同态。
定理 3.3.2 (第零同态定理 / 通用性质). 设 , 是环同态,且 (即 包含在核内)。则存在唯一的环同态 , 满足 , 其中 是典范同态。
定理 3.3.3 (第一同态定理). 设 是环同态。则 . (注:这是环论中最核心的定理,它建立了同态像与商环之间的代数同构关系。)
推论 3.3.1. (i) 如果 是单的环同态。则 . (ii) 设 是满的环同态。则 , 称 是 的一个同态像。
定理 3.3.4 (第二同态定理 / 对应定理). 设 . 则 的子环(理想)与 的包含 的子环(理想)一一对应。如果 , 则有 .
定理 3.3.5 (第三同态定理). 设 . 则 , 且
证明 (补全作业): 此定理描述了子环与理想之和的商结构。证明思路是构造一个从 到 的满同态,并利用第一同态定理。
- 构造映射: 定义 ,规则为 。 注意:这里 ,所以 确实是商环 中的元素。
- 验证同态: ,
- .
- . 所以 是环同态。
- 验证满射: 中的任意元素形式为 ,其中 。 根据商环陪集的性质,(因为 )。 即任意元素均可写成 的形式,故 是满同态。
- 计算核 ():
- 应用第一同态定理: 根据定理 3.3.3,对于满同态 ,有 。 即 。
4. 典型例子
例 3.3.1. (i) 典范态射 是一个满的环同态。 (ii) 设 是可逆矩阵。则 是一个环同构。称为内自同构。 (iii) 设 是 上的连续实函数环, . 是一个满的环同态。 . 特别的, ,
5. 理想的互素与积
定义 3.3.2. 设 . 如果 , 则称 互素。
命题 3.3.3. 设 是幺环, . 则 互素,当且仅当存在 , 使得 . 证明:: 若 ,因为 是幺环,。故存在 使得 。 : 若存在 , 使得 . 则 . 对于任意 ,有 (因为 是理想)。因此 ,故 , 即 互素。
定义 3.3.3. 由命题 3.2.5 知,两个理想的积也是理想。递归的可以定义有限个理想的积,设 , 定义
(注:理想的积 是由所有形式为 () 的有限和构成的集合,而不仅仅是元素乘积的集合。)
命题 3.3.4. 设 是交换幺环, . 若 互素,则 . 证明: 一方面,显然有 (这是理想积的一般性质)。 反过来,如果 互素,则 . 由命题 3.3.3,存在 使得 . , 有
因为 (理想性质),且 (交换环中 )。 所以 。 因此 . 综上 。
命题 3.3.5. 设 是幺环, . 若 都互素(即对于每个 , ),则 与 也互素。
证明 (详细展开): 对 用数学归纳法。
时,由已知条件显然成立。
假设 时结论成立,即设 ,有 。
现在考虑 的情况。令 。已知 且 。我们只需证明 。
考察乘积 。 由于 是幺环,
展开上式(利用理想加法和乘法的分配律):
分析各项的包含关系:
- (两个理想的积总是包含在交集中)。
- (理想的定义)。
- 。
- 。
因此,
显然 。 故 。 即 与 互素。
推论 3.3.2. 设 是交换幺环, . 若 都互素,则 与 也互素。 (注:这是因为在交换幺环中,若 互素,则积 包含了交集 与 的某种组合关系,或者直接利用命题 3.3.5 证明交集互素后,再利用包含关系 并不足以直接推出互素,这里通常需要重新利用 的展开式或者利用根理想性质。但在本讲义的逻辑流中,通常是利用 ,如果交集与 J 互素,我们需要更强的条件。更正:实际上,推论通常是由命题 3.3.5 结合 得到的。即 , 从而得证。)