Lemma 31.13.14 (01WW)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Lemma 31.13.14. Let $f : S' \to S$ be a morphism of schemes. Let $D_1$, $D_2$ be effective Cartier divisors on $S$. If the pullbacks of $D_1$ and $D_2$ are defined then the pullback of $D = D_1 + D_2$ is defined and $f^*D = f^*D_1 + f^*D_2$.

Proof. Omitted. $\square$

Comments (0)

There are also:

3 comment(s) on Section 31.13: Effective Cartier divisors

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

Comments (0)

Post a comment