Dimension de Krull
Définition
La dimension de Krull d'un anneau commutatif est le supremum des longueurs n de chaînes d'idéaux premiers P0 ⊂ P1 ⊂ ... ⊂ Pn ; elle fournit une mesure algébrique de « dimension » qui correspond souvent à la dimension géométrique de Spec de l'anneau.