in algebra, any of several related functors on rings and modules that result in complete topological rings and modules
抽象代数学において、完備化(かんびか、英: completion)とは、環や加群上の関手であって、完備な位相環や加群になるような任意のものである。完備化は局所化と類似しており、これらは可換環を解析する最も基本的な手法である。完備可換環は一般の環よりも単純な構造をもっており、ヘンゼルの補題が適用される。 また特に環Rが非アルキメデス距離について距離空間であるときは、距離空間としての完備化と環としての完備化は一致する。
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).