Given a module over a commutative unit ring
and a filtration
(1)
|
of ideals of , the Rees module of
with respect to
is
(2)
|
which is the set of all formal polynomials in the variable in which the coefficient of
is of the form
, where
and
. It is a graded module
over the Rees ring
.
The subscript
distinguishes it from the so-called extended Rees module, defined as
(3)
|
where
for all
.
This module includes all polynomials containing negative powers of
.
If is a proper
ideal of
,
the notation
(or
) indicates the (extended) Rees
module of
with respect to the
-adic
filtration.