像和核

我们定义 h 的核为被映射到 H 中单位元上的 G 中的那些元素的集合

定义 h 的像为

核是 G 的正规子群（事实上， h ( g u g ）= h ( g ) h ( u ) h ( g ) = h ( g ) e H h ( g ) = h ( g ) h ( g ) = e H )而像是 H 的子群。同态 h 是单射（并叫做单同态）当且仅当ker( h ) = { e G }。

同态的核和像可以被解释为对它接近于同构程度的程度。第一同构定理声称群同态的像im( h )同构于商群 G /ker( h )。

例子

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

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

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

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

给定任何群 G ，恒等映射id : G → G ，有着id( u ) = u 对于所有 G 中的 u ，是群同态。

群范畴

如果 h : G → H 和 k : H → K 是群同态，则 h o k : G → K 也是群同态。这证明所有群的类，和群同态作为态射一起形成一个范畴。

同态映射的类型

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

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

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

阿贝尔群的同态

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

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

这证明了一个阿贝尔群的所有自同态的集合End( G )形成了一个环，即 G 的自同态环。例如，由 Z /2 Z 的两个复本的直积构成的阿贝尔群（克莱因四元群）的自同态群同构于带有 Z /2 Z 内元素的2×2矩阵的环。上述兼容性还证明所有阿贝尔群带有群同态的范畴形成了预加法范畴；直积和良好定义的核的存在性使这个范畴成为阿贝尔范畴的原型例子。

参见

同态基本定理

引用

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

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。