- 79 名前：１３２人目の素数さん mailto:sage [2012/10/01(月) 01:03:02.75 ]
- もう一つ訂正があったので、まとめます
p∈Zを素数、Rをガウスの整数環（＝Z[i]）とする。
このとき
(p)＝pRが素イデアル
⇔(p)が極大イデアル
⇔p≡3(mod4)
を示せ。
Rはユークリッド整域、特に単項イデアル整域だから素イデアルと極大イデアルが同値なのは明らかですが
それとp≡1(mod4)が同値であることがわかりません。
pが2のときは、明らかに(2)は素イデアルでなくp＝2 !≡1(mod4、!≡は≡の否定)だからok
また、pが奇素数のときは(p)が素イデアル「でない」こととp＝a^2+b^2となる整数a,bが存在することと同値なのはわかりました
ですが、僕はそれとp≡1(mod4)が同値だということの証明は第一補充則を使った方法しかしらないのですが、この本は3章で相互法則が紹介されているので第一補充則を使わない証明を教えてください。
