無限直積の双対加群こわい
概要・参考文献
を示します.
https://mathoverflow.net/q/10239 ←これを読み解いたよというような話です.
何がすごいの?
は簡単です.直和の普遍性と,同一視 ですね.こっちは を任意の単位的可換環にしても成り立ちます.一方,直積からの準同型というのは,なんだかよくわからないものです.
また, じゃなくて体 だったら様子が異なってきます.無限次元線型空間の双対をとると次元が真に大きくなることが知られていて, です.
体だったら基底がとれるので双対をとれば単に大きくなるところが, だと直積からの準同型というのが意外ときつい制約で,小さくなってなぜかちょうど直和くらいになってしまう.そんな不思議な定理です.
証明の流れ
準同型 を ( は第 成分だけ で他が のやつ) で定めたとき,
- が単射であること
- であること
を示します.この 1. は当たり前と思いきやそうではなくて,各 に対して を決めたからといって とはできない (有限和になってない!) のが罠です.直積の厄介なところですね.
1. 単射性
,つまり任意の に対して であることを仮定して, を示す.
任意の をとる.各 について, と は互いに素なので, となる がとれる.
任意の に対して, なので,仮定より .よって .
同様に なので,.以上で が示せた.
これは, の「PID だが局所環ではない」という性質を使っています.体でない局所環で反例が作れるかは,よくわかりません…….
2. 像が直和に入ること
任意に をとったとき,,つまり のうち有限個を除いて となることを示す.
を, かつ (整除) かつ任意の で が成り立つようにとれる (順番に,十分大きい倍数をとっていけばよい).
任意の について, なので, とおくと となる.すると三角不等式と のとり方より が成り立つ.ここで,十分大きい では なので である.
なので,十分大きい では となり,示すべきことが得られた.
お気持ちとしては,「めっちゃ増えてくような無限列も有限値に送らないといけないので,それっぽい列をとれば後ろの方の影響があってはならないことが言える」みたいな感じです.
mathoverflow にリンクが貼られている http://www-users.mat.umk.pl/~gregbob/seminars/2008.11.07b.pdf では不等式評価を用いずに,こちらも局所環でない PID について示そうとしているのですが,PDF でいう のところが間違っています ( が ではなく なので). の場合なら とか とか好きに決められるので簡単に直せるのですが,一般にはダメそうです.上手く修正できる気もしますがあまり考えていません.
コメント
無限直和とか無限直積とかはやっぱりこわいですが,好きな定理上位にランクインしました.
間違いを見つけた方は是非教えてください.