Zu einem Ideal a ⊆ R {\displaystyle {}{\mathfrak {a}}\subseteq R} in einem noetherschen Ring R {\displaystyle {}R}
ist die Rees-Algebra ⨁ n ∈ N a n {\displaystyle {}\bigoplus _{n\in \mathbb {N} }{\mathfrak {a}}^{n}} ebenfalls noethersch.