Noetherscher Ring/Ideal/Rees-Algebra/Noethersch/Fakt/Beweis

Beweis

Das Ideal ist endlich erzeugt und daher ist die Rees-Algebra als Algebra endlich erzeugt über . Somit ist sie nach Fakt noethersch.