第五章扩域.doc

  1. 1、本文档共22页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第五章扩域

第五章 扩域 课时安排 约2课时 教学内容 (《近世代数基础》 (1978年修订本) 张和瑞 著 ) 在这一章里我们要对于域做一些进一步的讨论。我们不准备证明一些复杂的结构定理,而主要是对单扩域、代数扩域、多项式的分裂域、有限域和可离扩域做一些讨论。 §5.1 扩域、素域 我们先说明一下,研究域所用的方法。 定义 一个域叫做一个域的扩域(扩张),假如是的子域。 我们知道,实数域是在它的子域有理数域上建立起来的,而复数域是在它的子域实数域上建立起来的。研究域的方法就是:从一个给定的域出发,来研究它的扩域。 这就有如何选择域的问题。我们有以下的事实。 定理1 令是一个域。若的特征是,那么含有一个与有理数域同构的子域;若的特征是素数,那么含有一个与同构的子域,这里是整数环,()是由生成的主理想。 证明:域包含一个单位元。因此也包含所有(是整数)。令是所有作成的集合。那么 : 显然是整数环到的一个同态满射。 情形1 的特征是。 这时是一个同构映射: 但包含的商域。由Ⅲ,10,定理4,与的商域,也就是有理数域同构。 情形2 的特征是素数。这时 μ 此处μ是的核。但 =0 所以μ,因而μ。由Ⅳ,3,引理2,是一个最大理想。另一方面 所以,而μ=,因而 () 有理数域和()显然都不含真子域。 定义 一个域叫做素域,假如它不含真子域。 由定理1知道:一个素域或是与有理数域同构,或是与()同构。因此定理1的另一形式是 定理2 令是一个域。若的特征是,那么含有一个与有理数域同构的素域;若的特征是素数,那么包含一个与同构的素域。 由定理2,一个任意域都是一个素域的扩域,我们就掌握了所有的域。但事实上研究素域的扩域并不比研究一个任意域的扩域来得容易。因此我们研究域的普通方法是:设法决定一个任意域F的所有扩域E。 现在我们极粗略地描述一下一个扩域的结构。 令E是F的一个扩域。我们从E里取出一个子集S来。我们用F(S)表示含F和S的E的最小子域,把它叫做添加集合S于F所得的扩域。 F(S)的存在容易看出。因为,E的确有含F和S的子域,例如E本身,一切这样的子域的交集显然是含F和S的E的最小子域。 更具体的说,F(S)刚好包含E的一切可以写成 (1) 形式的元。这里是S中的任意有限个元素,而和()是F上的这些的多项式。这是因为:F(S)既然是含有F和S的一个域,它必然含有一切可以写成形式(1)的元;另一方面,一切可以写成形式(1)的元已经作成一个含有F和S的域。 适当选择S,我们可以使E =F(S)。例如S=E,就可以作到这一点。实际上,为了作到这一点,常常只须取E的一个真子集S。 若S是一个有限集:S={},那么我们也把F(S)记作 F() 叫做添加元素于F所得的子域。 为了便于讨E 是域F的一个扩域,而和是E的两个子集。那么 F()()= F()=F()() 证明: F()()是一个包含F、和的E的子域,而F()是包含F和的E的最小子域。因此 (2) F()()F() 另一方面F()是一个包含F、和,因而是一个包含F()和的E的子域。但F()()是包含F()和的E的最小子域,因此 (3) F()()F() 有(2)和(3),得 F()()= F() 同样可以得到 F()()= F() 证完 根据定理3,我们可以添加一个有限集归结为陆续添加单个元素,例如 F()= F 定义 添加一个元素于域F所得的扩域F()叫F的单扩域(扩张)。 单扩域是最简单的扩域。我们在下一节将先讨论这种扩域结构。 教学重点 扩域与素域的定义。 教学难点 定理1的证明。 教学要求 使学生掌握扩域与素域的定义,利用扩域和素域的定义以及定理1,2,3能证明相关的命题。 ● 布置作业 习题。 ● 教学辅导 利用参考书,给学生辅导相关的内容。 §5.2 单扩域 课时安排 约2学时。 教学内容 (《近世代数基础》 (1978年修订本) 张和瑞 著 ) 假设E 是F的扩域,而是E的一个元。 要讨论单扩域F()的结构,我们把E的元分成两类。 定义 叫做域F的一个代数元,假如存在F的不都等于零的元,使得 假如这样的不存在,就叫做F上的一个超越元。若是F的一个代数元,F()就叫做F的一个单代数扩域;若是F的一个超越元,F()就叫做F的一个单超越扩域。 单扩域的结构通过以下定理可以掌握。 定理1 若是F的

文档评论(0)

daoqqzhuan3 + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档