Lemma 31.13.9 (07ZV)—The Stacks project

Processing math: 100%

Table of contents
Part 2: Schemes
Chapter 31: Divisors
Section 31.13: Effective Cartier divisors
Lemma 31.13.9 (cite)

previous lemma
next lemma

numberstags

history
statistics
2 tags refer to this tag

Lemma 31.13.9. Let $X$ be a scheme. Let $Z, Y$ be two closed subschemes of $X$ with ideal sheaves $\mathcal{I}$ and $\mathcal{J}$ . If $\mathcal{I}\mathcal{J}$ defines an effective Cartier divisor $D \subset X$ , then $Z$ and $Y$ are effective Cartier divisors and $D = Z + Y$ .

Proof. Applying Lemma 31.13.2 we obtain the following algebra situation: $A$ is a ring, $I, J \subset A$ ideals and $f \in A$ a nonzerodivisor such that $IJ = (f)$ . Thus the result follows from Algebra, Lemma 10.120.16. $\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