Definition 31.27.1. Let $X$ be a locally Noetherian integral scheme. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Let $s \in \Gamma (X, \mathcal{K}_ X(\mathcal{L}))$ be a regular meromorphic section of $\mathcal{L}$. For every prime divisor $Z \subset X$ we define the *order of vanishing of $s$ along $Z$* as the integer

where the right hand side is the notion of Algebra, Definition 10.121.2, $\xi \in Z$ is the generic point, and $s_\xi \in \mathcal{L}_\xi $ is a generator.

## Comments (0)