Codimensión
Definición
La codimensión es una medida numérica que compara la dimensión ambiente con la dimensión de un subobjeto; para un ideal primo p en un anillo noetheriano R, la coaltura (codimensión) es dim(R) - altura(p), y para una subvariedad es la diferencia entre la dimensión ambiente y la de la subvariedad.