K 理论与循环同调中的切除阻碍

设 $f:A \to B$ 为未必含幺环的环同态，且 $I\triangleleft A$ 为被 f 同构地映到 B 的某个理想的理想。K 理论中的切除阻碍是相对 K 群之间的映射 $K_*(A:I) \to K_*(B:f(I))$ 不为同构的失效；它由双相对群 $K_*(A,B:I)$ 度量。我们证明这些群在有理数上与循环同调的相应双相对群相差一个维移是同构的。在 A 与 B 均为 $\Q$-代数这一特殊情形下，我们得到了整同构。