Definition 71.6.6. Let S be a scheme. Let X be an algebraic space over S. Given effective Cartier divisors D_1, D_2 on X we set D = D_1 + D_2 equal to the closed subspace of X corresponding to the quasi-coherent sheaf of ideals \mathcal{I}_{D_1}\mathcal{I}_{D_2} \subset \mathcal{O}_ S. We call this the sum of the effective Cartier divisors D_1 and D_2.
Comments (0)