????定理1??假定群G与非空集合对于它们的乘法来说同态,那么也是一个群。
????证明:设同态满射为,
????I. 对于乘法是封闭的;
????,因为为满射,所以存在,使,,。
????II. 结合律由第一章中定理即得;
????IV. 设G的单位元为,,下证为的左单位元;
????,存在,使,
????。
????V. ,存在,使,????,,所以的左逆元就是。
????例1??A={}。A的乘法由下表给出:
令G={全体整数},则G对普通加法成群。可以证明G与A同态,从而A是一个群。
????注意,假如G同的次序掉换一下,那么定理1不一定对,换一句话说,假如与G同态,那么不一定是一个群。
????例2??={所有奇数}。对于普通乘法来说不作成一个群,G={e}。G对于乘法来说显然作成一个群。但,:——>显然是到G的一个同态满射。
????由定理1的证明直接可以看出????定理2??假定G和是两个群。在G到的一个同态满射之下,G的单位元e的象是的单位元,G的元a的逆元的象是a的象的逆元。
?