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).

Prinzip

Eine einzelne Gleichung kann in einem noetherschen Umfeld keine Komponenten von Kodimension größer als eins ausschneiden: die Anzahl der Erzeuger eines Ideals liefert eine obere Schranke für die Kodimension seiner minimalen Primkomponenten.

Demonstration

Im Polynomring k[x,y,z] definiert das principale Ideal (f) eine Hyperebene (Hypersurface), deren irreduzible Komponenten Kodimension eins haben; die minimalen Primideale über (f) entsprechen irreduziblen Faktoren und haben Höhe ≤ 1, was den Satz veranschaulicht.

Fehlanwendung

Die Annahme, die Höhenabschätzung gelte ohne die noethersche Voraussetzung oder für Ideale, die nicht von der angegebenen Anzahl von Elementen erzeugt werden, ist falsch; in nicht‑noetherschen Ringen oder für Ideale, die mehr Erzeuger benötigen, kann die Schranke versagen.

Konsequenz

Gibt grundlegende Kontrolle über Dimension und Kodimension in der kommutativen Algebra, wird verwendet, um Eigenschaften von Divisoren und Hypersurfaces herzuleiten, und bildet die Basis von Argumenten, in denen eine einzelne Gleichung Kodimension‑eins‑Untermengen erzeugt.

Umkehrung

Die Umkehrung—jedes Primideal der Höhe ≤ 1 entspreche einem minimalen Primideal über einem principallen Ideal—is im Allgemeinen falsch; obwohl viele Höhen‑eins‑Primideale in speziellen Ringklassen principal sind (z. B. UFDs), liefert der Satz nur eine obere Schranke und keine Charakterisierung.

Abgrenzung

Gilt für noethersche Ringe und betrifft minimale Primideale über Idealen, die durch eine gegebene Anzahl von Elementen erzeugt sind; schließt nicht‑noethersche Ringe aus und behauptet nicht die Existenz von Primidealen einer bestimmten Höhe, sondern nur obere Schranken für Primideale über gegebene Erzeuger.

Semantische Spannung

Es gibt Spannung zwischen Krulls Hauptidealtheorem (einer Schranke für Höhen) und feineren Aussagen wie Cohen–Macaulay‑Eigenschaften oder eindeutiger Faktorisierung, die stärkere strukturelle Informationen liefern; die Höhenabschätzung darf nicht überinterpretiert werden.

Synthese

Krulls Satz über Hauptideale beschränkt, wie Gleichungen die Dimension in noetherschen Ringen reduzieren: Eine principale Gleichung kann nur minimale Komponenten der Kodimension eins erzeugen und liefert damit eine fundamentale Schranke in der Dimensionstheorie und bei der Untersuchung von Hypersurfaces.