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

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

## Comments (0)

There are also: