Lokaler Ring/Einbettungsdimension ist Dimension des Kotangentialraumes/Fakt

Es sei ein noetherscher lokaler Ring.

Dann ist die Einbettungsdimension gleich