Kommutativer Ring/Ideal/Rees-Algebra/Definition

Rees-Algebra

Zu einem Ideal  $𝔞\subseteq R$  in einem kommutativen Ring $R$ nennt man die $\mathbb{N}$-graduierte $R$-Algebra

$R\oplus 𝔞\oplus {𝔞}^2\oplus {𝔞}^3\oplus \dots =\underset{n\in \mathbb{N}}{⨁}{𝔞}^n$

die Rees-Algebra zum Ideal $𝔞$.