书签 分享 收藏 举报 版权申诉 / 18
上传文档赚钱

类型多项式的分解域讲解课件.ppt

  • 上传人(卖家):晟晟文业
  • 文档编号:4067664
  • 上传时间:2022-11-08
  • 格式:PPT
  • 页数:18
  • 大小:444.55KB
  • 【下载声明】
    1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
    2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
    3. 本页资料《多项式的分解域讲解课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
    4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
    5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
    配套讲稿:

    如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。

    特殊限制:

    部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。

    关 键  词:
    多项式 分解 讲解 课件
    资源描述:

    1、4.多项式的分解域多项式的分解域 我们都知道 所谓代数基本定理是什么。这个定理告诉我们,复数域C上一元多项式环 的每一个n次多项式在C里有n个根,换一句话说,的每一个多项式在 里都能分解为一次因子的乘积。C x C x C x 若是一个域E上的一元多项式环 的每一个多项式在 里都能分解为一次因子的乘积,那么E显然不再有真正的代数扩域。这样的一个域叫做代数闭域代数闭域。E x E x 我们有以下事实:对于每一个域F都存在F的代数扩域E,而E是代数闭域。这一事实的证明也超出本书范围。但分裂的理论可以在一定意义下离补这一个缺陷。定义定义 域F的一个扩域E叫做 的n次多项式多项式 在在F上的一个分裂域

    2、上的一个分裂域(或根域根域),假如()在 里(有时简称在E里)可以分解为一次因子的积:()在一个小于E的中间域 里,不能这样地分解。F x f x E x f x 12nnif xaxxxEI FIE f x 按这个定义,E是一个使得 能够分解为一次因子的F的最小扩域。我们先看一看,一个多项式的分裂域应该有什么性质。f x 定理定理 1 令E是域F上多项式 的一个分裂域:(1)那么 f x 12nnif xaxxxE12,nEF 证明证明 我们有 并且在 中,已经能够分解成(1)的形式。因此根据多项式的分裂域的定义,12,nFFE 12,nF f x12,nEF 根据这个定理,如果有F上的多项

    3、式 的分裂域E存在,那么E刚好是把 的根添加于F所得的扩域。因此我们也把多项式的分裂叫做它的跟域。现在我们证明多项式的分裂域的存在。f x f x 定理定理 2 给了域F上一元多项式环 的一个n次多项式 ,一定存在 在F的分裂域E。F x f x f x 证明证明 假定在 里,这里 最高系数为1的不可约多项式。那么存在一个域 而 在F上的极小多项式是 在 里 ,所以 因此在 里 F x 11f xfx gx 1fx11EF1 1fx1E 10f 1|xf x1E 122f xxfx gx 这里 是 里最高系数为1的不可约多项式。这样存在一个域 而 在 上的极小多项式是 在 是 是 的最高系数为

    4、1的不可约多项式。这样我们又可以利用 来得到域 ,使得在 里 这样一步一步地我们可以得到域 使得在 里 证完 2fx 1E x2121212,EEFF 21E 2fx 2Ex 1233f xxxfx gx 3fx 2Ex 3fx3123,EF 3Ex 12344f xxxxfx gx123,EF E x 12nnf xaxxx 域F上一个多项式 当然可能有不同的在F上的分裂域。但是这些域都同构。要证明这一点,我们需要两个引理。f x 引理引理 1 令 和 是两个同构的域。那么多项式环 和 也同构。LL L x L x 证明证明 令 是 与 间的同构映射,我们规定一个 到 的映射 显然是 与 间

    5、的一一映射。我们看 的两个元 和 :aaLL L x L x:iiiia xa x L x L x L x f x g x iiiiiiiif xa xa xfxg xb xb xg x iiiiiiiiikkkiiiiiikij kkij kkij kab xab xab xf xg xfxg xabcab xa b xf x g xfx g x 那么 所以是同构映射。证完。在上述同构映射 这下,的一个不可约多项式的象显然是 的一个不可约的多项式。L x L x 引理引理 2 令 与 是同构的域,是 的一个最高系数为1的不可约多项式,是与 对应的 的不可约多项式。又假定 与各 是 与 的单扩

    6、域,满足条件 和 。那么存在 与 尖的一个同构映射,并且这个同构映射能够保持原来的 与 间的同构映射。LL p x L x p x p x L x L LLL 0p 0p L LLL 证明证明 假定 的次数是n,那么 的次数也是n。这样,若 是 与 间的同构映射,那么 是一个 与 间的一一映射,看 的两个元 由于 有 p x p xaaLL:1100nniiiiiiaa L L L 1100,nniiiiiifagb111000nnniiiiiiiiiiiiababab f xg xfg我们知道,这里 由引理1得 因此 这样,是 与 间的同构映射。至于 能够保持原来 与 间同构映射,显然。证完

    7、。fgr f x g xq x p xr x fx g xq x p xr xfgr fgrrfg L LLL现在我们证明一个多项式的分裂域的唯一性。我们证明更一般小下述 定理定理 3 令 与 是同构的域,的 与 的 是在引理1的意义下相对应的n次多项式。又假定 是 在 上的一个分裂域,是 在 上的一个分裂域,那么在 与 间存在一个同构映射 ,能够保持 与 间的同构映射,并且可以分别换掉 还的次序,使在 之下 。FF F x f x F x fx12,nEF f xF12,nEF fxFEEFFii和ii 证明证明 我们已经知道:。假定对于 ,我们能够分别掉换 的次序,使得 这个同构映射保持

    8、与 间的同构映射,并且在这个同构映射之下,设在 里 这里 是 的一个最高系数为1的不可约多项式。由引理1,在 里 而 是 的一个最高系数为1的不可约多项式。FFknii和1212,kkLFFL FF1,2,iiik L x 12kkkf xxxxpx gx kpx L x L x 12kkkf xxxxpx gx kpx L x 在 和 里,因子 进一步分别分解为 和 。分别掉换 和 的次序,不妨假定 于是由引理2,这个同构映射保持 与 间的同构映射,并且在这个同构映射下 证完12,nF 12,nF kkkkpx gxpx gx和1knxx1knxx1,kn1,kn110,0kkkkpp112

    9、11211,kkkkLFFL FF1,2,1iiik 我们知道,一个n次多项式在一个域最多有n个根(),6,推论1)。分裂域的存在定理告诉我们,域 上多项式 在 的某一个扩域里一定有n个根。分裂域的唯一存在定理告诉我们,用不同方法找到的 的两组根,抽象地来看,没有什么区别这样,给了任何一个域 和 上一个n次多项式 ,我们总可以谈论 的n个根。因此,分裂域的理论在一定意义下可以代替所谓代数基本定理。F f xF f xFF f x f x 在域 上一个多项式 在分裂域里,并不是只有 可以分解成一次因子的乘积。我们有以下重要的F f x f x 定理定理 4 令E是多项式 在域 上的分裂域,而 是

    10、E的一个任意元。那么 在 上的极小多项式在E里分解为一次因子的乘积。f xFF证明证明 令 在域 上的分裂域是 假定 在 上的极小多项式 不能在 里分解为一次因子的乘积。那么在 里 而 是 中最高系数为1的不可约多项式,且 的次数m大于1。做单扩域 f xF12,nEF F g x E x E x 1g xxp x gx p x E x p x12,nEEF 使得 我们看一看 由于 根据,2,定理4,有 因而由引理1,有 而且在这个同构映射这下 这样,由定理3,在 上的分裂域与 在 上的分裂同构。但 是 在 上的一个分裂域而 是 在 上的一个分裂域。0p F 10gpg FF FxFx f xf x f xF f x F1,nF f xF1,nF f x F因此 但是我们显然有 由于 ,这是一个矛盾。证完。在下两节中我们要用到分裂的理论来讨论两种特殊类型的域11,nnFE 11,:,:nnFFEF 1,:nFFEEE Fm E F 1,:nFFE F 1m

    展开阅读全文
    提示  163文库所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
    关于本文
    本文标题:多项式的分解域讲解课件.ppt
    链接地址:https://www.163wenku.com/p-4067664.html

    Copyright@ 2017-2037 Www.163WenKu.Com  网站版权所有  |  资源地图   
    IPC备案号:蜀ICP备2021032737号  | 川公网安备 51099002000191号


    侵权投诉QQ:3464097650  资料上传QQ:3464097650
       


    【声明】本站为“文档C2C交易模式”,即用户上传的文档直接卖给(下载)用户,本站只是网络空间服务平台,本站所有原创文档下载所得归上传人所有,如您发现上传作品侵犯了您的版权,请立刻联系我们并提供证据,我们将在3个工作日内予以改正。

    163文库