compleción

En álgebra abstracta, una compleción es cualquiera de los varios functores en anillos y módulos que resultan en anillos y módulos topológicamente completos. La compleción es similar a la , y junto a ella está entre las herramientas más básicas para analizar anillos conmutativos. Los anillos conmutativos completos tienen una estructura más sencilla que los generales y se aplica a ellos. Geométricamente, una compleción de un anillo conmutativo R se concentra en un entorno formal de un punto o un subvariedad cerrada de Zariski de su espectro Spec R.