已阅读5页,还剩1页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
8.3 域的基本概念与性质,定义 8.3.1 设(F, +, x)为一个交换环,若(F*, x)是群则称(F, +, x)为一个域。其中F*= F 0。 域也可以定义为:每个非零元都有逆元的整环。,例8.3.1 全体实数集合R、有理数集合Q以及复数集合C,在通常的加法和乘法运算下都构成域。 例8.3.2 试证(R2,)是一个域,其中运算和的定义如下: (a, b)(c, d) = (a+c, b+d) (a, b)(c, d) = (ac-bd, ad+bc) 由(R2, ) (C,+,x),和(C,+,x)是域即可知。,设 f 为从环(R, +, x )到(R, +, x )的同态,但 f 不是同构,则R是整环并不能确保R也是整环。 例如, f : Z Zn,mmn是整数环从(Z, +, x )到同余类环(Zn, +n, xn )的同态。Z是整环,而当n不是素数时, Zn不是整环。,例8.3.3 证明(Zp,+p,xp)是域当且仅当p是素数。 证. 若(Zp,+p,xp)是域,则(Zp,+p,xp)是整环,于是其特征 p是素数。 若 p是素数,mp Zp,由 p与m互素,故存在s, t Z,使得 sp + tm = 1 于是 spp +p tmp =1p 即 tp xp mp =1p 因此 mp 的逆元是tp 。,定理 8.3.1 有限整环(R, +, x )一定是域。 证. 只需证明非零元都有逆元即可。设 r0 R,r0 0 考虑映射 f : RR, r r0r 若r0r1 = r0r2,则由整环无零因子知 r1 = r2 故 f 是单射。 又 R为有限环,不妨设|R|=n,则单射 f 将R中 n个不同 元素映到R中n个不同元素,故 f 是满射。 于是存在 r1 R,使 f (r1) =1,即r0r1=1,故 r0有逆元 r1,定理 8.3.2 整环是域的充要条件是它不含真理想。 证. 充分性 设整环(R, +, x )不含真理想,只需证明非零元 r0都有逆元。设由r0 生成的R的主理想为(r0 ),因于r0 (r0 ),因此(r0 )0,于是(r0 ) = R,而整环R的(r0 )= r0r | r R 故存在 r1 R,使 r0r1=1,故 r0有逆元 r1 。 必要性 设I为域(R, +, x )的理想,I0,则存在非零元
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024产品销售授权协议书范本
- 2024工程量增加补充协议书范本
- 2024夫妻房产协议书
- 2024年电子商务行业企业战略发展规划及建议
- 2024地坪工程画册设计
- 2024年交通运输设备项目调研分析报告
- 2024年掺铒光纤放大器项目调研分析报告
- 《血液净化治疗技术管理 第7 部分:血液透析用水卫生检测规范(征求意见稿)》编制说明
- 2024-2029年中国浓缩锅行业市场现状分析及竞争格局与投资发展研究报告
- 2024-2029年中国洗面奶行业市场深度调研及发展策略研究报告
- 最新部编人教版三年级上册语文全册单元测试卷全套含答案
- 2022年河北省中医院医护人员招聘考试笔试题库及答案解析
- 《文献检索与科技写作》教案
- GB 18613-2020 电动机能效限定值及能效等级
- IT系统集中监控及运维管理解决方案和成功案例分析
- 生产安全事故应急救援程序流程图
- 【新教材】高中语文超全课内知识梳理(选择性必修中册)
- 国际髋关节评分(iHOT)保髋手术的评分工具
- 智慧树知到《播音员主持人形象塑造》章节测试答案
- 建设工程设计合同GF--2018--0209民用建设工程设计合同
- 2021贵州特岗教师招聘学科考点习题及解析-生物
评论
0/150
提交评论