Lemma 62.15.1. Let $k$ be an algebraically closed field. Let $X$ be a finite type separated scheme over $k$. Let $\Lambda$ be a Noetherian ring. Let $K$ be an object of $D^+_{tors, c}(X_{\acute{e}tale}, \Lambda )$ or of $D_ c(X_{\acute{e}tale}, \Lambda )$ in case $\Lambda$ is torsion. Then $H^ i_ c(X, K)$ is a finite $\Lambda$-module for all $i \in \mathbf{Z}$.

Proof. Immediate consequence of Theorem 62.14.5 and the definition of compactly supported cohomology in Section 62.12. $\square$

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