2.4群的直积资料.pptVIP

§2. 4 群的直积 (2.4 Direct Product of Group) 2.4.1 群的外直积(External Direct Product of Group) 定义:设G1，G2是两个群， G1×G2={(a，b)|a∈G1，b∈G2}， 在G1×G2中定义二元运算为乘法: (a1，b1)(a2，b2)=(a1a2，b1b2)， 则G1×G2关于这种乘法构成群，称G1×G2是G1和G2 的外直积，简称直积。 更一般地，设G1，G2，…Gn是群，考虑 G=G1×G2×…×Gn={(a1,a2,…,an)|ai∈Gi, 1≤i≤n}， 定义二元运算为乘法(a1,a2,…,an)(b1,b2,…,bn)=(a1b1,a2b2,…,anbn)， 则G关于乘法构成群， G=G1×G2×…×Gn 为群G1，G2，…，Gn的外直积。 特别地，如果Gi中的二元运算都采用“+”，则称直积 为直和，记做:G=G1⊕G2 ⊕… ⊕Gn 注1. 设e1，e2 分别是G1，G2的单位元则(e1，e2)是G1×G2的单位元； 注2. 设 (a，b)∈ G1×G2 ，a∈G1，b∈G2 ，则 (a，b)-1= (a-1 ，b-1) 。 注3. 当G1，G2是加群时，外直积常记为G=G1⊕G2 例1. 设G1=(Z，+)，G2=(Z/(6)，+)