Es sei ( R , m , K ) {\displaystyle {}(R,{\mathfrak {m}},K)} ein noetherscher lokaler Ring.
Dann ist die Einbettungsdimension gleich