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