Lemma 31.13.7. The sum of two effective Cartier divisors is an effective Cartier divisor.
Proof. Omitted. Locally $f_1, f_2 \in A$ are nonzerodivisors, then also $f_1f_2 \in A$ is a nonzerodivisor. $\square$
Lemma 31.13.7. The sum of two effective Cartier divisors is an effective Cartier divisor.
Proof. Omitted. Locally $f_1, f_2 \in A$ are nonzerodivisors, then also $f_1f_2 \in A$ is a nonzerodivisor. $\square$
Comments (0)
There are also: