离散数学第13章群讲述.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 结论 （1）无限循环群有且仅有两个生成元； （2）阶为素数的循环群除幺元以外的一切元素都是G的生成元； （3）阶为正整数n的循环群G = a，对y = ax∈G，只要(n, x) = 1，则y一定是G的生成元； * 结论（续） （4）循环群的子群一定是循环群； （5）若G = a是一个n阶的循环群，则由n的一切因子d都可对应产生一个且仅一个d阶子群，该d阶循环子群的生成元为ax，其中x = n/d； （6）阶为素数p的循环群G = a不含有非平凡的真子群。 * 定理13.4.4 设a∈G是群G, *中的任意元素，令 S = {an | n∈Z，Z是整数}， 证明S, *是G, *的循环子群。 证明 略。 定理13.4.4说明，群中每个元素的整数方幂集合是该群的循环子群。 * 13.5 陪集与拉格朗日定理 13.5.1 陪集 定义13.5.1 设G, *是群，H, *是G, *的任意子群，对a, b∈G，如果有a*b-1∈H，则称a, b为模H同余关系，此时记为a≡b(modH)。 * 定理13.5.1 设H, *是G, *的任一个子群，证明模H同余关系是G上的等价关系。 证明 （1）自反性：对a∈G，有a-1∈G，所以 a*a-1 = e∈H， 即 a≡a(modH)， 所以模H同余关系是自反关系。 * 定理13.5.1（续） （2）对称性：a，b∈G，如有a≡b(modH)，即 a*b-1∈H， 因H是一个群，所以有 b*a-1 = (b-1)-1*a?1 = (a*b?1)-1∈H，即 b≡a(modH)， 所以模H同余关系是对称关系。 * 定理13.5.1（续） （3）传递性：a, b, c∈G，如有a≡b(modH)，b≡c(modH)，则 a*b-1∈H，b*c-1∈H， 因H是一个群，所以有 a*c-1 = (a*b-1)*(b*c-1)∈H，即 a≡c(modH)， 所以模H同余关系是传递关系。 由（1）、（2）、（3）得证。 * 陪集和拉氏定理 考虑其等价类：对任意a?G，有： [a]R={x|(一切x?G)∧(x≡a(modH))} ={x|(一切x?G)∧(h=x*a-1?H)} ={h*a|(一切h?H)} 记Ha={h*a|(一切h?H)}=[a]R， 称Ha为H在〈G，*〉中的一个右陪集。 同理，可定义〈G，*〉的左陪集。 * 定义13.5.2 设H, *是群G, *的子群，a是G中任意元素，称 （1）aH = {a*h｜h∈H}为子群H在群G中的一个左陪集； （2） Ha = {h*a｜h∈H}为子群H在群G中的一个右陪集。 a称为左陪集aH（或右陪集Ha）的代表元。 * 例13.5.1 计算群6，+6的子群 {0，2，4}，+6的一切左、右陪集。 解 令H = {0, 2, 4}，则所有的右陪集有： H0 = {0, 2, 4}0 = {0, 2, 4}}， H1 = {0, 2, 4}1 = {1, 3, 5}， H2 = {0, 2, 4}2 = {2, 4, 0}， H3 = {0, 2, 4}3 = {3, 5, 1}， H4 = {0, 2, 4}4 = {4, 0, 2}， H5 = {0, 2, 4}5 = {5, 1, 3}， * 例13.5.1（续） 即 H0 = H2 = H4, H1 = H3= H5, H0∪H1 = 6； 同理，所有的左陪集有 0H = 0{0, 2, 4} = {0, 2, 4}， 1H = 1{0, 2, 4} = {1, 3, 5}， 2H = 2{0, 2, 4} = {2, 4, 0}， 3H = 3{0, 2, 4} = {3, 5, 1}， 4H = 4{0, 2, 4} = {4, 0, 2}， 5H = 5{0, 2, 4} = {5, 1, 3}， 有:0H = 2H = 4H，1H = 3H= 5H，0H∪1H = 6。 * 例13.5.2 设G = Z，+，H = {km｜k∈Z}，则H是G的子群，计算H的左、右陪集。 解 根据定义，所有的左、右陪集为： 0H = H0 = H = {km｜k∈