>>84
つづき

https://ja.wikipedia.org/wiki/%E5%AE%8C%E5%82%99%E5%8C%96_(%E7%92%B0%E8%AB%96)
完備化 (環論)
完備な位相環や加群になるような任意のものである。完備化は局所化と類似しており、これらは可換環を解析する最も基本的な手法である。完備可換環は一般の環よりも単純な構造をもっており、ヘンゼルの補題が適用される。
また特に環Rが非アルキメデス距離について距離空間であるときは、距離空間としての完備化と環としての完備化は一致する。
一般的な構成
E を部分群の減少フィルター
E=F^0E⊃ F^1E⊃ F^2E⊃・・・
をもったアーベル群として、（このフィルターに関する）完備化を逆極限
E＾=lim ← (E/F^ｎE)
として定義する[1]。
これは再びアーベル群である。通常 E は 加法的な アーベル群である。E がフィルターと両立する付加的な代数的構造をもっていれば、例えば E がフィルター付き環（英語版）、フィルター付き加群、フィルター付きベクトル空間であれば、その完備化は、フィルターによって決定される位相において再び完備である同じ構造をもった対象である。
クルル位相
可換環論において、可換環 R
完備化は商環の逆極限である。
R＾I=lim ← R/I^n
（「アールアイハット」と読む。文脈から I が明らかなときには単にR＾ と書くこともある。）環から完備化への自然な写像 π の核は I のベキの共通部分である[2]。したがって π が単射であることと共通部分が環の零元のみからなることは同値である。たとえば、整域か局所環である可換ネーター環はクルルの交叉定理よりその完備化に埋め込める。

つづく