Noetherscher Ring/Maximales Ideal/Kotangentialraum direkt und über lokalen Ring/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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 .