群同態
在数学中,给定两个群和,从 到 的群同态是函数使得对于所有中的和下述等式成立
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7d/Group_homomorphism_ver.2.svg/300px-Group_homomorphism_ver.2.svg.png)
在这里,等号左侧的群运算,是中的运算;而右侧的运算是中的运算。
从这个性质,可推导出将的单位元映射到的單位元,并且它还在的意义上映射逆元到逆元。因此我们可以说“兼容于群结构”。
过去同态常用或来表示,它容易混淆于索引或一般下标。更新近的倾向是把群同态写在它们的自变量的右侧,省略括号,如此簡化成了。这种方法因为其更适应自动机从左至右读字的习惯从而在某些广泛应用自动机理论的群论中颇为流行。
在考虑有额外的结构的群的数学领域中,同态不仅要满足上述的群结构,还要满足额外的结构。比如拓扑群的同态经常要求是连续的。
像与核
编辑我们定义 的核被映射到
中单位元
上的
中元素的集合
定义 的像为
例子
编辑- 给定任何两个群
和
,映射
,把所有
的元素对应到
的单位元,是同态;它的核是集合
。
- 给定任何群
,恒等映射
定义为对于
中所有的
,
。恒等映射是群同态。
群范畴
编辑同态映射的类型
编辑如果同态 是双射,则你还可以证明它的逆映射仍是同态,这种
叫做群同构;在这种情况下,群
和
被称为是“同构的”:它们只在元素的符号上有差异而对于所有实践用途都是同一的。
如果 是群同态,我们称之为
的自同态。如果它进一步的是双射并且因此是同构,则称为自同构。群
的所有自同构的集合,带有函数复合作为运算,自身形成一个群,叫做
的自同构群,记为
。例如说,
的自同构群只有两个元素,恒等变换和乘以
;它同构于
。
阿贝尔群的同态
编辑如果 和
是阿贝尔群(就是交换群),则所有从
到
的群同态的集合
自身是阿贝尔群:两个同态的和
定义为
- 对于所有
中
,
。
的交换律对于证明
也是群同态是必需的。同态的加法在如下意义上兼容于同态的复合:如果
在
中,
,
是
的元素,并且
在
中,则
,并且
。
这证明了一个阿贝尔群的所有自同态的集合 形成了一个环,即
的自同态环。例如,由两个
的直积构成的阿贝尔群(克莱因四元群)的自同态群同构于带有
内元素的
矩阵的环。上述兼容性还证明所有阿贝尔群带有群同态的范畴形成了预加法范畴;存在直积和良定义的核使这个范畴成为阿贝尔范畴的原型。
参见
编辑引用
编辑- Lang, Serge, Algebra, Graduate Texts in Mathematics 211 3rd, Springer-Verlag, 2002.