##  [Hauteur D'Idéal Premier](/index.php/fr/node/62370) 

  ##  [Hauteur D'Idéal Premier](https://puremath.quantumdictionary.io/fr/node/62371) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/index.php/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Suprémum des longueurs n de chaînes strictement croissantes d'idéaux premiers p0 ⊊ p1 ⊊ ... ⊊ pn aboutissant à l'idéal premier donné p ; c'est la codimension de Krull locale de p dans le spectre, une mesure locale de la dimension.