如何證明Q 5 是域?

時間 2021-06-01 09:37:08

1樓:文睿

理解為 在 上生成的環,記 為 。

考慮對映:

是乙個滿的環同態。於是有

是 , ,於是 , 。

若 可約, ,

不妨設, 與 矛盾。

因此 是不可約多項式,因此 是極大理想,因此 是域

2樓:

現在手機碼字不方便打公式。

首先有個結論,若F是個域,a是(乙個比F更大的域上)F上某個多項式的根,那麼F[a]是域。事實上F[a]還是包含F和a的最小的域。

F[a]交換么環、無零因子都是顯然的。只差一條,所有非零元素可逆。

a是某個多項式的根,那麼把這個多項式看看能不能因式分解,分到最後全是素多項式,必然有乙個素多項式的根含有a。這個多項式記為p(x)。注意它每個係數都在F中。

好了,下面F[a]中任意拿出個非零元素,咱證明它可逆。這個元素必能寫成f(a),其中f(x)每個係數也在x中。且因為f(a)≠0,所以f(x)和p(x)互素(不整除只能互素)。

於是存在q(x)、r(x)使q(x)f(x)+r(x)p(x)=1。說實話這個定理的證明略煩,但是不難。高等代數裡講最大公因數那一塊會講。

於是q(a)f(a)+r(a)p(a)=1。注意p(a)=0。所以q(a)是f(a)的逆元。

3樓:吃月亮的人

記 ,顯然有 有么元且是 環.

那接下來只需要證明 , 有乘法逆元即可,這可以直接待定係數得到.

接下來提供乙個更代數的解法:

顯然有 .

其中 是 在 上的極小多項式.

由於 是有單位元的交換環,故它是域等價於 是主理想.

也就等價於為 上的不可約多項式 ( 的性質).

不難得到

那麼不可約是顯然的(艾森斯坦判別法取 即可).

奧迪 Q5,雷克薩斯 NX,林肯 MKC,該如何選擇?

poplar yang 感覺q5一點不夠面子啊 爛大街了 我村養豬廠老闆就開q5 mkc逼格比q5高到不知道哪去了 想象一下你走近車子,迎賓地燈就亮了的感覺 而且你帶著奧迪車主朋友一起去一次林肯4s,他就知道為什麼買林肯的是高階人士 加一條 林肯本市沒有4s的千萬不要買 Wang Good 其實很好...

賓士Glk 奧迪q5 攬勝極光 保時捷Macan選哪個好一點?預算60w以內?

路虎據說小毛病不少,不推薦,GLK已經是淘汰車型了,GLC都上市了,GLK300頂配50不到能搞定,Q5麼50多也能搞定40TFSI的頂配,如果加點預算可以考慮SQ5,60出頭一點,保時捷MACAN基本都是要選裝才能買的,落地最少也要62 65樣子,實用的那些都選上估計得 68了 60w macan...

奧迪Q5和大眾CC,哪個動力更好?

包子 怎麼比,同樣三代EA888的機器,Q5車身尺寸大且重,CC是前驅。0到100,Q5應該要快一點,因為Q5是四驅的,全功率起步基本不存在打滑。CC只有兩驅,而且驅動輪還是前輪,全功率起步重心後移,前輪打滑損失掉不少動力。但是車速到100後就不一樣了,CC會逐步追上Q5並反超。1是因為Q5車身尺寸...