Next:
About this document ...
代数学 II 要約 No.11
今日のテーマ:
定義 11.1
環
の元
が与えられている時、
のことを
の
による局所化といい、
であらわす。
補題 11.1
の元
による局所化
を考える。このとき、
1.
から
への自然な環準同型
が存在する。
2.
は
の可逆元である。
3.
は
と、
とで生成される。
4.
は上の3性質を満たすもののうちで最も普遍的な物である。 すなわち、もし別の環
と 準同型
で、うえの4性質 (の
をそれぞれ
におきかえたもの)がなりつものが あたえられたとすると、
から
への環準同型写像
で、
がなりたつ物がただ一つ存在する。
環
を、その元
で局所化する事は、簡単にいえば
に
を 付け加えていると思ってよい。(ただし一般には
は単射とは限らない。)
補題 11.2
代数的集合
が与えられたとし、 そのアフィン環を
, と書く。
にたいして、
のイデアル
を考えると、次の事が成り立つ。
1.
の点は
の元と一対一に対応する。
2.
3.
は
の
による局所化
と同型である。
問題 11.1
のイデアル
と
とについて、 環準同型
を、
で定義する。このとき、
1.
を図示しなさい。
2.
である事を示しなさい。
3.
上の二つの事から、
は
から
への写像
を定めることが分かるが、 その
について、
をそれぞれ求めなさい。
2001-07-03