群同態

。]]

在数学中，给定两个群 (G, ) 和 (H, \cdot) ，从 (G, ) 到 (H, \cdot) 的群同态(Group homomorphism)是函数 h: (G, *)\to(H, \cdot) 使得对于所有 G 中的 u 和 v 下述等式成立
: h (u*v) = h(u)\cdot h(v)
在这里，等号左侧的群运算 * ，是 G 中的运算；而右侧的运算 \cdot 是 H 中的运算。

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

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

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

像与核
我们定义 h 的核被映射到 H 中单位元 e_h 上的 G 中元素的集合
: \mathrm{ker}(h)=\{u\in G: h(u)=e_H\}
定义 h 的像为
: \mathrm{im}(h)=\{h(u):u\in G\}
核是 G 的正规子群（事实上， h\left(g^{-1}ug\right)=h(g)^{-1}h(u)h(g)=h(g)^{-1}e_Hh(g)=e_H )，而像则是 H 的子群。同态 h 是单射（并叫做单同态）当且仅当 \mathrm{ker}(h)=\{e_G\} 。

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

例子

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

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

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

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

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

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

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

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

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

阿贝尔群的同态
如果 G 和 H 是阿贝尔群（就是交换群），则所有从 G 到 H 的群同态的集合 \mathrm{Hom}(G, H) 自身是阿贝尔群：两个同态的和 h+k 定义为
:对于所有 G 中 u ， (h+k)(u)=h(u)+k(u) 。
H 的交换律对于证明 h+k 也是群同态是必需的。同态的加法在如下意义上兼容于同态的复合：如果 f 在 \mathrm{Hom}(K, G) 中， h , k 是 \mathrm{Hom}(G, H) 的元素，并且 g 在 \mathrm{Hom}(H, L) 中，则
: (h+k)\circ f=(h\circ f)+(k\circ f) ，并且 g\circ(h+k)=(g\circ h)+(g\circ k) 。
这证明了一个阿贝尔群的所有自同态的集合 \mathrm{End}(G) 形成了一个环，即 G 的自同态环。例如，由两个 \mathbb{Z}/2\mathbb{Z} 的直积构成的阿贝尔群（克莱因四元群）的自同态群同构于带有 \mathbb{Z}/2\mathbb{Z} 内元素的 2\times2 矩阵的环。上述兼容性还证明所有阿贝尔群带有群同态的范畴形成了预加法范畴；存在直积和良定义的核使这个范畴成为阿贝尔范畴的原型。

参见
*同态基本定理

引用

• .

外部連結
*