1 群同态的定义
群同态是从群 \(G\) 到群 \(H\) 的一种映射 \(f:G\to H\)，它保持群运算的结构：不只要求元素被送到目标群中，还要求把“乘（或加）起来”的结果对应到“像的乘（或加）”结果。
1.1 同态的运算保持条件
若对任意 \(g_1,g_2\in G\) 都有 \[ f(g_1g_2)=f(g_1)f(g_2), \] 则称 \(f\) 为群同态。这里的群运算用并置表示：当群用乘法记号时为乘法，当群用加法记号时对应为加法。
1.2 与单位元、逆元的自动兼容性
同态的运算保持条件会自动推出与单位元和逆元的相容性。设 \(e_G,e_H\) 分别为 \(G,H\) 的单位元，则由同态条件可得到 \(f(e_G)=e_H\)。进一步，若 \(g\in G\)，记其在 \(G\) 中的逆元为 \(g^{-1}\)，因为 \(gg^{-1}=e_G\)，同态可推出 \[ f(g^{-1})=f(g)^{-1}. \]
1.3 复合与恒等映射的封闭性
同态在组合下保持同态结构：若 \(f:G\to H\) 与 \(g:H\to K\) 都是群同态，则复合 \(g\circ f:G\to K\) 仍是群同态。另一方面，恒等映射 \(\mathrm{id}_G:G\to G\) 也满足同态条件，因此是群同态。由此形成“群与同态”的基本组织方式。
2 同态的基本性质
群同态的性质主要体现在“像”“核”“陪集”和由此产生的商结构上。它们刻画了同态对 \(G\) 的哪些信息保留、哪些信息被压缩。
2.1 单射与像的关系
同态 \(f:G\to H\) 若为单射，则 \(G\) 中不同元素不会在 \(H\) 中“混为一谈”。在这种情形下，\(G\) 与 \(\mathrm{Im}(f)\) 的结构关系最紧：\(f\) 可以视为把 \(G\) 同构到其像子群。若 \(f\) 不是单射，则必有非平凡元素落入同一像点，从而意味着部分结构被忽略。
2.2 满射与陪集的刻画
同态 \(f:G\to H\) 若为满射，则 \(H\) 中每个元素都能表示为某个 \(g\in G\) 的像。满射的另一面是：同态的陪集结构在 \(G\) 中分组，其分组结果与 \(H\) 的相应子结构相匹配。具体而言，这与核子群的陪集划分密切相关（见后文核与像的讨论）。
2.3 核子群的性质
核定义为 \[ \ker(f)=\{g\in G\mid f(g)=e_H\}. \] 在同态前提下，\(\ker(f)\) 是 \(G\) 的正规子群。直观上，核收集了所有在映射后“变成单位元”的元素，这些元素不会在像中留下可观测痕迹。
2.4 像子群的性质
像定义为 \[ \mathrm{Im}(f)=\{f(g)\mid g\in G\}\subseteq H. \] 由同态条件，\(\mathrm{Im}(f)\) 是 \(H\) 的子群：因为像中的乘积可以由对应原像的乘积得到，逆元同理。
3 核与像：结构视角
从结构角度看，同态的“核”与“像”分别衡量两种互补的现象：哪些元素在映射中被消去，哪些元素被有效呈现。
3.1 核（kernel）的定义与解释
核是所有被送到单位元的元素集合。形式上，它不是仅仅一个子集，而是在 \(G\) 的运算下稳定，因此构成子群；并且由于同态把“相对位置”保留下来，核还满足正规性，从而能用于构造商群。
3.2 像（image）的定义与解释
像是所有可能输出值的集合。它同样稳定于目标群运算，因此成为子群。像的大小与同态“输出能力”相关：像越大，同态越“能表达”源群的结构。
3.3 核作为“失败结构”的度量
在许多计算与分类场景中，核可被视为“同态没有区分开的部分”。若 \(g\in\ker(f)\)，则 \(g\) 与单位元在映射结果上不可分辨。更一般地，核控制了同态何时无法保持元素的区分程度。
3.4 像作为“可达结构”的刻画
相对地，像描述了同态能够“触达”的区域：对任意在像中的元素，都能通过某个源元素得到。若同态为满射，则像等于整个 \(H\)；若不是，则输出只能落在某个子群内。
4 同态定理与推论
关于核、像与商结构之间的关系，是同态理论的核心。通过这些定理，复杂的群问题常可转化为更易处理的商群或子群问题。
4.1 基本同态定理（第一同态定理）
设 \(f:G\to H\) 为群同态。基本同态定理给出 \(G\) 的商结构与像之间的同构： \[ G/\ker(f)\cong \mathrm{Im}(f). \] 其意义在于：同态把 \(G\) 中“核所代表的不可区分部分”压缩掉，剩下的结构与像完全一致。
4.2 同构在同态中的出现
虽然同态一般不要求双射，但定理指出：在将 \(G\) 按核进行适当“等价”处理后，得到的商群可以与像同构。这说明同态内部隐藏了一种同构关系，只是通常需要经过商化才能看清。
4.3 商群与核的联系
商群 \(G/\ker(f)\) 的元素来自核陪集。不同陪集对应不同“可观测输出”。因此核不仅用于定义“失败结构”，也用于组织商群元素，从而把核和输出结构牢固绑定。
4.4 同态定理的典型应用套路
常见思路包括：先找到同态 \(f\) 的核，再用基本同态定理把商群与像对应起来；或者先描述目标子群/陪集结构，再反推可能的核与对应商结构。若研究某个子群或商群，可以尝试寻找自然同态并利用其核来完成分类或计算。
5 同态的例子
通过具体构造可以更直观地理解“保持运算”的含义，以及核与像在实际情形中的表现。
5.1 加法群与乘法群的同态实例
若把加法群与乘法群通过幂运算联系起来，就能得到典型例子。例如当指数作为“保持结构”的参数时，映射常可满足类似 \(f(x+y)=f(x)f(y)\) 或相应的加法版本。此类例子强调：群同态的关键不在记号，而在运算律是否被一致传递。
5.2 模 \(n\) 的自然投影同态
对整数加法群 \((\mathbb Z,+)\)，考虑模 \(n\) 的余类集合 \(\mathbb Z/n\mathbb Z\)。自然投影 \[ \pi:\mathbb Z\to \mathbb Z/n\mathbb Z,\quad \pi(k)=k\ (\text{mod }n) \] 是同态，因为 \[ \pi(a+b)=\pi(a)+\pi(b). \] 此时核为所有被模 \(n\) 消去的整数，即 \(n\mathbb Z\)，像为整个 \(\mathbb Z/n\mathbb Z\)。
5.3 循环群到一般群的同态刻画
设 \(C=\langle c\rangle\) 是循环群。要给出同态 \(f:C\to H\)，只需确定 \(f(c)\) 的取值。原因是循环群的任意元素都可表示为 \(c^k\)，同态性质迫使 \[ f(c^k)=f(c)^k. \] 因此同态与目标群中某个元素的“幂次规律”绑定，常见用法是：把从循环群出发的同态问题转化为目标群中寻找合适的元素。
5.4 邻接于同构：同态如何“看起来像同构”
同态若恰好是单射，则其像与源群同构。若再进一步像等于整个目标群，则同态就是同构。实践中，经常先验证核是否平凡，或计算同态的像是否足够大。这样就能判断同态与同构之间的接近程度。
6 群同态的构造方法
构造同态通常依赖两类信息：运算规律（需要保持）与生成/关系（给出必须满足的约束）。
6.1 由生成元确定同态
当源群 \(G\) 由某组元素生成时，同态的行为往往由这些生成元的像完全决定。若 \(G=\langle S\rangle\)，并指定对每个 \(s\in S\) 的像 \(f(s)\)，那么任何通过生成元表达的元素，其像会被同态条件唯一确定。前提是所指定的像必须满足源群中隐含的关系（见下一节）。
6.2 利用通用性质与普适构造思想
在某些情形，同态的构造可由“普适性质”自动给出。例如由某个商化过程得到的自然投影通常具有通用的延伸性质：任何能把核上的元素送到单位元的同态，都能通过像或商结构进行唯一分解。这类思想强调结构的“最小性”和“唯一性”。
6.3 由关系给出同态（演绎式构造）
若群以生成元与关系的形式给出（例如通过演绎法描述），则构造同态时必须检查：把生成元映到目标群后，所有关系在目标群中仍然成立。只有当这些关系在 \(H\) 中被满足，映射才能扩展为合法的同态。
6.4 从子群诱导同态
| 当存在子群 \(K\le G\) 时，可以考虑把 \(K\) 的元素送入目标群的限制映射：若 \(f:G\to H\) 是同态，则其在 \(K\) 上的限制 \(f | _K:K\to H\) 仍是同态。另一方面，也可能在给定某个子群与目标结构的兼容条件下，构造从该子群出发的同态。 |
|---|
7 与代数结构的关联
同态与更丰富的代数结构之间存在紧密联系：它不仅是群内部的工具，也能用于组织与解释更复杂的构造。
7.1 与子群、正规子群的关系
同态自然地把子结构传递到像中：子群的像往往形成目标群中的相应子结构；而核作为正规子群，为商群构造提供合法性。通过这些对应关系，可以把“在 \(G\) 内部难以处理”的问题转化为“在像或商中处理”。
7.2 端于同态的群作用视角（概念性引入）
从同态到群作用的联系常用来理解“同态如何实现对集合的对称”。大致而言，若将同态视为把 \(G\) 的元素送到某个变换群中，就能得到 \(G\) 对相应集合的作用。此视角提供了几何或对称性的直观图像，但在本文中仅作概念层面的引入。
7.3 与直接积/半直积的同态
在直接积 \(G\times H\) 等构造中，同态常以分量形式出现：从乘积到目标群或从目标群到乘积的映射，可以按分量分别保持对应的运算规律。类似地，半直积情形会带入额外的相容条件，使得同态构造与“扭曲方式”相关。
7.4 与同态图像（交换图）表达
在范畴论风格的表述中，同态之间的关系常用交换图展示：若路径上合成的映射与另一条路径上的合成结果一致，则图表“交换”。这种表达法在组织多步同态关系时特别直观，强调结构的一致性，而不是单个计算细节。
8 术语与常见错误辨析
理解同态概念时，常见问题来自术语混用或运算方向错误。清晰地区分这些边界有助于避免误判。
8.1 “同态”与“群作用”的区分
同态是群到群的结构保持映射；群作用通常描述群对集合或自身的变换规则。二者相关但不等价：同态可用于构造群作用（把群送入某个变换群），但“存在群作用”并不自动意味着有到特定目标群的同态。
8.2 “单射/满射/同构”的边界条件
单射关心“是否会把不同元素识别为同一个像”；满射关心“目标群是否都能被覆盖”；同构同时关心“双向保结构”，因此既单射又满射。常见混淆是把“像足够大”误当成同构，但同构需要严格的双射对应。
8.3 常见计算错误（顺序与逆元）
同态条件涉及运算顺序：在非交换群中，\(f(g_1g_2)\) 对应的是 \(f(g_1)f(g_2)\)，顺序不能随意调换。此外对逆元的处理也容易出错：虽然可由同态推出 \(f(g^{-1})=f(g)^{-1}\)，但不能直接把逆元“丢进”像里而不验证相容性。
8.4 直觉梗：为什么“看上去对了”不一定是同态
有时给出一个映射后，发现单位元或某些特定元素满足期望关系，就误以为是同态。真正的检验是对任意 \(g_1,g_2\) 都必须保持运算一致。直觉的“局部吻合”不足以保证全局同态性质；同态是一条普遍规律，而不是对少数点的巧合。