Noetherscher lokaler Ring/Einbettungsdimension/Dimension/Fakt
In einem
noetherschen
lokalen Ring
R
{\displaystyle {}R}
gilt
dim
(
R
)
≤
embdim
(
R
)
.
{\displaystyle {}\operatorname {dim} {\left(R\right)}\leq \operatorname {embdim} \,(R)\,.}
Zum Beweis
,
Alternativen Beweis erstellen
gilt
