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

Beweis

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

Zur bewiesenen Aussage