- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第二学期第十四次课
有理整数环
§1 有理整数环的基本概念
8.1.1 有理整数环的基本概念
全体整数所组成的集合中有两种运算:加法和乘法,而且它们满足下面运算法则:
加法满足结合律;
加法满足加换律;
有一个数0,是对任意整数,;
对任意整数,存在整数,使;
乘法满足结合律;
有一个数1,是对任意整数,
加法与乘法满足分配律:;
乘法满足加换律;
无零因子:如果,则。
我们把满足上述九条运算性质的代数系统称为有理整数环,并用代表它。
“整除”、“互素”、“倍数”、“因数”、“最大公因数”、“最小公倍数”等概念在小学和中学已介绍,在这里就不再赘述。
现在,我们从抽象的角度对“环”这一代数对象作一概述。
设是一个非空集合。如果在的元素之间定义了一种运算,称做加法,即对中任意两元素,都按某法则对应于内的一个唯一确定的元素,记作,且满足如下运算法则:
结合律:;
中有一元素0,是对一切;
对中任一元素,有;
交换律:。
又设内另有一种运算称作乘法,即对中任意两个元素,都按某个法则对应于内一个唯一确定的元素,记作,且满足如下运算法则:
结合律:;
加法与乘法有两方面的分配律:
则成为一个环。
如果一个环的乘法也满足交换律,则称为交换环;
如果环内存在一个元素,使,则称为的单位元素,称为有幺元的环;
如果环内存在两个非零元,使,则()称为左(右)零因子,这时称为有零因子环;
如果环至少包含两个元素,可交换,有幺元,无零因子,则称为一个整环;
如果是一个整环,且对内任一非零元素都有逆元,则称为一个域。
8.1.2 整除性理论
命题(带余除法) 对任意,唯一的存在两个整数,满足:
证明 存在性 如果,考虑整数序列
则必落在该序列中的某两项之间,从而必存在,使得。令,则有
如果,我们有
唯一性 设另外有使,则
进而得到|。如果,则等式的左端,但另一方面,即可知等式的右端。这个矛盾说明,从而。定理得证。
用辗转相除法求二整数的最大公因子
给定整数且,则由得。所以。同理可证,故。
给定整数,做带余除法,。若,则。若,则再做带余除法
因为,所以经有限步后必有。这时,
这种算法叫Euclid算法,也叫辗转相除法。
8.1.3 有理整数环的理想
定义8.1(理想的定义) 设是的一个非空子集,且满足下列条件:
若,则;
若,则对任意有,
则称为的一个理想。
显然,单由0组成的子集{0}及自身都是理想,这两个理想称作平凡理想,{0}称为零理想。的其他理想称为非平凡理想。
定义8.2(主理想的定义) 任给,定义
则称为由生成的主理想。
显然,(0)={0},(1)= 为平凡理想,其他理想均为非平凡主理想。关于理想,我们有以下简单的性质:
1)且;
2)。
命题 有理整数环的理想都是主理想,即设是的一个理想,则存在非负整数,使。
证明 若是零理想{0},取=0即可。现设,于是中必有非零之整数,现令为中的最小正整数,他显然存在且唯一。此时对任意都有,于是。反之,设为中任意整数,按带余除法,存在,使。又因,由的最小性知。故,即。于是。
定义8.3(主理想整环(PID)为一交换环,如果中的理想皆为主理想,则称为主理想环。如果同时又为整环(即环至少包含两个元素,交换,有幺元,无零因子),则称为主理想整环。
现在我们来看一下理想的性质:
给定的两个理想,则
它们的交集也是的理想,称为此两理想的交;
定义
则也是的理想,称为的和。
我们不难得到关于理想的两个重要结论:
结论1 设是两个非零整数,是的最小公倍数,则。
结论2 设是两个不全为零的整数,则,其中。
作为结论2的推论,我们有一个重要的结果:
命题 设是两个不全为零的整数,则下面命题互相等价:
(i)互素,即;
(ii)有,使;
(iii).
8.1.4 因子唯一分解定理
定义8.4(唯一分解整环的定义)设为一整环(即环至少包含两个元素,交换,有幺元,无零因子)。如果满足下列两条件,则叫做一个唯一(因子)分解整环(也叫高斯整环):
1)的每个非零非单位的元素恒可以写成有限多个不可约元素的积
;
2)上述分解在相伴意义下是唯一的,即若元素有两种分解。则而且适当改变的角标可使
(或在抽象意义下) 。
在抽象代数课程中,我们将用(1)因子链条件(参见习题一第7题)和(2)整环中的不可约元即为素元素(即下面的引理)来证明 定理 主理想整环是唯一分解整环。在这里,我们仅就有理整数环这一特殊情形给出证明,即有下面的定理:
定理(算术基本定理) 任一正整数都能表成若干素数的乘积
,为素数
并且若不计的排列次序,上述表法唯一。
先证明引理(有理整数环中的素因子即为不可约因子)设是素数,且。若,则或。事实上,因只有两个正因子1
您可能关注的文档
- 【微观经济学课件】需求和供给.ppt
- 【微机原理课件】系统总线.ppt
- 【微机原理与接口技术】80X86微处理器的结构.ppt
- 【微机原理与接口技术】8086指令的寻址方式及寻址过程.ppt
- 【微机原理与接口技术】可编程接口芯片及其应用.ppt
- 【微机原理与接口技术】微型计算机系统实用接口技术.ppt
- 【微机原理与接口技术】中断.ppt
- 【微机原理与接口技术】中断控制器、DMA控制器和.ppt
- 【文书学课件】文件立卷归档.ppt
- 【物流管理基础课件】仓储管理.ppt
- 【工程测试技术基础课件】信号的滤波.ppt
- 【管理信息系统案例分析】信息化的价值-对某科技公司信息化价值的评价.doc
- 【管理信息系统课件】Managing IT-Enabled Organizational Change.ppt
- 【管理信息系统课件】Managing IT-Enabled Organizational Change and Information Systems Planning.ppt
- 【管理信息系统课件】The process of Building Information Systems.ppt
- 【计量经济学课件】计量经济学绪论.ppt
- 【计量经济学课件】生产函数模型.ppt
- 【计量经济学课件】随机时间序列分析模型.ppt
- 【计量经济学课件】需求函数模型.ppt
- 【计算机网络基础课件】网络操作系统.ppt
文档评论(0)