关于 $R[X,1/X]$ graded $R$-子代数上的射影模

设 $R$ 为维数为 $d$ 的 Noether 环，$A$ 为 $R[X,1/X]$ 的一个 graded $R$-子代数。设 $P$ 为 $A$ 上秩为 $r \geq \max\{d+1,2\}$ 的射影模，$\v=(a,p)$ 为 $A \oplus P$ 中的一个 unimodular 元素。我们找到一个初等自同构 $\tau$，使得 $\tau (\v) = (1, 0)$。因此，我们获得了 $P$ 的可消去性。我们显示 $P$ 可以分离出秩为 1 的自由余项。当 $A = R[X]$ 或 $R[X, 1/ X]$ 时，结果是众所周知的，这归功于各种作者的贡献。