Das Ideal a {\displaystyle {}{\mathfrak {a}}} ist endlich erzeugt und daher ist die Rees-Algebra als Algebra endlich erzeugt über R {\displaystyle {}R} . Somit ist sie nach Fakt noethersch.
