完備化 (環論)

抽象代数学において、完備化（かんびか、英: completion）とは、環や加群上の関手であって、完備な位相環や加群になるような任意のものである。完備化は局所化と類似しており、これらは可換環を解析する最も基本的な手法である。