Codimension

La codimension est une mesure numérique comparant la dimension ambiante à la dimension d'un sous-objet ; pour un idéal premier p dans un anneau noethérien R, la cohauteur (codimension) est dim(R) - hauteur(p), et pour une sous-variété c'est la différence entre la dimension ambiante et celle de la sous-variété.