从G（左）到{\displaystyle H}（右）的群同态（h）的像。在{\displaystyle H}内的椭圆形是h的像。N是h的核而{\displaystyle aN}是h的陪集。

在数学中，给定两个群{\displaystyle (G,\*)}和{\displaystyle (H,\cdot )}，从 {\displaystyle (G,\*)}到 {\displaystyle (H,\cdot )}的**群同态**是函数{\displaystyle h:(G,\*)\to (H,\cdot )}使得对于所有G中的 u 和{\displaystyle v}下述等式成立

{\displaystyle h(u\*v)=h(u)\cdot h(v)}
在这里，等号左侧的群运算 \* ，是G中的运算；而右侧的运算{\displaystyle \cdot }是{\displaystyle H}中的运算。

从这个性质，可推导出h将G的单位元{\displaystyle e\_{G}}映射到{\displaystyle H}的單位元*{\displaystyle e\_{H}}*，并且它还在{\displaystyle h(u^{-1})=h(u)^{-1}}的意义上映射逆元到逆元。因此我们可以说h"兼容于群结构"。

过去同态{\displaystyle h(x)}常用{\displaystyle x\_{h}}或{\displaystyle x^{h}}来表示，它容易混淆于索引或一般下标。更新近的倾向是把群同态写在它们的自变量的右侧，省略括号，如此{\displaystyle h(x)}簡化成了{\displaystyle x\ h}。这种方法因为其更适应自动机从左至右读字的习惯从而在某些广泛应用自动机理论的群论中颇为流行。

在考虑有额外的结构的群的数学领域中，同态不仅要满足上述的群结构，还要满足额外的结构。比如拓扑群的同态经常要求是连续的。

像与核
---

我们定义h的核被映射到{\displaystyle H}中单位元{\displaystyle e\_{h}}上的G中元素的集合

{\displaystyle \mathrm {ker} (h)=\{u\in G:h(u)=e\_{H}\}}
定义h的像为

{\displaystyle \mathrm {im} (h)=\{h(u):u\in G\}}
核是G的正规子群（事实上，{\displaystyle h\left(g^{-1}ug\right)=h(g)^{-1}h(u)h(g)=h(g)^{-1}e\_{H}h(g)=e\_{H}})，而像则是{\displaystyle H}的子群。同态h是单射（并叫做单同态）当且仅当{\displaystyle \mathrm {ker} (h)=\{e\_{G}\}}。

同态的核和像可以被解释为对它接近于同构的程度。第一同构定理说明了群同态的像{\displaystyle \mathrm {im} (h)}同构于商群{\displaystyle G/\mathrm {ker} (h)}。

例子
--

* 考虑带有加法的循环群{\displaystyle \mathbb {Z} /3\mathbb {Z} =\{0,1,2\}}和整数集{\displaystyle \mathbb {Z} }的群。映射{\displaystyle h:\mathbb {Z} \to \mathbb {Z} /3\mathbb {Z} }，有{\displaystyle h(u)}为 u  模以3，是群同态。它是滿射并且它的核由被三整除的所有整数构成。

* 指数映射产生从带有加法的实数集R的群到带有乘法的非零实数集{\displaystyle R^{\*}}的群的群同態。核是{\displaystyle \{0\}}而像由正实数组成。

* 指数映射还产生从带有加法的复数集 C 的群到带有乘法的非零复数集{\displaystyle C^{\*}}的群的同态。这个映射是满射并且有核{\displaystyle \{2\pi ki:k\in \mathbb {Z} \}}，这可以从欧拉公式得出。

* 给定任何两个群G和{\displaystyle H}，映射{\displaystyle h:G\to H}，把所有G的元素对应到{\displaystyle H}的单位元，是同态；它的核是集合{\displaystyle H}。

* 给定任何群G，恒等映射{\displaystyle \mathrm {id} :G\to G}定义为对于G中所有的 u ，{\displaystyle \mathrm {id} (u)=u}。恒等映射是群同态。

群范畴
---

如果{\displaystyle h:G\to H}和{\displaystyle k:H\to K}是群同态，则{\displaystyle h\circ k:G\to K}也是群同态。这证明所有群构成的类，和态射即群同态，一起构成一个范畴。

同态映射的类型
-------

如果同态h是双射，则你还可以证明它的逆映射仍是同态，这种h叫做群同构；在这种情况下，群G和{\displaystyle H}被称为是"同构的":它们只在元素的符号上有差异而对于所有实践用途都是同一的。

如果{\displaystyle h:G\to G}是群同态，我们称之为G的**自同态**。如果它进一步的是双射并且因此是同构，则称为自同构。群G的所有自同构的集合，带有函数复合作为运算，自身形成一个群，叫做G的自同构群，记为{\displaystyle \mathrm {Aut} (G)}。例如说，{\displaystyle (\mathbb {Z} ,+)}的自同构群只有两个元素，恒等变换和乘以-1；它同构于{\displaystyle \mathbb {Z} /2\mathbb {Z} }。

**满同态**是满射的同态，**单同态**是单射的同态。

阿贝尔群的同态
-------

如果G和{\displaystyle H}是阿贝尔群（就是交换群），则所有从G到{\displaystyle H}的群同态的集合{\displaystyle \mathrm {Hom} (G,H)}自身是阿贝尔群：两个同态的和{\displaystyle h+k}定义为

对于所有G中 u ，{\displaystyle (h+k)(u)=h(u)+k(u)}。
{\displaystyle H}的交换律对于证明{\displaystyle h+k}也是群同态是必需的。同态的加法在如下意义上兼容于同态的复合：如果 f 在{\displaystyle \mathrm {Hom} (K,G)}中，h,  k 是{\displaystyle \mathrm {Hom} (G,H)}的元素，并且 g 在{\displaystyle \mathrm {Hom} (H,L)}中，则 

{\displaystyle (h+k)\circ f=(h\circ f)+(k\circ f)}，并且{\displaystyle g\circ (h+k)=(g\circ h)+(g\circ k)}。
这证明了一个阿贝尔群的所有自同态的集合{\displaystyle \mathrm {End} (G)}形成了一个环，即G的自同态环。例如，由两个{\displaystyle \mathbb {Z} /2\mathbb {Z} }的直积构成的阿贝尔群（克莱因四元群）的自同态群同构于带有{\displaystyle \mathbb {Z} /2\mathbb {Z} }内元素的{\displaystyle 2\times 2} 矩阵的环。上述兼容性还证明所有阿贝尔群带有群同态的范畴形成了预加法范畴；存在直积和良定义的核使这个范畴成为阿贝尔范畴的原型。

参见
--

* 同态基本定理

引用
--

* Lang, Serge, Graduate Texts in Mathematics **211** 3rd, Springer-Verlag, 2002 .

外部連結
----

*. PlanetMath.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
抽象代数相关主题 |
| --- |
|  |
| 代数结构 · 群 · 环 ·  · 有限 · 本原元 · 格 ·  · 等价关系 · 代數中心 · 同态 · 同构 · 商结构（商系统） · 同构基本定理 · 合成列 · 自由對象 |
|  |
| 群论 | 

|  |  |
| --- | --- |
| 群 | 幺半群 · 半群 · 阿贝尔群 · 非阿贝尔群 · 循環群 · 有限群 ·  · 半 ·  · 自由群 · 交换子群（交換子） · 幂零群 · 可解群 · p-群 · 对称群 · 李群 · 伽罗瓦群 |
|  |
| 子群 | 陪集 · 双陪集 · 商群 · 共轭类 · 拉格朗日定理 · 西羅定理 · 正规子群 · 群中心 · 中心化子和正规化子 · 稳定子群 · 置换群 |
|  |
| 其他 | 阶 · 群擴張 · 群同態 · 群同構 · 群表示 · 群作用 · 波利亞計數定理 · 有限生成阿貝爾群 |

 |
|  |
| 環論 | 

|  |  |
| --- | --- |
| 环 | 子環 · 整环 · 除环 · 多项式环 ·  · 商环 · 諾特環 · 局部環 · 賦值環 · 環代數 · 理想 · 主理想环 · 唯一分解整環 · 群環 |
|  |
| 模 | 深度 · 單模 · 自由模 · 平坦模 · 阿廷模 · 諾特模 |
|  |
| 其他 | 幂 · 特征 · 完備化 · 環的局部化 |

 |
|  |
| 論 | 

|  |  |
| --- | --- |
|  | 有限 · 原根 · 代数闭 · 局部 · 分裂 · 分式環 |
|  |
| 扩张 | 单扩张 · 有限扩张 · 超越扩张 · 代数扩张 · 正规扩张 · 可分扩张 · 伽罗瓦扩张 · 阿贝尔扩张 · 伽罗瓦理论基本定理 |

 |

 |