※ 引述《superlori (雪夜，好久不见)》之铭言： : Let I be the ideal generated by 5 in Z[√-3]. : Is I a prime ideal? : Is I a maximal ideal? : (1) : 我觉得5是prime element in Z[√-3] : 但要怎麽证明呢? : 刚爬了一下文...好像是要用norm? Z[√-3] 里的元素都写成 a+b√-3的样子 a,b是整数 令 N(a+b√-3) =a^2 + 3b^2 可以推出 如果α是5的倍数 那麽 N(α)也是5的倍数 N(a+b√-3)N(c+d√-3)=N((a+b√-3)(c+d√-3)) ____________________________________________________________ If α=a+b√-3 β=c+d√-3 a,b不全是5的倍数 c,d不全是5的倍数 => N(a+b√-3)=a^2 + 3b^2 不是5的倍数 N(c+d√-3) 不是5的倍数 => N((a+b√-3)(c+d√-3)) = N(a+b√-3)N(c+d√-3) 不是5的倍数 因此 (a+b√-3)(c+d√-3) 不是5的倍数 所以 5 is a prime : (2) : 我只有写出5在Z[√-3]里是一个irreducible element. : 可以说 I=(5) 就是一个maximal ideal吗? : 我记得要Z[√-3]PID才可以推得 : 请问这题要怎麽证呢? 直接爆破法 证Z[√-3]]/(5) 是field 下面是每个非0元素的乘法反元素 in Z[√-3]]/(5) 2*3 =6 =1 4*4 =16 =1 (√-3)*(3√-3)=-9 =1 (2√-3)(4√-3)=-24 =1 (1+√-3)(4+√-3)= (1+√-3)(4-4√-3)=4(1+√-3)(1-√-3) =1 (1+2√-3)(2+√-3)=(1+2√-3)(2-4√-3)=2(1+2√-3)(1-2√-3)=1 (1+3√-3)(2+4√-3)=2(1+3√-3)(1-3√-3)=1 (1+4√-3)(4+4√-3)=4(1+4√-3)(1-4√-3)=1 (2+2√-3)(2+3√-3)=1 (3+√-3)(4+2√-3)=1 (3+2√-3)(3+3√-3)=1 (3+4√-3)(4+3√-3)=1 ---------------------------------------------------- 其实只要找完 1 2 3 4 的反元素就够了 a+b√-3的情况 (a+b√-3)(a-b√-3)= a^2 + 3b^2 当a,b都不是5的倍数时 a^2 + 3b^2 也不是5的倍数 所以 (a+b√-3)(a-b√-3)再去乘 a^2 + 3b^2 的反元素就可以得到1了 : ===================================== : 麻烦大家指点一下 : thx --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 218.168.43.41 ※ 编辑: ntnusliver 来自: 218.168.43.41 (03/18 22:35)