加载中…
Let be a noetherian commutative ring, and a complex of flat -modules. We prove that if is acyclic for every , then is acyclic, and is -flat. It follows that if is a (possibly unbounded) complex of flat -modules and $\kappa(\mathfrak p)\otimes_R \mathbb F\mathfrak p\in\Spec R\mathbb G\otimes_R^\bullet\mathbb FR\mathbb G$. If, moreover, is a complex of projective -modules, then it is null-homotopic (follows from Neeman’s theorem).

生成讲解博客的中文版本

生成AI智能校验的中文版本