Zum Inhalt springen

Lokaler Ring/Einbettungsdimension ist Dimension des Kotangentialraumes/Fakt/Beweis

Aus Wikiversity
Beweis

Dies folgt sofort aus dem Lemma von Nakayama angewandt auf das Ideal und den endlich erzeugten -Modul .