离散数学课件：5-5 陪集与拉格朗日定理.ppt

陪集的性质 陪集的性质 陪集的性质 * * 五、陪集与拉格朗日定理 (一)陪集 设G, *为群，A, B?P(G), 且A??, B??. 记 AB={a*b|a?A, b ?B} A-1={a-1|a?A} 分别称为“A, B的积”和“A的逆”. 设H,*是群G,*的子群, ?a?G, 左陪集：{a}H={a*h|h ?H}称为由a所确定的H在G中的左陪集(left coset) ，简称为H关于a的左陪集，记为aH. 右陪集：H{a}={h*a|h ?H}称为由a所确定的H在G中的右陪集(right coset) ，简称为H关于a的右陪集，记为Ha. a称为陪集aH(Ha)的代表元素. 下面只就左陪集进行讨论，右陪集有类似结论. 解： [0]H= 从中可以看出：{[0]H, [1]H, [2]H}是N6 的一个划分. 令H={[0],[3]},则左陪集: [1]H= [2]H= 右陪集: H[0]={[0],[3]}=H[3] H[1]={[1],[4]}=H[4] H[2]={[2],[5]}=H[5] {[0],[3]} =[3]H {[1],[4]} =[4]H {[2],[5]} =[5]H 五、陪集与拉格朗日定理 例5.5.1求出N6,+6关于子群{[0],[3]},+6的所有左陪集，右陪集. 性质一：设H,*是群G,*的子群，则?a?G, aH非空. ?a? G, 证： 所以e?H. 性质二：设H,*是群G,*的子群，有 (1)?a?G, a?aH, 证： (2)由aH的定义可得aH?G， 从而 故 五、陪集与拉格朗日定理 设G的幺元为e, 因为H,*是G,*的子群， 所以aH非空. a=a*e ?aH, 性质三：设H,*是群G,*的子群,?a, b?G, 则 aH=bH 或 aH∩bH=? . 证： 设aH∩bH??, f=a*h1=b*h2, ∴ a= 则?f?aH∩bH, 从而? h1, h2?H,使 b*h2*h1-1 ?x?aH, ? aH?bH, ?aH=bH. 同理bH?aH. 则?h3?H,使x=a*h3 =b*h2*h1-1*h3 ?bH. 五、陪集与拉格朗日定理 性质四：设H,*是群G,*的子群，则子群H,*的任意左陪集的大小(即基数)相等. 证： ?a?G, ?a*h1, a*h2?aH, h1?h2, 有 a*h1?a*h2, ?|aH|=|H|. ?H的任意左陪集大小相同. 五、陪集与拉格朗日定理 拉格朗日定理：设H,*是有限群G,*的一个子群，|G|=n, |H|=m, 则m|n. 证： 由陪集的性质一、二、三可知， H的左陪集集合是G的一个划分. 又由陪集的性质四可知， |aiH|=|H|=m(i=1,2,…,k). 所以，n=|G|= 设G的不同的左陪集为：aiH, i=1,2,…,k, 则有 其中， aiH?? (i=1, 2, …, k), aiH ∩ ajH =?(i?j, i,j=1,2,…,k) =mk, 从而m|n. 五、陪集与拉格朗日定理 (二)拉格朗日定理 假设质数阶群G, *有非平凡子群H, *, 拉格朗日定理 推论一：质数阶的群没有非平凡子群. 证： (反证法) 根据拉格朗日定理， ({e},*,G,*称为G,*的平凡子群) |H|(1|H||G|)是|G|的因子， 这与|G|为质数矛盾. 推论二：有限群G,*中的任何元素a的阶可整除|G|, 进而有a|G|=e. 证： 设a的阶为m, |G|=n, G的幺元为e, 则循环群 是G, *的子群. {a, a2, … , am=e} 根据拉格朗日定理， 故存在k?Z, 使 n=mk, 从而 an= amk =(am)k =ek =e. m|n. 拉格朗日定理 推论三：质数阶的群一定是循环群. 证： 设G,*为一质数阶的群，|G|=n, G的幺元为e,?a?G, a?e, 并设a的阶为m, 因为循环群 是G, *的子群， G’={a, a2, … , an=e} 由推论二知，m|n. 因为n为质数且a?e, 故m=n. 所以G=G’为循环群. 五、陪集与拉格朗日定理 拉格朗日定理 左陪集等价关系：设H,*是群G,*的子群，则H的左陪集集合是G的一个划分，由此划分诱导的等价关系称为H的左陪集等价关系，记为R. 性质: a,b?R?a-1*b?H a,b?R