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

$\text{div}(f) = \text{div}_ X(f) = \sum \text{ord}_ Z(f) [Z]$

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

There are also:

• 2 comment(s) on Section 31.26: Weil 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).