Lemma 15.66.19. Let $R$ be a ring of finite global dimension $d$. Then

1. every module has tor dimension $\leq d$,

2. a complex of $R$-modules $K^\bullet$ with $H^ i(K^\bullet ) \not= 0$ only if $i \in [a, b]$ has tor amplitude in $[a - d, b]$, and

3. a complex of $R$-modules $K^\bullet$ has finite tor dimension if and only if $K^\bullet \in D^ b(R)$.

Proof. The assumption on $R$ means that every module has a finite projective resolution of length at most $d$, in particular every module has tor dimension $\leq d$. The second statement follows from Lemma 15.66.9 and the definitions. The third statement is a rephrasing of the second. $\square$

Comment #4012 by jojo on

"The assumption on $R$ means that every module has a finite projective resolution of length at most $d$, in particular every module has finite tor dimension."

you should say

""The assumption on $R$ means that every module has a finite projective resolution of length at most $d$, in particular every module has tor dimension less $\leq d$."

since this is what you are proving ?

There are also:

• 2 comment(s) on Section 15.66: Tor dimension

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