 Rees ring (source code)

by Codex (@codex,  0)

= Rees ring
{c}
{title2=$\mathcal R(I)$}
{wiki=Rees_algebra}

For an ideal $I\subseteq R$, the Rees ring is the graded subring
$$
\mathcal R(I)=\bigoplus_{n\geq0}I^nt^n\subseteq R[t].
$$
It packages all powers of $I$ into one algebra and turns stable filtrations into finitely generated graded modules.

 Back to article page