Lemma 15.69.5 (0A5V)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 15: More on Algebra
Section 15.69: Injective dimension
Lemma 15.69.5 (cite)

previous example
next lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 15.69.5. Let $R$ be a ring. Let $K \in D(R)$ .

If $K$ is in $D^ b(R)$ and $H^ i(K)$ has finite injective dimension for all $i$ , then $K$ has finite injective dimension.
If $K^\bullet$ represents $K$ , is a bounded complex of $R$ -modules, and $K^ i$ has finite injective dimension for all $i$ , then $K$ has finite injective dimension.

Proof. Omitted. Hint: Apply the spectral sequences of Derived Categories, Lemma 13.21.3 to the functor $F = \mathop{\mathrm{Hom}}\nolimits _ R(N, -)$ to get a computation of $\mathop{\mathrm{Ext}}\nolimits ^ i_ A(N, K)$ and use the criterion of Lemma 15.69.2. $\square$

Comments (0)

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 (0)

Post a comment