Lokaler Ring/Einbettungsdimension ist Dimension des Kotangentialraumes/Fakt

Aus Wikiversity

Es sei ein noetherscher lokaler Ring.

Dann ist die Einbettungsdimension gleich