Krulls Satz Über Hauptideale

Ein Satz der Dimensionstheorie, der besagt, daß in einem noetherschen Ring R jedes minimale Primideal über einem principalen Ideal (f) Höhe höchstens eins besitzt; äquivalent liegt die Höhe eines minimalen Primideals über einem Ideal, das von r Elementen erzeugt wird, bei höchstens r (insbesondere liefert der principale Fall die Schranke 1).