Definition 31.26.3. Let $X$ be a locally Noetherian integral scheme. Let $f \in R(X)^*$. For every prime divisor $Z \subset X$ we define the order of vanishing of $f$ along $Z$ as the integer

$\text{ord}_ Z(f) = \text{ord}_{\mathcal{O}_{X, \xi }}(f)$

where the right hand side is the notion of Algebra, Definition 10.121.2 and $\xi$ is the generic point of $Z$.

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).