Lemma 59.91.9. Let $f : X \to Y$ be a finite morphism of schemes. Then cohomology commutes with base change for $f$.
Proper base change for étale cohomology holds for finite morphisms.
Proof. Observe that a finite morphism is proper, see Morphisms, Lemma 29.44.11. Moreover, the base change of a finite morphism is finite, see Morphisms, Lemma 29.44.6. Thus the result follows from Lemma 59.91.6 combined with Proposition 59.55.2. $\square$
Comments (1)
Comment #986 by Johan Commelin on
There are also: