# Rees algebra

In commutative algebra, the Rees algebra of an ideal ${\displaystyle I}$ in a ring ${\displaystyle R}$ is defined to be
${\displaystyle \oplus _{n=0}^{\infty }I^{n}t^{n}=R[It]\subset R[t].}$