Definition 15.68.1. Let $R$ be a ring. Let $K$ be an object of $D(R)$. We say $K$ has finite projective dimension if $K$ can be represented by a bounded complex of projective modules. We say $K$ has projective-amplitude in $[a, b]$ if $K$ is quasi-isomorphic to a complex
\[ \ldots \to 0 \to P^ a \to P^{a + 1} \to \ldots \to P^{b - 1} \to P^ b \to 0 \to \ldots \]
where $P^ i$ is a projective $R$-module for all $i \in \mathbf{Z}$.
Comments (0)
There are also: