Lemma 59.96.4. Let $f : X \to Y$ be a proper morphism of schemes. Let $n \geq 1$ be an integer. Then the functor

$Rf_* : D(X_{\acute{e}tale}, \mathbf{Z}/n\mathbf{Z}) \longrightarrow D(Y_{\acute{e}tale}, \mathbf{Z}/n\mathbf{Z})$

commutes with direct sums.

Proof. It is enough to prove this when $Y$ is quasi-compact. By Morphisms, Lemma 29.28.5 we see that the dimension of the fibres of $f : X \to Y$ is bounded. Thus Lemma 59.92.2 implies that $\text{cd}(f) < \infty$. Hence the result by Lemma 59.96.3. $\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).