Lemma 59.71.10. Let $\Lambda \to \Lambda '$ be a homomorphism of Noetherian rings. Let $X$ be a scheme. Let $\mathcal{F}$ be a constructible sheaf of $\Lambda$-modules on $X_{\acute{e}tale}$. Then $\mathcal{F} \otimes _{\underline{\Lambda }} \underline{\Lambda '}$ is a constructible sheaf of $\Lambda '$-modules.

Proof. Omitted. Hint: affine locally you can use the same stratification. $\square$

There are also:

• 2 comment(s) on Section 59.71: Constructible sheaves

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