In commutative algebra, the Rees algebra of an ideal I in a commutative ring R is defined to be
R[It]=⨁n=0∞Intn⊆R[t].{\displaystyle R[It]=\bigoplus _{n=0}^{\infty }I^{n}t^{n}\subseteq R[t].}
The extended Rees algebra of I (which some authors refer to as the Rees algebra of I) is defined as
R[It,t−1]=⨁n=−∞∞Intn⊆R[t,t−1].{\displaystyle R[It,t^{-1}]=\bigoplus _{n=-\infty }^{\infty }I^{n}t^{n}\subseteq R[t,t^{-1}].}