Definition 31.26.2. Let $X$ be a locally Noetherian integral scheme.

1. A prime divisor is an integral closed subscheme $Z \subset X$ of codimension $1$.

2. A Weil divisor is a formal sum $D = \sum n_ Z Z$ where the sum is over prime divisors of $X$ and the collection $\{ Z \mid n_ Z \not= 0\}$ is locally finite (Topology, Definition 5.28.4).

The group of all Weil divisors on $X$ is denoted $\text{Div}(X)$.

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