Ganze Ringerweiterung/Spektrumsabbildung/Dimensionsgleichheit/Fakt/Beweis

Beweis

Zu einer Primidealkette aus ist die Kette nach Fakt ebenfalls echt, so dass

ist. Zu einer Primidealkette aus gibt es zunächst nach Fakt ein Primideal aus mit . Nach Fakt kann man dies sukzessive zu einer Kette mit fortsetzen. Daher ist auch