A → S^-1A が単射でない例
ここでは, 可換環 とその積閉集合 に対して次の環準同型写像
が単射でない例を紹介したいと思います.
僕はこれをアティマクではじめて読んだときとても戸惑ったのを覚えています.
なんで?ってなりますよね.
ということで少しずつ考えていきます.
まず, 環準同型が単射でないということは, ということと同値です.
ここで に対して とはどういうことかをまずは考えてみましょう.
これは局所化の定義から
ということになります. ってことです. ということは
もともと ではないけど, うまく の元をかけると になる元が存在するように可換環 とその積閉集合 を定めればいいというのが方針として立つと思います. 明らかにわかるのが 可換環 が整域だと上のような環準同型 は必ず単射になるということです.
というわけで, 整域以外で考えていきます.
すると次のような例があります.
命題 1. とすると環準同型 は単射でない.
証明 がわかる. (終)
何か間違いなどあれば教えてください.
[参考文献]