Noetherscher lokaler Ring/Einbettungsdimension/Dimension/Fakt

In einem noetherschen lokalen Ring ${}R$ gilt

${}\operatorname {dim} {\left(R\right)}\leq \operatorname {embdim} \,(R)\,.$

Zum Beweis, Alternativen Beweis erstellen