有理整数環ℤのスペクトルSpec(ℤ)について語るスレです。
hogehogeとか見るとどうしようもない古臭さを感じる
>>2 これってZは環じゃないよ、(Z,+,*)だよ、というのと同じで、
省略してるだけだよな
まあネットで定義とか基本的な考え方(図形と関数の双対性)とかを聞き齧っただけの人には混乱するポイントなんだろう
で、多分この著書もその経験をしたと見た
ちょっとセンセーショナルなタイトルをつけたかっただけでしょ
別に騒ぐほどではない
Spec(Z)は三次元閉多様体
Spec(F_p)は一次元閉多様体
このアナロジーが数論的結び目理論らしい
p,qの相互律は円と円の絡み数と見れるとか書いてるね
>>13 F_1={0=1}、つまり零環なので、Spec(F_1)とは空スキームのこと
Zの素イデアルは(0)、(2)、(3)、(5)、(7)、……
話題あるかな