Kommutative Ringtheorie/Krulldimension/Definition

Krulldimension

Die Dimension (oder Krulldimension) eines kommutativen Ringes $R$ ist das Supremum über alle Längen von Primidealketten in $R$. Sie wird mit $\dim \left(R\right)$ bezeichnet.