§4.群的同态.pptVIP

§4.群的同态 4.1 复习同态 4.2 同态应用到群 4.1 复习同态 4.2同态应用到群 * 同态映射,单同态(映射),满同态(映射),同构(映射) 两个代数系统的同态,同构,性质 定理１假定 与 是两个同态的代数系统,如果是群，那么 也是一个群． 证明　 显然适合群定义的条件Ⅰ， 的乘法适合结合律，而 与 同态，由Ⅰ，８，定理１，的乘法也适合结合律，所以 适合群定义的条件Ⅱ，我们证明 也适合Ⅳ，Ⅴ两条．设: 是满同态(映射) Ⅳ． 就是 的一个左单位元．假定 是 的任意元,而 是 的一个逆象: 那么 Ⅴ．假定 是 的任意元， 是 的一个逆象: 那么 是 的左逆元. 例１在 上定义运算 证明 关于给定的运算构成群. 证明 设 ,运算为普通的加法,它构成群. 设 , 运算为给定的 构造: , ………………… 由定理１的证明我们直接可以看出 定理２　假定 和 是两个群．在 到 的一个同态满射之下， 的单位元 的象是 的单位元， 的元 的逆元 的象是 的