[問題] A finite integral domain (D,+,˙) is a field

[sumty (elva)]

有關裡面一段

for d in D ,d is not z

dD = {dd1,...,ddn}

if ddi = ddj for some 1≦i≦j≦n

since D is an integral domain and d is not z, we have di=dj

so dD = D

在課本的682頁

我想問的是，是否 integral domain有cancellation law of multiolication？

有的話，是什麼原因？

沒有的話，di=dj又是如何得出?

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 118.169.192.6
→ sumty:sorry 我在講義28頁看到解答了＠＠
推 anfranion:(可以從integral domain定義的1 & 3推得唷:P)