近世代數(shù)習題解答(張禾瑞)四章

1、近世代數(shù)習題解答第四章 整環(huán)里的因子分解1 素元、唯一分解1. 證明：不是任何元的真因子。證當時若則故矛盾當時，有（是單位）就是說是它自己的相伴元2. 我們看以下的整環(huán)，剛好包含所有可以寫成是任意整數(shù)，的整數(shù)）形式的有理數(shù)，的哪些個元是單位，哪些個元是素元？證）的單位總可以把表為是或奇數(shù)，非負整數(shù)）我們說時，即是單位，反之亦然 ）的素元依然是的限制同上）我們要求）只有平凡因子滿足）的是奇素數(shù)故而是奇素數(shù)是是素元，反之亦然，是剛好包含所有復數(shù)整數(shù)）的整環(huán)，證明不是的素元，有沒有唯一分解？ 證（）的元是單位，當而且只當時，事實上，若是單位 則 即但是一正整數(shù)，同樣也是正整數(shù)，因此，只有反之，若，則

2、或這些顯然均是單位此外，再沒有一對整數(shù)滿足，所以的單位只有。 （）適合條件的的元一定是素元。事實上，若則又由也不是單位若則或是單位是的相伴元是單位是的相伴元不管哪種情形，只有平凡因子，因而是素元。 （）的元不是素元。若則這樣，只可能是 當由是單位當由是單位此即中有一是的相伴元現(xiàn)在看的情形可能的情形是 顯然由（）知的是素元，故知是素元之積 （）的單一分解均為單位 唯一分解環(huán) 證明本節(jié)的推論 證本節(jié)的推論是；一個唯一分解環(huán)的 個元在里一定有最大公因子，的兩個最大公因子只能查一個單位因子。用數(shù)學歸納法證當時，由本節(jié)定理知結論正確。假定對個元素來說結論正確。看的情形設有最大公因子為。，的最大公因子為即

3、而 又故是的公因子假定 又 這就是說，是的最大公因子若是的最大公因子那么且 若則 則即是單位故 假定在一個唯一分解環(huán)里 證明當而且只當是的一個最大公因子的時候，互素證假定是的一個最大公因子若不互素則有而不是單位那么這就是說是的公因子所以即 故是單位 矛盾 假定互素 令是的最大公因子 則有 即 是的公因子于是是單位 那么是的最大公因子3 假定是一個整環(huán)，和是的兩個主理想證明當而且只當是的相伴元的時候證假定 是單位所以是的相伴元 假定（單位） 故（ 主理想假定是一個主理想環(huán)，并且證明是和的一個最大公因子，因此和的何最大公因子都可寫成以下形式：證由于有 是的公因子 仍由知故有 設是的任一公因子由知即

4、是的最大公因子又（單位） 一個主理想環(huán)的每一個最大理想都是由一個元素所生成的。證設是主理想環(huán)的最大理想， 并設若是單位，則若不是素元則， 是的真因子最大理想是單位，矛盾。我們看兩個主理想環(huán)和是的子環(huán)，假定和是的兩個元，是這兩個元在里的一個最大公因子。證明：也是這兩個元在里的一個最大公因子。證是主理想環(huán)的子環(huán)，所以在里由本節(jié)習題知 是的最大公因子，而且最大公因子有以下形式： 也是在里的公因子。設是在里任意公因子則那么 故是在里的最大公因子。4 歐氏環(huán) 1. 證明:一個域一定是一個歐氏環(huán). 證 設是域,則一定是整環(huán) 是某一個固定的整數(shù),這符合條件（） ）對的任何元都有 這里 2. 我們看有理數(shù)域上

5、的一元多項式環(huán)理想等于怎樣的一個主理想? 證 我們說 互素 即 因而 3. 證明由所有復數(shù)是整數(shù)) 所作成的環(huán)是一個歐氏環(huán) 取() 證 整數(shù) 令 設 則 任取 整數(shù) 其中 故 是有理數(shù) 取 是有理數(shù),且滿足條件 令 則 因為的實部與虛部系數(shù)均為整數(shù),所以的實部與虛部系數(shù)亦均為整數(shù) 設 即注意:取 使 的整數(shù) 是可以做到的例如只要取 或即可使5 多項式環(huán)的因子分解1. 假定!是一個唯一分解環(huán),是的商域,證明,的一個多項式若是在里可約,它在里已經(jīng)可約. 證 若在里不可約,令 是本原多項式顯然, 在里也不可約,由引理3在里不可約,這與在里可約的假設矛盾.2. 假定是整環(huán)上的一元多項式環(huán).!屬于但不屬于,并且的最高系數(shù)是的一個單位,證明在里有分解. 證 的最高系數(shù)是的單位,所以的系數(shù)的最大公因子是單位,也就是說是本原多項式. 而即次數(shù)根據(jù)本節(jié)引理4證明的前一部分在里有分解。6 因子分解與多項式的根 1. 假定是模16的剩余類環(huán),的多項式在里有多少個根? 證 在里的所有根是 這里因為是的根,則需 2. 假定是模3的剩余類環(huán),我們看的多項式證明,不