代数的整数論
■ このスレッドは過去ログ倉庫に格納されています
0206208
2005/10/06(木) 12:05:53u~: Spec(B) → Spec(A) が、u~(p) = u^(-1)(p) で定まる。
u~が写像として定まり、連続であることを確かめるのは
読者にまかす。
u: A → A/Nil(A) を標準射とすると、
u~: Spec(A/Nil(A) ) → Spec(A) は、位相空間としての同型射となる。
これを確かめるのも、読者にまかす。
ここで、Nil(A) は A のべき零元の全体である(>>163)。
よって、Spec(A) の位相を考えるときは、Nil(A) = 0 と仮定してよい。
Nil(A) = 0 となるとき、A を被約という。
■ このスレッドは過去ログ倉庫に格納されています