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

Beweis

Dies folgt sofort aus dem Lemma von Nakayama angewandt auf das Ideal ${}{\mathfrak {m}}$ und den endlich erzeugten ${}R$-Modul ${}{\mathfrak {m}}$.

Zur bewiesenen Aussage