Noetherscher lokaler Ring/Einbettungsdimension/Dimension/Fakt/Beweis

Beweis

Die Einbettungsdimension von ist die minimale Erzeugendenzahl des maximalen Ideals . Es sei also

Dann ist nach Fakt die Höhe von höchstens gleich , und diese ist die Dimension von .