26页——53页.pptVIP

同态有下列性质. 性质4-1 若 是群同态，则 是 的么元. 证明 对任意的 ，两边消去 得 ， 是 的么元. 性质4-2 群同态 将逆元变为逆元，即 . 证明 ，故 .证毕. 性质4-3 是群同态，则 是 的子群. 证明 若a,b ，不妨设 ，则 ，因此 是 的子群.证毕. （子群 称为 在 下的同态像）. 性质4-4 是群同态， 是 的么元，则 是 的正规子群，称为同态 的核. 证明 设 ，则 ，因此 ，即 是 的子群.又对任意的 ，这就证明了 是 的正规子群.证毕. 性质4-5 同构关系是一个等价关系. 证明 （1） ，显然，只需取 即可. （2）若 是同构，令 是 的逆映射，则 ，而 是单映射，因此 ，即 是同构的. (3) 若 是同构，则对任意的 ， ， 即 是 的群同构.证毕. 性质4-6 设H是群G的正规子群，G到商集 上的自然映射是群同态， 称之为自然同态. 证明 由 即知自然映射 是群同态，证毕. 定理4-1 设 是群 到 的映上同态，则 诱导出 同构 ， 其中 对一切 成立. 证明 令 ，有性质4知K是 的正规子群.定义 到 的映射 .我们首先必须验证其合理性.若 即 或 ，则 ， 是 的么元，于是