Definition 72.6.7. Let $S$ be a scheme. Let $X$ be a locally Noetherian integral algebraic space over $S$. Let $f \in R(X)^*$. The *principal Weil divisor associated to $f$* is the Weil divisor

where the sum is over prime divisors and $\text{ord}_ Z(f)$ is as in Definition 72.6.4. This makes sense by Lemma 72.6.6.

## Comments (0)