抽象代数学习笔记（13）群的同态

抽象代数学习笔记（13）群的同态

前面在证明一个映射是否为同构映射的时候，都是先证明映射是一个双射，再证明它是否为同构映射。一个映射为双射是它为同构映射的必要条件。一般来说，条件越多，满足所有条件的可能性就越小，所以人们往往会推而广之，减少条件，使某个概念满足更加普遍的情况（就像矩阵的逆和它的左逆，右逆）。对于同构来说，就有一个更加一般性的概念 — 同态。同态并不要求映射是一个双射，只需要是个满射即可。直观的说，同态映射的像会比原来的群要“小”一些。

设 $(G,+),(H,* )$ 是群,那么 $G$ 到 $H$ 的映射 $f$ 称为 $G$ 到 $H$ 的同态映射。 对任意的 $a,b\in G$ ，都有

$$f(a+b)=f(a)* f(b)$$

与同构映射一样，同态映射有一些重要特征：
* $f(e_G)=e_H$

这个命题的证明与同构中那个命题的证明方法类似。
* 设 $f$ 是 $(G,+)$ 到 $(H,* )$ 的同态映射，则对于 $G$ 中任意元素 $g$ ， $f(g)^{-1}=f(g^{-1})$

由于 $f(g)* f(g^{-1})=f(g+g^{-1})=f(e_G)=e_H$，且 f(