Lemma 15.87.4 (0CQE)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 1: Preliminaries
Chapter 15: More on Algebra
Section 15.87: Rlim of modules
Lemma 15.87.4 (cite)

previous lemma
next lemma

numberstags

history
statistics
4 tags refer to this tag

Lemma 15.87.4. With notation as in Lemma 15.87.3 the long exact cohomology sequence associated to the distinguished triangle breaks up into short exact sequences

\[ 0 \to R^1\mathop{\mathrm{lim}}\nolimits _ n H^{p - 1}(K_ n^\bullet ) \to H^ p(R\mathop{\mathrm{lim}}\nolimits K) \to \mathop{\mathrm{lim}}\nolimits _ n H^ p(K_ n^\bullet ) \to 0 \]

of $A$-modules.

Proof. The proof is exactly the same as the proof of Lemma 15.86.8 using Lemma 15.87.1 in stead of Lemma 15.86.1. $\square$

Comments (0)

There are also:

2 comment(s) on Section 15.87: Rlim of modules

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