查看“︁群同態”︁的源代码

{{NoteTA|G1=Math}}

[[File:Group homomorphism ver.2.svg|right|thumb|300px|从<math> G </math>（左）到<math> H </math>（右）的群同态（<math> h </math>）的像。在<math> H </math>内的椭圆形是<math> h </math>的像。<math> N </math>是<math> h </math>的核而<math> aN </math>是<math> h </math>的[[陪集]]。]]
{{Groups}}

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

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

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

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

== 像与核 ==

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

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

== 例子 ==

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

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

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

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

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

== 群范畴 ==

如果<math> h:G\to H </math>和<math> k:H\to K </math>是群同态，则<math> h\circ k:G\to K </math>也是群同态。这证明所有群构成的[[类（数学）|类]]，和[[态射]]即群同态，一起构成一个[[范畴论|范畴]]。

== 同态映射的类型 ==

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

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

'''满同态'''是[[满射]]的同态，'''单同态'''是[[单射]]的同态。

== 阿贝尔群的同态 ==

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


==参见==
*[[同态基本定理]]

==引用==
* {{citation | last=Lang | first=Serge | author-link=Serge Lang | title=Algebra | edition=3rd | series=Graduate Texts in Mathematics | volume=211 | publisher=Springer-Verlag | date=2002}}.

==外部連結==
*{{planetmath reference|id=719|title=Group Homomorphism|urlname=grouphomomorphism}}

{{ModernAlgebra}}

[[Category:群論]]
[[Category:态射]]