南京大学《离散数学》课件-第18章循环群与群同构.docxVIP

囲出京様 NANJING UNIVERSITY 离散数学 Discrete Mathematics 第十八章：循环群与群同构 南京大学计算机科学与技术系 子群的定义 子群的判定定理 群中元素的阶 陪集与集合的划分 Lagrang e定理 前情提要 I本讲主要内容 -循环群与生成元 -循环群的子群 -群的同构与同态 -无限循环群的同构群 -有限循环群的同构群 本讲主要内容 n循环群与生成元 ■定义(循环群)： 设〈G,*〉为循环群(cyclic group)指: (ma 6 G)(G =〈a〉) 这里，〈= {an\n 6 Z , a称为G之生成元 (generator) 循环群与生成元 循环群与生成元 循环群与生成元 PAGE # 0循环群与生成元（续） ： ■定义（有限循环群）：若循环群G的生成元Q 的阶为n,则称G为有限循环群，即九阶循环 群：G = {a°,次,/,，其中为幺 ■定义（无限循环群）：若循环群G的生成兀Q 为无限阶元，则称G为无限循环群：G = {a°, ...}，其中为幺 z， H循环群与生成元（续） ■ 例1 :有限循环群〈无6,十6〉 模6剩余加群〈电十6〉是循环群，恰有2个生 成元：1和5 50 = 0 50 = 0, 51 = 5, 52 = 4, 53 = 3， 54 = 2， 55 = 1. H循环群与生成元(续) : -例2：无限循环群〈乙+〉 以,+＞是循环群，恰有2个生成元：1和-1 ?.? n为Z之生成元0 Z = (n) 0 (mk E Z)n= 1 0(3k E Z)(k ? n = 1 0 n E {1, —1} ??.1和-1均是其生成元 H循环群与生成元（续） -例3：非循环群 0无限循环群的生成元 ： -命题：若。是无限循环群的生成元，贝此一1也 是该无限循环群的生成元 证明：设群G =〈q〉= {ak a E G,k E , ak = (q_i)_七 令p = —k,则G = {(QT)P|pEZ}, 故G = (a-1) n n无限循环群的生成元 循环群与生成元 循环群与生成元 PAGE # -命题：无限循环群有且只有2个生成元 ■证明：设群G =〈。〉= ￡ G,比￡ Z},若b亦为 G 的生成元，贝U： (3m, t ￡ = b = a), 故q = bl = = amt,由消去律，amt~1 = e ,: a是无限阶元mt -1 = 0^ (m = t = 1) V (m = t = —1),故有b = q或者b = a-1 壬 壬有限循环群的生成元(续)』『 循环群与生成元 循环群与生成元 PAGE # 壬 壬有限循环群的生成元 』『 循环群与生成元 循环群与生成元 PAGE # ■命题：设有限群G =〈a〉，且|a| = n,则对任意 不大于n的正整数r, G =〈a『〉o gcd(n,r) = 1 o “u” ：设gcd(n,r) = l,则(mu,u € 宠)(ur + un = 1), 因此q =砂e =(.-)”)〃 =。故而G中任意元 素渺可表为(O诚，故有G =〈q。； o “n” ：设是G的生成元，令gcd(n,r) = d且厂=dt, 贝寸=(冴)〃d =(X) Wd = e，故I Q-||(n/d)，但 |aH = n故n | n d = 1，故有gcd(n,r) = 1 即n与r互质 Hz -n阶循环群G的生成元的个数恰好等于不大于 n且与几互质的正整数的个数，即Euler函数 ^(n),其生成元集为： (i|0 i n A gcd(Z,n) = 1) 循环群的子群 循环群的子群 PAGE # 循环群与生成元 循环群与生成元 PAGE # n有限循环群的生成元 n有限循环群的生成元 例(1)设G={%,...,q1】}是12阶循环群，则2)=4.小于或等 于12且与12互素的数是1,5,7,11,由定理11.19可知 疽和。是G的生成元. 设G=Z9,十〉是模9的整数加群，则(p(9)=6.小于或等于 9且与9互素的数是1,2,4, 5, 7,8.根据定理11.19, G的生成元是1,2, 4, 5, 7和8. 设G=3Z={3z|z€Z},G上的运算是普通加法.那么G只 有两个生成元：3和-3. 循环群的子群 循环群的子群 ■命题：设G =〈。〉为循环群 ⑴G的子群为循环群 ⑵若|q| = 8,则G的子群除｛e｝外皆为无限循环群 证： (I)「)W— I仃.=〕自然成立 否则取-疽〃为T中最.小正方幂元.-匚上二n ；?二 二e H z = 令72 = qm + r, 0 r m,从而/】=an = agm+r = (am)qar.从而=h(am)~q E H,故 由m的最小性得厂=0,