Rees 模

给定一个 模 在交换单位环 上，以及一个 滤链

(1)

的 理想 ， 关于 的 Rees 模是

(2)

它是变量 中所有形式多项式的集合，其中 的系数形式为 ，其中 且 。它是 分次模 在 Rees 环 上。

下标 将其与所谓的扩展 Rees 模区分开来，定义为

(3)

其中 对于所有 。此模包含所有包含 的负幂的多项式。

如果 是 的一个 真理想，则符号 (或 ) 表示 关于 -adic 滤链的（扩展）Rees 模。