Hauteur D'Idéal Premier
- 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.