Definition 15.69.1. Let $R$ be a ring. Let $K$ be an object of $D(R)$. We say $K$ has *finite injective dimension* if $K$ can be represented by a finite complex of injective $R$-modules. We say $K$ has *injective-amplitude in $[a, b]$* if $K$ is isomorphic to a complex

with $I^ i$ an injective $R$-module for all $i \in \mathbf{Z}$.

## Comments (0)