山东科技大学 离散数学第5章与第6章 习题课.pptVIP

山东科技大学 离散数学第5章与第6章 习题课.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
山东科技大学 离散数学第5章与第6章 习题课

第5章 习题课;P185:2,5;P190: 2,3,5,6;P190: 2,3,5,6;P190: 2,3,5,6;P190: 2,3,5,6;P190: 2,3,5,6;P197:2,4,5;P197:2,4,5; ; ; ;5-5 Abel群和循环群;P200页(1)设G,*是一个独异点,并且对于G中的每一个x都有x*x=e,其中e是幺元,证明G,*是一个阿贝尔群。;P200页(1)设G,*是一个独异点,并且对于G中的每一个x都有x*x=e,其中e是幺元,证明G,*是一个阿贝尔群。;(3)设G,*为群,证:任意a,b∈G均有a3*b3=(a*b)3, a4*b4=(a*b)4和a5*b5=(a*b)5,则G,*为Abel群。 证明:a*b=b*a 任意a,b∈G: 由a3*b3=(a*b)3, a-1*(a3*b3)*b-1= a-1*(a*b)3*b-1, 即 a2*b2= (b*a)2 同理:a3*b3= (b*a)3 和 a4*b4= (b*a)4 故: (a3*b3)*(b*a)=(b*a)4=a4*b4, 即 b4*a= a*b4 同理 (a2*b2)*(b*a)=(b*a)3=a3*b3, 即 b3*a=a*b3 故 (a*b)*b3=a*b4=b4*a=b*(b3*a)=b*(a*b3)=(b*a)*b3 所以: a*b=b*a;(5)循环群的任意子群必定是循环群。 证:设G,*为循环群,其生成元为a, 设S,*为G的子群, 且S≠{e}, 则存在最小正整数m使得am∈S 对任意al∈S, 必有l=tm+r, 0≤rm, t0, 故r=l-tm, 则ar=al-tm=al*(am)-t∈S (因*在S上封闭) 因m是am∈S的最小正整数且0≤rm,故只能有r=0,即l=tm, 所以 al= (am)t 这说明S中的任意元素均是am的次幂,故S,*是以am为生成元的循环群。;5-7 陪集与拉格朗日定理;(3) G,*为群,定义R?G×G, R={σ,ψ|存在θ∈G使得ψ=θ*σ*θ-1} 验证R为G上的等价关系。 证: (1)设e为G,*的幺元, 则任意a∈G, a=e*a*e-1, 所以a,a∈R--------自反性 (2)若a,b∈R, 由R的定义,存在θ∈G使得b=θ*a*θ-1, 故a=θ-1*b*θ=θ-1*b*(θ-1)-1, 所以b, a∈R --------对称性 (3)若a,b,b,c∈R, 则θ, λ∈G使得b=θ*a*θ-1, c=λ*b*λ-1, 故c=λ*θ*a*θ-1*λ-1=(λ*θ)*a*(λ*θ)-1, 所以a, c∈R --------传递性;(5)设H,*为群G,*的子群,若A={x|x∈G且x*H*x-1=H},证A,*为群G,*的子群。 证:显然A?G,根据定理5-4.8:a▲b-1∈A 设任意a,b∈A, 则a*H*a-1=b*H*b-1=H 由b*H*b-1=H,可得b-1*H*b=H 因为(a*b-1)*H*(a*b-1)-1=(a*b-1)*H*((b-1)-1*a-1) =a*(b-1*H*b)*a-1=a*H*a-1∈A 因此, A,*为群G,*的子群。 ;(7)设aH和bH是H在G中的两个左陪集,??明aH∩bH=?或aH=bH。 证:aH和bH的关系只有两种情况: (1)aH∩bH=? 或 (2)aH∩bH≠? ,此时只需证明aH=bH。 因aH∩bH≠?,故至少存在h1和h2使得ah1=bh2, 即a=bh2h1-1 任意ah∈aH, ah=bh2h1-1h=bh3∈bH, 故aH?bH 同理可证: bH?aH 故: aH=bH ;(8)p为质数,证明pm阶群中一定包含着一个p阶子群。 证:设pm阶群为G,* 任意a∈G, a≠e, 若a的阶为n, 即an=e, 则n|pm 所以令n=pt (t为t≥1的正整数) 若t=1, 则a的阶为p, 于是由a所生成的循环群即为G的一个p阶子群。 若t1, 则令b=apt-1, 则有 bp=(apt-1)p=apt= an=e 于是由b所生成的循环群即为G的一个p阶子群。;(9)设S,*和T,*分别是群G,*的s阶和t阶子群,且S∩T和S∪T的阶分别是u和v, 证明 st≥uv 证:由包含排斥原理: |S∪T|=|S|+|T|-|S∩T| 即:v=s+t-u 因|S∩T|≤|S|,|S∩T|≤|T|, 即u≤s且u≤t 故:uv=u(s+t-u)=us+ut-uu =us-uu+tu-ts+st =u(s-u)-t(s-u)+st =st-(s-u)(t-u)≤st ;5-8 同态与同构;(6)循环群的同态象必定是循环群。 证:设循环群A, ●的生成元为

文档评论(0)

yan698698 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档