




版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、4.多項(xiàng)式的分解域多項(xiàng)式的分解域 我們都知道 所謂代數(shù)基本定理是什么。這個(gè)定理告訴我們,復(fù)數(shù)域C上一元多項(xiàng)式環(huán) 的每一個(gè)n次多項(xiàng)式在C里有n個(gè)根,換一句話說(shuō), 的每一個(gè)多項(xiàng)式在 里都能分解為一次因子的乘積。 C x C x C x 若是一個(gè)域E上的一元多項(xiàng)式環(huán) 的每一個(gè)多項(xiàng)式在 里都能分解為一次因子的乘積,那么E顯然不再有真正的代數(shù)擴(kuò)域。這樣的一個(gè)域叫做代數(shù)閉域代數(shù)閉域。 E x E x 我們有以下事實(shí):對(duì)于每一個(gè)域F都存在F的代數(shù)擴(kuò)域E,而E是代數(shù)閉域。 這一事實(shí)的證明也超出本書范圍。但分裂的理論可以在一定意義下離補(bǔ)這一個(gè)缺陷。 定義定義 域F的一個(gè)擴(kuò)域E叫做 的n次多項(xiàng)式多項(xiàng)式 在在F上的
2、一個(gè)分裂域上的一個(gè)分裂域(或根域根域),假如 ()在 里(有時(shí)簡(jiǎn)稱在E里) 可以分解為一次因子的積: ()在一個(gè)小于E的中間域 里, 不能這樣地分解。 F x f x E x f x 12nnif xaxxxEI FIE f x 按這個(gè)定義,E是一個(gè)使得 能夠分解為一次因子的F的最小擴(kuò)域。我們先看一看,一個(gè)多項(xiàng)式的分裂域應(yīng)該有什么性質(zhì)。 f x 定理定理 1 令E是域F上多項(xiàng)式 的一個(gè)分裂域:(1) 那么 f x 12nnif xaxxxE12,nEF 證明證明 我們有 并且在 中, 已經(jīng)能夠分解成(1)的形式。因此根據(jù)多項(xiàng)式的分裂域的定義, 12,nFFE 12,nF f x12,nEF 根
3、據(jù)這個(gè)定理,如果有F上的多項(xiàng)式 的分裂域E存在,那么E剛好是把 的根添加于F所得的擴(kuò)域。因此我們也把多項(xiàng)式的分裂叫做它的跟域?,F(xiàn)在我們證明多項(xiàng)式的分裂域的存在。 f x f x 定理定理 2 給了域F上一元多項(xiàng)式環(huán) 的一個(gè)n次多項(xiàng)式 ,一定存在 在F的分裂域E。 F x f x f x 證明證明 假定在 里, 這里 最高系數(shù)為1的不可約多項(xiàng)式。那么存在一個(gè)域 而 在F上的極小多項(xiàng)式是 在 里 ,所以 因此在 里 F x 11f xfx gx 1fx11EF1 1fx1E 10f 1|xf x1E 122f xxfx gx 這里 是 里最高系數(shù)為1的不可約多項(xiàng)式。這樣存在一個(gè)域 而 在 上的極小
4、多項(xiàng)式是 在 是 是 的最高系數(shù)為1的不可約多項(xiàng)式。這樣我們又可以利用 來(lái)得到域 ,使得在 里 這樣一步一步地我們可以得到域 使得在 里 證完 2fx 1E x2121212,EEFF 21E 2fx 2Ex 1233f xxxfx gx 3fx 2Ex 3fx3123,EF 3Ex 12344f xxxxfx gx123,EF E x 12nnf xaxxx 域F上一個(gè)多項(xiàng)式 當(dāng)然可能有不同的在F上的分裂域。但是這些域都同構(gòu)。要證明這一點(diǎn),我們需要兩個(gè)引理。 f x 引理引理 1 令 和 是兩個(gè)同構(gòu)的域。那么多項(xiàng)式環(huán) 和 也同構(gòu)。LL L x L x 證明證明 令 是 與 間的同構(gòu)映射,我們
5、規(guī)定一個(gè) 到 的映射 顯然是 與 間的一一映射。我們看 的兩個(gè)元 和 :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 那么 所以是同構(gòu)映射。證完。 在上述同構(gòu)映射 這下, 的一個(gè)不可約多項(xiàng)式的象顯然是 的一個(gè)不可約的多項(xiàng)式。 L x L x 引理引理 2 令 與 是同構(gòu)的域, 是 的一個(gè)最高系數(shù)為1的不可約多項(xiàng)式, 是與 對(duì)應(yīng)的
6、 的不可約多項(xiàng)式。又假定 與各 是 與 的單擴(kuò)域,滿足條件 和 。那么存在 與 尖的一個(gè)同構(gòu)映射,并且這個(gè)同構(gòu)映射能夠保持原來(lái)的 與 間的同構(gòu)映射。LL p x L x p x p x L x L LLL 0p 0p L LLL 證明證明 假定 的次數(shù)是n,那么 的次數(shù)也是n。這樣,若 是 與 間的同構(gòu)映射,那么 是一個(gè) 與 間的一一映射,看 的兩個(gè)元 由于 有 p x p xaaLL:1100nniiiiiiaa L L L 1100,nniiiiiifagb111000nnniiiiiiiiiiiiababab f xg xfg我們知道, ,這里 由引理1得 因此 這樣, 是 與 間的同構(gòu)
7、映射。 至于 能夠保持原來(lái) 與 間同構(gòu)映射,顯然。證完。 fgr f x g xq x p xr x fx g xq x p xr xfgr fgrrfg L LLL現(xiàn)在我們證明一個(gè)多項(xiàng)式的分裂域的唯一性。我們證明更一般小下述 定理定理 3 令 與 是同構(gòu)的域, 的 與 的 是在引理1的意義下相對(duì)應(yīng)的n次多項(xiàng)式。又假定 是 在 上的一個(gè)分裂域, 是 在 上的一個(gè)分裂域,那么在 與 間存在一個(gè)同構(gòu)映射 , 能夠保持 與 間的同構(gòu)映射,并且可以分別換掉 還的次序,使在 之下 。 FF F x f x F x fx12,nEF f xF12,nEF fxFEEFFii和ii 證明證明 我們已經(jīng)知道:
8、 。假定對(duì)于 ,我們能夠分別掉換 的次序,使得 這個(gè)同構(gòu)映射保持 與 間的同構(gòu)映射,并且在這個(gè)同構(gòu)映射之下, 設(shè)在 里 這里 是 的一個(gè)最高系數(shù)為1的不可約多項(xiàng)式。由引理1,在 里 而 是 的一個(gè)最高系數(shù)為1的不可約多項(xiàng)式。FFknii和1212,kkLFFL FF1,2,iiik L x 12kkkf xxxxpx gx kpx L x L x 12kkkf xxxxpx gx kpx L x 在 和 里,因子 進(jìn)一步分別分解為 和 。分別掉換 和 的次序,不妨假定 于是由引理2, 這個(gè)同構(gòu)映射保持 與 間的同構(gòu)映射,并且在這個(gè)同構(gòu)映射下 證完12,nF 12,nF kkkkpx gxpx
9、gx和1knxx1knxx1,kn1,kn110,0kkkkpp11211211,kkkkLFFL FF1,2,1iiik 我們知道,一個(gè)n次多項(xiàng)式在一個(gè)域最多有n個(gè)根(),6,推論1)。分裂域的存在定理告訴我們,域 上多項(xiàng)式 在 的某一個(gè)擴(kuò)域里一定有n個(gè)根。分裂域的唯一存在定理告訴我們,用不同方法找到的 的兩組根,抽象地來(lái)看,沒(méi)有什么區(qū)別這樣,給了任何一個(gè)域 和 上一個(gè)n次多項(xiàng)式 ,我們總可以談?wù)?的n個(gè)根。因此,分裂域的理論在一定意義下可以代替所謂代數(shù)基本定理。F f xF f xFF f x f x 在域 上一個(gè)多項(xiàng)式 在分裂域里,并不是只有 可以分解成一次因子的乘積。我們有以下重要的F
10、 f x f x 定理定理 4 令E是多項(xiàng)式 在域 上的分裂域,而 是E的一個(gè)任意元。那么 在 上的極小多項(xiàng)式在E里分解為一次因子的乘積。 f xFF證明證明 令 在域 上的分裂域是 假定 在 上的極小多項(xiàng)式 不能在 里分解為一次因子的乘積。那么在 里 而 是 中最高系數(shù)為1的不可約多項(xiàng)式,且 的次數(shù)m大于1。做單擴(kuò)域 f xF12,nEF F g x E x E x 1g xxp x gx p x E x p x12,nEEF 使得 我們看一看 由于 根據(jù),2,定理4,有 因而由引理1,有 而且在這個(gè)同構(gòu)映射這下 這樣,由定理3, 在 上的分裂域與 在 上的分裂同構(gòu)。但 是 在 上的一個(gè)分裂域而 是 在 上的一個(gè)分裂域
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- YY/T 1930-2024醫(yī)療器械臨床評(píng)價(jià)術(shù)語(yǔ)和定義
- 消防安全生產(chǎn)合同責(zé)任狀
- 合同范本:?jiǎn)挝欢ㄆ诖鎲钨|(zhì)押貸款
- 度勞動(dòng)和社會(huì)保障合同代理協(xié)議
- 債權(quán)資產(chǎn)買賣合同
- 度標(biāo)準(zhǔn)工廠租賃合同
- 雇傭勞動(dòng)合同模板合同
- 股票基金權(quán)益分配合同范本
- 寵物收養(yǎng)家庭寵物養(yǎng)護(hù)與寵物友好公共設(shè)施考核試卷
- 地震勘探儀器在復(fù)雜地質(zhì)條件下的應(yīng)用考核試卷
- 《綠色建筑設(shè)計(jì)原理》課件
- 中醫(yī)館裝修合同范本
- 學(xué)習(xí)與科技的融合主題班會(huì)
- 《直播銷售》課件-項(xiàng)目一 認(rèn)識(shí)直播與直播銷售
- 2025年南京科技職業(yè)學(xué)院高職單招數(shù)學(xué)歷年(2016-2024)頻考點(diǎn)試題含答案解析
- 2025-2030年中國(guó)航空配餐行業(yè)市場(chǎng)發(fā)展現(xiàn)狀及投資前景規(guī)劃研究報(bào)告
- 新課標(biāo)背景下的跨學(xué)科學(xué)習(xí)內(nèi)涵、設(shè)置邏輯與實(shí)踐原則
- 母嬰分離產(chǎn)婦的護(hù)理
- 2025年全國(guó)高考體育單招政治時(shí)事填空練習(xí)50題(含答案)
- 2025教科版一年級(jí)科學(xué)下冊(cè)教學(xué)計(jì)劃
- 2024解析:第六章質(zhì)量和密度-講核心(解析版)
評(píng)論
0/150
提交評(píng)論