[代數] 證明field

看板Math作者 (oWWWWWWWWWWWo)時間13年前 (2011/05/30 01:06), 編輯推噓3(304)
留言7則, 2人參與, 最新討論串1/1
請問 a為根號2 {m+na│m,n€Q} 要證明他是個field 請問該如何去做 我的作法就是證明他是個 commutative division ring 證明交換環的部分很容易 可是要證明他是除環這裡我不清楚該如何去做 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.134.181.185 ※ 編輯: zx153w 來自: 220.134.181.185 (05/30 01:07)

05/30 01:10, , 1F
硬做 1/(m+na)有理化
05/30 01:10, 1F

05/30 01:11, , 2F
上下同乘m-na 變成 m-na/(m^2-2n^2)
05/30 01:11, 2F
不好意思問個問題 在這題中 能出現 1/(m+na) 這樣的東西嗎? 因為我覺得出現 "/" 感覺怪怪的 謝謝

05/30 01:32, , 3F
那就當成inverse
05/30 01:32, 3F
是指 (m+na)(m-na)(m-na)^-1 這樣嗎 可是這樣我也覺得怪怪的 因為這樣等於開始就去假設有inverse的存在了

05/30 01:32, , 4F
那你就先這樣做出來然後發現他們兩個相乘=1
05/30 01:32, 4F

05/30 01:32, , 5F
就找到反元素了
05/30 01:32, 5F
※ 編輯: zx153w 來自: 220.134.181.185 (05/30 01:39)

05/30 04:01, , 6F
你先把他當作實數, 所以他存在, 再說明他的確在這個
05/30 04:01, 6F

05/30 04:01, , 7F
環裡
05/30 04:01, 7F
文章代碼(AID): #1DudqML8 (Math)