Kommutativer noetherscher Ring/Hauptidealsatz/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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