1 基本定义
1.1 环与映射的预备知识
环同态讨论的是两个环之间保持结构的映射。为了理解这一概念，通常先回顾环的基本组成：一个环同时具有加法与乘法两种运算，并满足若干相容条件。加法部分一般构成阿贝尔群，乘法则要求具有结合性，并与加法分配。
映射方面，环同态关注的是从一个环到另一个环的函数，它不仅要把元素对应起来，还要尽可能保留原有的代数关系。换言之，若两个元素在原环中通过加法或乘法满足某种等式，那么其像在目标环中也应满足对应等式。
1.2 环同态的形式定义
环同态是从一个环到另一个环的映射，通常记作 \(f: R \to S\)。它要求对任意 \(a,b \in R\)，映射满足加法与乘法的兼容条件；若涉及有单位元的环，还常额外要求单位元也被保持。
1.2.1 保持加法
环同态必须满足 \[ f(a+b)=f(a)+f(b). \] 这说明它是加法结构上的同态，因此能把环中的加法关系准确传递到目标环中。由此可推出 \(f(0)=0\)，并且 \(f(-a)=-f(a)\)。
1.2.2 保持乘法
环同态还要求 \[ f(ab)=f(a)f(b). \] 这条性质体现了环同态的核心特征：不仅保留“加”，也保留“乘”。如果一个等式是由乘法运算构造出来的，那么经过同态映射后，该等式通常仍成立。
1.2.3 单位元保持条件
在有单位元的情形中，常要求 \[ f(1_R)=1_S. \] 这一条件并非所有文献都默认采用，但在许多代数语境中，它是“有单位环同态”的标准要求。若不要求这一点，则称为不一定保持单位元的环同态。
1.3 常见记号与约定
环同态的记号通常沿用函数记法，也会直接称为“同态”。不同作者对单位元是否必须保持存在约定差异，因此阅读相关材料时需要先确认其定义前提。
1.3.1 有单位环同态
有单位环同态指同时保持加法、乘法以及单位元的映射。这类同态在现代环论中使用非常广泛，因为它与同构、子环嵌入、商环映射等概念联系紧密。
1.3.2 非单位环同态
非单位环同态只要求保持加法和乘法，不强制 \(1\) 的像等于目标环的单位元。此类映射在某些抽象讨论中也很常见，尤其在不以单位元为核心的环理论中。
2 基本性质
2.1 结构保持性
环同态的本质是结构保持，因此它不仅保留单个运算，还保留由这些运算组合得到的多种代数关系。很多性质可以从定义直接推导出来。
2.1.1 加法群同态性质
由于保持加法，环同态自动是加法群同态。也就是说，它把环的加法群结构映射到另一个加法群中，并保持群运算。由此，和、差、零元、逆元等概念都能在同态下得到良好传递。
2.1.2 乘法兼容性
乘法兼容性使得环同态能够处理幂运算与多项式表达式。例如，对任意正整数 \(n\)，有 \[ f(a^n)=f(a)^n. \] 因此，同态对代数表达式的“代入式”处理具有一致性，这也是它在计算与理论证明中都十分有用的原因。
2.2 复合与恒等映射
环同态在复合下保持封闭，这使得环可以组织成具有良好结构的代数范畴。
2.2.1 同态的复合
若 \(f: R \to S\) 与 \(g: S \to T\) 都是环同态，则复合映射 \(g \circ f: R \to T\) 仍是环同态。这个性质说明环同态可以串联使用，从而构造复杂的映射链。
2.2.2 恒等同态
每个环上都有恒等映射 \(\mathrm{id}_R: R \to R\)，其作用是把每个元素送回自身。它显然满足加法、乘法以及单位元保持条件，是环同态中的基本例子，也是在范畴论中作为单位元发挥作用的映射。
2.3 环同构与自同态
环同态中最重要的特殊情形之一，是当映射可逆时形成的同构；而当定义域与值域相同，则得到自同态。
2.3.1 环同构
若一个环同态既单射又满射，则称为环同构。环同构表明两个环在结构上完全等价，只是元素的表示方式不同。若存在环同构，通常就认为这两个环“本质相同”。
2.3.2 环自同态
环自同态是从一个环映射到其自身的环同态。它们描述了环内部的结构变换，既可作为研究对称性的方法，也可作为构造迭代过程的工具。
3 核与像
3.1 核的定义
对于环同态 \(f: R \to S\)，其核定义为 \[ \ker(f)=\{r\in R \mid f(r)=0\}. \] 核刻画了同态中被“压缩到零”的元素集合，是理解同态结构的关键对象。
3.1.1 核是理想
环同态的核总是 \(R\) 的理想。这一点非常重要，因为它把同态理论与理想理论直接联系起来。核不仅对加法封闭，还满足与环元素乘法相容的吸收性。
3.1.2 核与单射性
环同态是单射当且仅当其核为零理想 \(\{0\}\)。这是判断同态是否保留元素区分能力的基本标准。核越小，映射越接近嵌入；核为零时，环中的不同元素不会在像中混淆。
3.2 像的性质
像是同态能够真正到达的元素集合，记作 \[ \operatorname{Im}(f)=\{f(r)\mid r\in R\}. \]
3.2.1 像是子环
环同态的像天然构成目标环 \(S\) 的子环。它在加法、乘法以及必要时单位元方面都保持封闭，因此可视为目标环中的一个结构性子对象。
3.2.2 满射性与生成
当同态是满射时，像就是整个目标环。此时目标环可由定义域中的元素通过同态“生成”出来。满射同态常用于描述从一个较大环到较小环的压缩过程，例如商映射。
3.3 第一同构定理
第一同构定理是环同态理论中的核心结果之一，它说明同态、核与商环之间存在标准对应。
3.3.1 商环构造
给定理想 \(I\subseteq R\)，可构造商环 \(R/I\)。商环的元素是陪集，运算在陪集上定义，并与原环运算相容。这一构造本质上是把某个理想中的差异“视为无差别”。
3.3.2 诱导同态
若 \(f: R \to S\) 是环同态，则可通过核 \(\ker(f)\) 诱导出一个从 \(R/\ker(f)\) 到 \(\operatorname{Im}(f)\) 的同构。第一同构定理表明，原同态在结构上等价于“先取商，再嵌入像中”。
4 典型例子
4.1 整数环到模环的自然映射
整数环 \(\mathbb{Z}\) 到模环 \(\mathbb{Z}/n\mathbb{Z}\) 的映射是环同态最经典的例子之一。
4.1.1 取模映射
映射 \[ \mathbb{Z}\to \mathbb{Z}/n\mathbb{Z},\quad a\mapsto \overline{a} \] 把整数送到其模 \(n\) 的剩余类。它保留加法与乘法，因此是标准的满射环同态。
4.1.2 诱导的商结构
该映射的核正是 \(n\mathbb{Z}\)。因此，根据第一同构定理， \[ \mathbb{Z}/n\mathbb{Z}\cong \mathbb{Z}/n\mathbb{Z}, \] 这一例子展示了商环构造与同态之间的直接对应，也说明取模运算本身就是“按理想折叠”的过程。
4.2 评价映射
评价映射把函数或多项式在某个点处的值提取出来，是环同态在具体计算中的常见形式。
4.2.1 多项式代入映射
对任意固定元素 \(a\)，可定义多项式环上的评价映射 \[ f(x)\mapsto f(a). \] 它保持加法与乘法，因此是环同态。若多项式在某一点代入后得到零，则该点对应的代数关系可以被核捕捉到。
4.2.2 函数环中的评价
在函数环中，评价映射将一个函数送到其在指定点的函数值。此类映射通常用于分析函数空间的局部性质，也常作为构造理想与极大理想的工具。
4.3 包含映射
包含映射是最直接的结构保持映射之一，它体现了子环与大环之间的自然关系。
4.3.1 子环嵌入
若 \(A\) 是 \(B\) 的子环，则自然包含映射 \(A\hookrightarrow B\) 通常是单射环同态。它把较小结构无损地视作较大结构的一部分。
4.3.2 单位环中的自然包含
在有单位环情形下，许多自然包含不仅保持加法和乘法，也保持单位元。例如整数嵌入到某些代数对象中时，常以 \(1\mapsto 1\) 的方式实现，从而与有单位环同态的定义一致。
5 特殊类型的环同态
5.1 单射同态
单射环同态意味着不同元素不会被映到同一个像中，因此具有较强的信息保真性。
5.1.1 嵌入与同构
单射同态常被视为一种嵌入：它把一个环“放入”另一个环中而不丢失结构。若同时还是满射，则进一步成为同构。
5.1.2 核为零理想
单射性的等价表述是核为零理想。这使得核成为判断映射是否嵌入的最简洁工具，也使“零核”成为重要的结构标志。
5.2 满射同态
满射同态说明目标环中的每个元素都能从定义域中找到原像，因此它更像是对结构的整体覆盖。
5.2.1 商映射
商映射是满射同态的典型代表。它把环中的元素按某个理想归并后送入商环，因而天然具有“压缩”特征。
5.2.2 生成与覆盖
满射同态常被理解为由定义域生成目标环的过程。若目标环中每个元素都可写成某些原像的像，则说该映射实现了对目标结构的覆盖。
5.3 自同态与幂等映射
自同态研究的是环到自身的结构变换，而幂等映射则是其中较为特殊的一类。
5.3.1 自同态结构
自同态可用于分析环内部的稳定子结构、对称性以及反复作用下的行为。反复复合一个自同态，常能揭示某些收敛或周期现象。
5.3.2 幂等同态
若自同态 \(f\) 满足 \(f\circ f=f\)，则称为幂等同态。它表示映射作用一次后再次作用不会改变结果，常用于描述投影型结构或某种“固定化”过程。
6 相关概念与推广
6.1 环同胚式对应思想
环同态体现的是一种“结构对应”思想，即不同对象之间通过保持运算的映射建立联系。这种思想在更抽象的代数框架中具有普遍意义。
6.1.1 范畴观点
从范畴论角度看，环作为对象，环同态作为态射，共同构成一个范畴。这样一来，研究重点不再只是单个环，而是环与环之间的关系网络。
6.1.2 普适性质
许多环构造都可用普适性质来刻画，例如多项式环、商环等。环同态在这些描述中扮演核心角色，因为普适性质往往正是通过“对任意保持结构的映射都存在唯一分解”来陈述的。
6.2 与理想的关系
理想理论与环同态紧密相连，二者经常相互转化。
6.2.1 核对应理想
每个环同态的核都是理想，而许多重要理想也可以通过某些自然同态的核来识别。这使得理想不仅是环内部的子集，也是一类“可被同态检测”的结构。
6.2.2 商环与同态
商环的构造本质上依赖理想，而商映射则是最自然的环同态。通过把理想中的元素视作零，可以将复杂环结构简化为更可控的代数对象。
6.3 与模同态的类比
环同态与模同态在形式上具有明显相似性，二者都强调加法结构的保持与映射的线性兼容。
6.3.1 加法结构的比较
模同态主要保持加法并兼容标量乘法，而环同态则进一步要求保持乘法。可以说，环同态比模同态多了一层乘法结构上的约束。
6.3.2 线性代数中的对应解释
在线性代数中，线性映射保持向量加法与标量乘法；类似地，环同态保持环中的加法与乘法。两者都体现了“在规定运算下不失真地传递结构”的思想，只是作用对象不同。