- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
§3.2剩余类与完全剩余系一、剩余类——按余数的不同对整数分类是模m的一个剩余类,即余数相同的整数构成m的一个剩余类。一个剩余类中任意一个数称为它同类的数的剩余。一个整数被正整数n除后,余数有n种情形:0,1,2,3,…,n-1,它们彼此对模n不同余。这表明,每个整数恰与这n个整数中某一个对模n同余。这样一来,按模n是否同余对整数集进行分类,可以将整数集分成n个两两不相交的子集。定理1PART1二、完全剩余系{0,1,2,?,m?1}是模m的最小非负完全剩余系;一元素。03单击此处添加正文,文字是您思想的提炼,为了演示发布的良好效果,请言简意赅地阐述您的观点。数相同的整数——即同一剩余类里的整数,看作同02单击此处添加正文,文字是您思想的提炼,为了演示发布的良好效果,请言简意赅地阐述您的观点。③若把剩余系作为一个集合,则可以把对模m的余01定义2注:①完全剩余系不唯一;完全剩余系举例:集合{0,1,2,3,4}是模5的最小非负完全剩余系。是模m的绝对最小完全剩余系。都是模m的绝对最小完全剩余系。集合{0,6,7,13,24}是模5的一个完全剩余系,2、完全剩余系的构造思考:1、既然完全剩余系是不唯一的,不同的剩余系之间存在什么关系呢?一个完全剩余系的所有元素通过线性变化后,还是完全剩余系吗?A中任何两个整数对模m不同余。注:由定理1及定义2易得证。02A中含有m个整数;定理2整数集合A是模m的完全剩余系的充要条件是01是模m的一个完全剩余系吗?单击此处添加标题检验:设{x1,x2,?,xm}是模m的一个完全剩余系,单击此处添加标题那么,{b+x1,b+x2,?,b+xm}和{ax1,ax2,?,axm}单击此处添加标题定理3设m?1,a,b是整数,(a,m)=1,{x1,x2,?,xm}是模m的一个完全剩余系,则{ax1?b,ax2?b,?,axm?b}也是模m的完全剩余系。证明由定理2,只需证明:若xi?xj,则axi?baxj?b(modm)。假设axi?b?axj?b(modm),则axi?axj(modm),且(a,m)=1,xi?xj(modm)由§3.1中的结论,P50第三行知:注意:定理3也可以叙述为:设m?1,a,b是整数,(1)在定理3中,条件(a,m)=1不可缺少,否则不能成立;(3)特别地,若x通过模m的一个完全剩余系,单击此处添加正文,文字是您思想的提炼,为了演示发布的良好效果,请言简意赅地阐述您的观点。(a,m)=1,,则ax和x+b也分别通过模m的一个完全剩余系。(a,m)=1,若x通过模m的一个完全剩余系,则ax+b也通过模m的一个完全剩余系;例2设A={x1,x2,?,xm}是模m的一个完全剩余系,添加标题以{x}表示x的小数部分,证明:若(a,m)=1,则添加标题证:当x通过模m的完全剩余系时,ax?b也通过添加标题模m的完全剩余系,添加标题因此对于任意的i(1?i?m),axi?b一定且只与添加标题某个整数j(1?j?m)同余,添加标题即存在整数k,使得axi?b=km?j,(1?j?m)添加标题3、剩余系间的联系定理4设m1,m2?N,A?Z,(A,m1)=1,添加标题分别是模m1与模m2的完全剩余系,添加标题则R={Ax?m1y:x?X,y?Y}是模m1m2的一个添加标题完全剩余系。添加标题证明由定理3只需证明:若x?,x???X,y?,y???Y,且添加标题Ax??m1y??Ax???m1y??(modm1m2),添加标题证:因为{1,2,3,?,(p?1),p}是模p的一个完全剩余系,例1设p?5是素数,a?{2,3,?,p?1},则在数列a,2a,3a,?,(p?1)a,pa中有且仅有一个数b,满足b?1(modp);单击此处添加正文,文字是您思想的提炼,为了演示发布的良好效果,请言简意赅地阐述您的观点。所以{a,2a,3a,?,(p?1)a,pa}构成模p的单击此处添加正文,文字是您思想的提炼,为了演示发布的良好效果,请言简意赅地阐述您的观点。一个完全
文档评论(0)