Krulldimension/Dimension des Polynomringes/Noetherscher Ring/Fakt/Beweis

Beweis

Zu einem Primideal ist auch das Erweiterungsideal prim. Somit erhält man aus einer Primidealkette in direkt eine Primidealkette im Poynomring .