离散数学 第五六七讲 群环域.pptVIP

定理19：（拉格朗日定理）设H,*是群G,*的一个子群，(1)R={a,b|a∈G,b∈G且a-1*b∈H}是G中的一个等价关系。对于a∈G，若记[a]R={x|x∈G且a,x∈R},则[a]R=aH。五、陪集和拉格朗日定理**第30页，共49页，星期日，2025年，2月5日定理19：（拉格朗日定理）设H,*是群G,*的一个子群，(1)R={a,b|a∈G,b∈G且a-1*b∈H}是G中的一个等价关系。对于a∈G，若记[a]R={x|x∈G且a,x∈R},则[a]R=aH。五、陪集和拉格朗日定理**第31页，共49页，星期日，2025年，2月5日定理19：（拉格朗日定理）设H,*是群G,*的一个子群，(2)如果G是有限群，|G|=n，|H|=m，则m|n(m整除n)。五、陪集和拉格朗日定理**第32页，共49页，星期日，2025年，2月5日推论1：任何质数阶的群不可能有非平凡子群。证明：如果有非平凡子群，则该子群的阶必定是原来群的阶的一个因子，这就与原来群的阶是质数相矛盾。推论2：在有限群〈G，*〉中，任何元素的阶必是|G|的一个因子。证明：设任意a∈G,r是a的阶，则〈{e,a1,a2,…,ar-1}，*〉是〈G，*〉的子群。所以r必是|G|的一个因子。五、陪集和拉格朗日定理**第33页，共49页，星期日，2025年，2月5日推论3：一个质数阶的群必定是循环群，并且任一与么元不同的元素都是生成元。 证明：对任意a∈G,a≠e,因为该群为质数阶的群，故a的阶必为|G|，所以G={e,a1,a2,…,a|G|-1}即该群必是循环群且任一与么元不同的元素都是生成元。五、陪集和拉格朗日定理**第34页，共49页，星期日，2025年，2月5日定义11：设〈H,*〉是群〈G,*〉的子群,对任意元素a∈G,如果aH=Ha,则〈H,*〉称为正规子群。注意:(1)定义中的aH=Ha是指对每一h1∈H,都存在h2∈H,使a*h1=h2*a,并不要求对每一h∈H有a*h=h*a。(2)所有阿贝尔群的子群都是正规子群;所有平凡子群都是正规子群。六、正规子群和商群**第35页，共49页，星期日，2025年，2月5日*离散数学第五六七讲群环域*第1页，共49页，星期日，2025年，2月5日定义2：如果G是有限集合,则称〈G,*〉是有限群;如果G是无限集合,则称〈G,*〉是无限群。有限群G的基数|G|称为群的阶数。如〈{1},×〉是有限群，阶数为1；〈I,+〉是无限群。定义3：如果群〈G,*〉中的运算*是可交换的,则称该群为可交换群,或称阿贝尔群。如〈I,+〉是阿贝尔群。一、群的定义和性质**第2页，共49页，星期日，2025年，2月5日例1：①〈Q+,×,1〉②设A是任一集合,P表示A上的双射函数集合,”。”表示函数合成，“-1”表示求逆运算，〈P,。,-1,IA〉③〈N,max〉④代数〈Nk,+k,-1,0〉代数〈Nk,×k〉一、群的定义和性质是Abel群是一个群,通常这个群不是阿贝尔群。是群,这里x-1=k-x不是群,因为0元素没有逆元不是群。运算max和min一般地不能用作群的二元运算,因为如果载体多于一个元素,逆运算不能定义。*