完備化 (環論)
抽象代数学において、完備化（かんびか、英: completion）とは、環や加群上の関手であって、完備な位相環や加群になるような任意のものである。完備化は局所化と類似しており、これらは可換環を解析する最も基本的な手法である。完備可換環は一般の環よりも単純な構造をもっており、ヘンゼルの補題が適用される。
一般的な構成
E を部分群の減少フィルター
- [math] E = F^0{E} \supset F^1{E} \supset F^2{E} \supset \cdots \, [/math]
をもったアーベル群として、（このフィルターに関する）完備化を逆極限
- [math] \hat{E}=\varprojlim (E/F^n{E}) \, [/math]
として定義する[1]。
これは再びアーベル群である。通常 E は 加法的な アーベル群である。E がフィルターと両立する付加的な代数的構造をもっていれば、例えば E がフィルター付き環、フィルター付き加群、フィルター付きベクトル空間であれば、その完備化は、フィルターによって決定される位相において再び完備である同じ構造をもった対象である。この構成は可換環にも非可換環にも適用できる。期待される通り、完備位相環が得られる。
クルル位相
可換環論において、可換環 R の真のイデアル I のベキによるフィルターは、R 上の（Wolfgang Krull にちなんで）クルル位相あるいは I-進位相（I-adic topology）を決定する。極大イデアル [math]I=\mathfrak{m}[/math] の場合が特に重要である。R の 0 の基本近傍系はイデアルのベキ In によって与えられる。これは入れ子になっており R の減少フィルターをなす。
- [math] R = I^0 \supset I^1 \supset I^2 \supset \cdots[/math]
- [math] \hat{R}_I=\varprojlim (R/I^n) [/math]
（「アールアイハット」と読む。文脈から I が明らかなときには単に [math]\hat{R}[/math] と書くこともある。）環から完備化への自然な写像 π の核は I のベキの共通部分である[2]。したがって π が単射であることと共通部分が環の零元のみからなることは同値である。たとえば、整域か局所環である可換ネーター環はクルルの交叉定理よりその完備化に埋め込める。
R-加群にも同様の位相があり、これもクルル位相や I-進位相と呼ばれる。加群 M の点 x における基本近傍系は x + In M の形をした集合によって与えられる。R-加群 M の完備化は商加群の逆極限である。
- [math] \hat{M}_I=\varprojlim (M/I^n{M}). [/math]
この手続きによって R 上の任意の加群は [math]\hat{R}_I[/math] 上の完備位相加群になる。
例
- R = K[x1,…,xn] を体 K 上の n 変数多項式環とし、[math]\mathfrak{m}=(x_1,\ldots,x_n)[/math] を変数によって生成された極大イデアルとする。このとき完備化 [math]R_{\mathfrak{m}}[/math] は K 上の n 変数形式的冪級数環 K[[x1,…,xn]] である[1]。
性質
1. 完備化は関手的操作である。位相環の連続写像 f: R → S はそれらの完備化の写像に持ちあがる。
- [math] \hat{f}: \hat{R}\to\hat{S}. [/math]
さらに、M と N が同じ位相環 R 上の2つの加群であり f: M → N が加群の連続な写像であれば、f は一意的にその完備化の写像に拡張する。
- [math] \hat{f}: \hat{M}\to\hat{N},\quad [/math] ただし [math]\hat{M},\hat{N}[/math] は [math]\hat{R}[/math] 上の加群。
2. ネーター環 R の完備化は R 上平坦加群である[4]。
3. ネーター環 R 上の有限生成加群 M の完備化は係数拡大によって得ることができる[4]。
- [math] \hat{M}=M\otimes_R \hat{R}. [/math]
直前の性質と合わせて、有限生成 R-加群の完備化の関手は完全であることがわかる。それは短完全列を保つ。
4. コーエンの構造定理（等標数 (equicharacteristic) のケース）．R を完備局所ネーター可換環で極大イデアルが [math]\mathfrak{m}[/math] で剰余体が K とする。R がある体を含めば、
- [math] R\simeq K[[x_1,\ldots,x_n]]/I [/math]
がある n とあるイデアル I に対して成り立つ[5]。
脚注
- ↑ 1.0 1.1 Eisenbud 1995, p. テンプレート:Google books quote.
- ↑ Atiyah & MacDonald 1969, p. 105.
- ↑ Eisenbud 1995, p. 182.
- ↑ 4.0 4.1 Eisenbud 1995, Theorem 7.2.
- ↑ Eisenbud 1995, Theorem 7.7 (Cohen Structure Theorem).
参考文献
- Atiyah, M. F.; MacDonald, I. G. (1969), Introduction To Commutative Algebra, Addison-Wesley Series in Mathematics, Addison-Wesley, ISBN 0-201-00361-9, MR 0242802, Zbl 0175.03601
- Eisenbud, David (1995), Commutative Algebra: With a View Toward Algebraic Geometry, Graduate Texts in Mathematics, 150, Springer-Verlag, doi:10.1007/978-1-4612-5350-1, MR 1322960, Zbl 0819.13001