Es sei R {\displaystyle {}R} ein noetherscher lokaler Ring und a ⊆ m {\displaystyle {}{\mathfrak {a}}\subseteq {\mathfrak {m}}} ein Ideal.
Dann ist die kanonische Abbildung
injektiv.
ein
noetherscher
lokaler Ring
und
ein
Ideal.
