Lokaler Ring/Einbettungsdimension ist Dimension des Kotangentialraumes/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Dies folgt sofort aus dem Lemma von Nakayama angewandt auf das Ideal und den endlich erzeugten -Modul .