Definition 21.17.14 (08FF)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 21: Cohomology on Sites
Section 21.17: Flat resolutions
Definition 21.17.14 (cite)

previous definition
next lemma

numberstags

history
statistics

Definition 21.17.14. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $\mathcal{F}$ , $\mathcal{G}$ be $\mathcal{O}$ -modules. The Tor's of $\mathcal{F}$ and $\mathcal{G}$ are defined by the formula

$\text{Tor}_ p^\mathcal {O}(\mathcal{F}, \mathcal{G}) = H^{-p}(\mathcal{F} \otimes _\mathcal {O}^\mathbf {L} \mathcal{G})$

with derived tensor product as defined above.

Comments (2)

Comment #2106 by Kestutis Cesnavicius on July 08, 2016 at 02:44

"are define" ---> "are defined"

Comment #2132 by Johan on July 21, 2016 at 15:17

OK, thanks, fixed here.

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).

Comments (2)

Post a comment