Lemma 15.29.3. Let $R$ be a ring. Let $f_1, \ldots , f_ r \in R$. Let $M$ be an $R$-module. Let $R \to S$ be a ring map, denote $g_1, \ldots , g_ r \in S$ the images of $f_1, \ldots , f_ r$, and set $N = M \otimes _ R S$. The extended alternating Čech complex constructed using $S$, $g_1, \ldots , g_ r$, and $N$ is the tensor product of the extended alternating Čech complex of $M$ with $S$ over $R$.

Proof. Omitted. $\square$

There are also:

• 1 comment(s) on Section 15.29: The extended alternating Čech complex

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