Kommutativer noetherscher Ring/Hauptidealsatz/Allgemein/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Allgemeiner Krullscher Hauptidealsatz

Es sei ein kommutativer noetherscher Ring und .

Dann besitzt jedes Primideal , das oberhalb von liegt und minimal mit dieser Eigenschaft ist, eine Höhe .

Zum Beweis, Alternativen Beweis erstellen