Definition 15.59.1. Let $R$ be a ring. A complex $K^\bullet$ is called K-flat if for every acyclic complex $M^\bullet$ the total complex $\text{Tot}(M^\bullet \otimes _ R K^\bullet )$ is acyclic.

There are also:

• 4 comment(s) on Section 15.59: Derived tensor product

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).