title: 22. 环同态与同构
tags:
  - zk
  - abstract algebra
  - ring theory
  - homomorphism
  - isomorphism​

WTF zk 教程第 22 讲：环同态与同构

在前几讲中，我们学习了环的基本定义、性质，以及理想和商环的概念。这一讲，我们将介绍环同态和同构，这两个概念与群同态/同构类似，有助于我们理解环之间的结构和关系。

1. 环同态

环同态类似于群同态，是两个环之间的一种保持结构的映射。设两个环 (R, +, \cdot) 和 (S, \oplus, \odot )，它们的零元分别为 0_R 和 0_S，乘法单位元为 1_R 和 1_S，若映射 f: R \rightarrow S 满足以下条件：

1. 加法同态：对于任意 a, b \in R，有 f(a + b) = f(a) \oplus f(b)。这条性质和群同态一样。

2. 乘法同态：对于任意 a, b \in R，有 f(a \cdot b) = f(a) \odot f(b)。

3. 乘法单位元的保持： f(1_R) = 1_S。

则称 f 为 R 到 S 的同态。

环同态中的同态核与同态像的定义如下：

• 同态核： 同态核是同态 f: R \rightarrow S 中所有映射到 S 的零元的元素集合，即 \text{Ker}(f) = \{ a \in R \mid f(a) = 0_S \}。

• 同态像： 同态像是环 R 中所有元素在环 S 中的像的集合，即 \text{Im}(f) = \{ f(a) \mid a \in R \}。

1.1 环同态的性质

性质1. 加法单位元的保持： f(0_R) = 0_S。

性质2. 加法逆元的保持： f(-a) = - f(a)。

性质3. 单元（乘法可逆元素）的保持： 如果 a^{-1} 存在，那么 f(a)^{-1} 也存在，并且 f(a^{-1}) = f(a)^{-1}。

性质4. 理想的保持： 如果 I 是 R 的理想，那么 f(I) 是 S 的理想。

性质5. 同态核 \text{Ker}(f) 是 R 的理想。

性质6. 同态像 \text{Im}(f) 是 S 的理想。

1.2 环同态的例子

考虑两个环 R 和 S，其中 R = \mathbb{Z}（整数环）和 S = \mathbb{Z}_n（整数模 n 环）。定义一个映射 f: \mathbb{Z} \rightarrow \mathbb{Z}_n 计算整数模 n 的余数：

这是一个环同态，因为它保持整数的加法和乘法：

1. 加法同态：对于任意整数 a, b，有 f(a + b) = (a + b) \mod n = (a \mod n + b \mod n) \mod n = f(a) + f(b)。

2. 乘法同态：对于任意整数 a, b，有 f(ab) = (ab) \mod n = (a \mod n)( b \mod n) \mod n = f(a)f(b)。

3. 乘法单位元的保持： R 和 S 的乘法单位元均为 1，且 1 = 1 \pmod n。

2 环同构

环同构与群同构非常相似。如果环同态 f: R \rightarrow S 既是单射又是满射，那么我们称 R 和 S 是同构的，记作 R \cong S。这意味着它们的结构就是相同的，每个元素一一对应，只是名字不同。

2.1 第一同构定理

我们在群论介绍了第一同构定理，它将群，子群，陪集，商群，同态，和同构。这个定理可以扩展到环上。

第一同构定理（环论）： 若两个环 R 和 S，有环同态 f: R \rightarrow S，那么我们可以构造环同构 R/\text{Ker}(f) \cong \text{Im}(f)，即群 R 模同态核得到的商群与同态像是同构的，同构映射为 \hat{f}(x + \text{Ker}(f)) = f(x)。

2.2 环同构的例子

用之前的例子：整数环 \mathbb{Z} 和整数模 n 环 \mathbb{Z}_n（整数模 n 环），存在同态 f(a) = a \mod n，其中同态核为 n\mathbb{Z}，同态像为 \mathbb{Z}_n。

那么，我们可以构造 \mathbb{Z}/ n\mathbb{Z} 到 \mathbb{Z}_n 的同构 \hat{f}(a + n\mathbb{Z}) = f(a)。实际上 \mathbb{Z}/ n\mathbb{Z} 和 \mathbb{Z}_n 代表同样的环，经常在不同地方混用。

3. 环自同态与自同构

环自同态与环同态类似，但它是指环 R 到自身的同态映射。即，若映射 f: R \rightarrow R 满足以下条件：

1. 加法自同态： 对于任意 a, b \in R，有 f(a + b) = f(a) + f(b)。

2. 乘法自同态： 对于任意 a, b \in R，有 f(a \cdot b) = f(a) \cdot f(b)。

3. 乘法单位元的保持： f(1_R) = 1_R。

则称 f 为环 R 的自同态。环的自同态在研究环的内部结构和自身性质时非常有用。

3.1 环自同构

环自同构是环自同态的一种特殊情况，其中映射不仅是同态，而且是双射（即一一对应且满射）。如果环 R 到自身的映射 f 是自同态，并且是双射，那么我们称 f 为环 R 的自同构。

环自同构意味着环 R 可以通过某种方式映射到自身，而保持其所有代数结构不变。这显示了环的一种对称性或内在结构的稳定性。例如，考虑复数乘法的旋转对称性，可以通过自同构来描述。

3.2 环自同态与自同构的性质

环自同态和自同构继承了环同态的所有性质，并且还有一些独特的性质：

• 恒等映射： 每个环 R 都有一个自同构，即恒等映射 id: R \rightarrow R，对于所有 a \in R，有 id(a) = a。

• 逆元素的存在性： 如果 f 是环的自同构，则其逆映射 f^{-1} 也是环的自同构。这意味着自同构是可逆的，且逆映射同样保持环结构。

• 组合的封闭性： 环 R 的所有自同构的集合在映射的组合下是封闭的，即如果 f 和 g 是 R 的自同构，则 f \circ g（先应用 g，然后应用 f）也是 R 的自同构。

3.3 环自同构的例子

考虑整数环 \mathbb{Z}，其唯一的自同构是恒等映射 id，因为整数环的加法和乘法结构非常严格，没有其他映射能够保持这种结构不变。

另一方面，复数环 \mathbb{C} 有非平凡的自同构，例如，围绕原点的旋转可以被视为 \mathbb{C} 的自同构，这些旋转通过乘以单位复数（如 e^{i\theta}）来实现，这里 \theta 是旋转角。

4. 总结

这一讲，我们介绍了环同态和环同构。环同态提供了一种保持环结构的方式；而环同构则表示两个环在结构上是相同的，只是元素的命名不同。