Kommutativer Ring/Primideal/Höhe/Lokaler Ring/Fakt

Es sei ${}R$ ein kommutativer Ring und ${}{\mathfrak {p}}$ ein Primideal.

Dann ist die Höhe von ${}{\mathfrak {p}}$ gleich der Dimension der Lokalisierung ${}R_{\mathfrak {p}}$ .