Krullscher Hauptidealsatz

Der Krullsche Hauptidealsatz ist ein zentraler Satz der Dimensionstheorie von noetherschen Ringen in der kommutativen Algebra, der nach Wolfgang Krull benannt ist und von ihm 1928 veröffentlicht wurde.

Formulierung

Sei $R$ ein noetherscher Ring, $x\in R\setminus R^{\ast }$ eine Nichteinheit und ${\mathfrak {p}}$ minimal unter den Primidealen, die das Hauptideal $Rx$ enthalten.

Dann ist die Höhe des Primideals ${\mathfrak {p}}$ höchstens $1$.

Verallgemeinerung auf beliebige Ideale

Die Aussage des Krullschen Hauptidealsatzes lässt sich von Hauptidealen auf beliebige Ideale verallgemeinern. Sie wird dann auch als Krullscher Höhensatz bezeichnet.

Sei $R$ ein noetherscher Ring, $I\subsetneq R$ ein echtes Ideal, welches von $m$ Elementen erzeugt wird und ${\mathfrak {p}}$ minimal unter den Primidealen, die das Ideal $I$ enthalten. Dann ist die Höhe des Primideals ${\mathfrak {p}}$ höchstens $m$.

Bedeutung für die algebraische Geometrie

Da man die Dimension einer affinen algebraischen Varietät als Krulldimension des zugehörigen Koordinatenrings erhält, liefert der Krullsche Hauptidealsatz direkt Abschätzungen über Dimensionen bestimmter Varietäten. Man erhält so etwa die folgende Aussage:

Sind $V,W\subseteq \mathbb {P} ^{n}(K)$ irreduzible projektive Varietäten im $n$-dimensionalen projektiven Raum über dem Körper $K$. Dann erhält man für eine irreduzible Komponente $Z\subseteq V\cap W$ die Abschätzung

$\dim(Z)\geq \dim(V)+\dim(W)-n$.

Literatur

• Wolfgang Krull: Primidealketten in allgemeinen Ringbereichen. In: Sitzungsbericht Heidelberger Akademie der Wissenschaften. 7. Abhandlung, 1928. 
• Ernst Kunz: Einführung in die algebraische Geometrie (= Aufbaukurs Mathematik). 14. Auflage. Vieweg, Braunschweig/Wiesbaden 1997, ISBN 978-3-528-07287-2, VI.Dimensionstheorie, §5, doi:10.1007/978-3-322-80313-9. 
• David Eisenbud: Commutative Algebra. with a View Toward Algebraic Geometry (= Graduate Texts in Mathematics. Nr. 150). Springer, New York 1995, ISBN 0-387-94268-8, 10. The Principal Ideal Theorem an Systems of Parameters. 
• Michael Francis Atiyah, Ian Grant Macdonald: Introduction to Commutative Algebra. Westview Press, New York 1969, ISBN 0-201-00361-9, 11 Dimension Theory.