[理工] 離散 90台大資工證明題

看板Grad-ProbAsk作者 (yang)時間12年前 (2013/12/26 21:47), 編輯推噓2(2推 0噓 5→)
留言7則, 3人參與, 最新討論串1/1
題目如下： Prove that a finite integral domain (D,+,) is a field. 我的證明過程如照片 http://miupix.cc/pm-796SA0 想請問有沒有謬誤的地方？ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.223.10.243
→
12/26 21:48, , 1F
有個符號沒有打出來 (D,加,乘）
12/26 21:48, 1F
推
12/27 10:52, , 2F
我覺得不行，因為未必是循環群。
12/27 10:52, 2F
推
12/27 18:27, , 3F
我覺得可以,但你第二行少寫-{0}差很多,不保證消去性
12/27 18:27, 3F
→
12/27 18:31, , 4F
因為(D,+,．)是ID,(D,．)是交換半群->．有封閉性
12/27 18:31, 4F
→
12/27 18:33, , 5F
a．a∈D ->A={a^k|k∈N}必為D的子集
12/27 18:33, 5F
→
12/27 18:35, , 6F
所以D有限 A也為有限 必存在某個a^m=a^n 剩下就跟你一樣
12/27 18:35, 6F
→
12/27 23:25, , 7F
感謝指點 真的忘記
12/27 23:25, 7F
‣ 更多 jeremy4849 的文章
文章代碼(AID): #1Il3Dbzn (Grad-ProbAsk)