在数学中,给定两个群和,从 到 的群同态是函数使得对于所有中的和下述等式成立
Quick Facts 群论, 基本概念 ...
群论
|
|
群
|
无限维群
|
共形群 微分同胚群
环路群
量子群 O(∞) SU(∞) Sp(∞)
|
|
|
Close
在这里,等号左侧的群运算,是中的运算;而右侧的运算是中的运算。
从这个性质,可推导出将的单位元映射到的单位元,并且它还在的意义上映射逆元到逆元。因此我们可以说“兼容于群结构”。
过去同态常用或来表示,它容易混淆于索引或一般下标。更新近的倾向是把群同态写在它们的自变量的右侧,省略括号,如此简化成了。这种方法因为其更适应自动机从左至右读字的习惯从而在某些广泛应用自动机理论的群论中颇为流行。
在考虑有额外的结构的群的数学领域中,同态不仅要满足上述的群结构,还要满足额外的结构。比如拓扑群的同态经常要求是连续的。