5.5 阿贝尔群与循环群.pptVIP

定义5-5.2设G,*是一个群,若存在g?G,使得?a?G,?i?I（I为整数集），有a=gi,则称G,*是一个循环群,g是G,*的生成元。也可称G,*是由g生成的循环群。循环群的性质定理5-5.2每个循环群必是阿贝尔群。证:设g是G,*的生成元,则?a,b?G,则存在r,s?I,，使得a=gr且b=gs。a*b=gr*gs=gr+s=gs+r=gs*gr=b*a。＃循环群的性质2.定理5-5.3：设G,*是由g生成的有限循环群,若|G|=n,则G={g1,g2,?,gn}。证:a)证g的阶为n。先证：若mn,则gm≠e。（反证法）若mn,且gm=e,?gk?G,k=mq+r,0≤rm，有gk=gmq+r=gmq?gr=gr，∴G中最多有m个不同元素,这与|G|=n矛盾，所以g的阶为n。b)证{g1,g2,?,gn}中的元素全不相同。若gi=gj(1≤ij≤n)，gj-i=e。∵0≤j-in