Noetherscher Ring/Maximales Ideal/Kotangentialraum direkt und über lokalen Ring/Fakt
Es sei ein noetherscher kommutativer Ring und ein maximales Ideal. Es sei die Lokalisierung an mit dem maximalen Ideal .
Dann ist
Insbesondere ist die Einbettungsdimension der Lokalisierung gleich .