>>180
ついでに
完備化関連で、
環の局所化と局所環貼っておく

https://ja.wikipedia.org/wiki/%E7%92%B0%E3%81%AE%E5%B1%80%E6%89%80%E5%8C%96
環の局所化
環の局所化（localization）あるいは分数環 (ring of fraction)、商環 (ring of quotient)[注 1] は、環に乗法逆元を機械的に添加する方法である。

局所化は完備化と重要な関係があり、環を局所化すると完備になるということがよくある[要検証 ? ノート]。

用語について
「局所化」の名の起源は代数幾何学にある。R はある幾何学的対象（代数多様体）の上で定義された函数環とする。この多様体を点 p の近傍で「局所的に」調べようとするならば、p の近傍で 0 でないような函数全体の成す集合 S を考えることになる。その意味で、R を S に関して局所化して得られる環 S?1R は p の近傍における V の挙動についての情報のみをふくんでいる（局所環も参照）。

数論および代数的位相幾何学において、数 n「における」環や空間とか、n から「遠い」などという言及をすることがある。「n から遠い」("away from n") の意味は、「その環の中で n が可逆」（従って、Z[1/n]-代数になる）ということである。例えば、体については「素数 p から遠い」と言えば「その体の標数は p と異なる」という意味になる。Z[1/2] は「2 から遠い」が F2 や Z はそうではない。

https://ja.wikipedia.org/wiki/%E5%B1%80%E6%89%80%E7%92%B0
局所環（local ring[1]）は、1938年にヴォルフガンク・クルルによって導入された概念で[2]、比較的簡単な構造を持つ環であり、代数多様体や可微分多様体上で定義される関数の、あるいは代数体を座や素点上の関数として見るときの「局所的な振る舞い」を記述すると考えられるものである。局所環およびその上の加群について研究する可換環論の一分野を局所環論と呼ぶ。

可換な例
可換（および非可換な）体は {0} を唯一の極大イデアルとする局所環である。

局所環に「局所」の名を冠する理由は次のようなものである。まず、実数直線上で 0 を含むある開区間において定義される実数値連続函数を考え、函数の 0 付近という局所での挙動のみに注目して、0 を含むある開区間（これはいくらでも小さく取って構わない）で一致するような函数を全て同一視する。

つづく