Divisor on an algebraic curve (source code)

= Divisor on an algebraic curve

= Divisors on an algebraic curve
{synonym}

A divisor is a finite formal integer combination of closed points. For a divisor $D$,
$$
L(D)=\{f\in k(X)^\times:(f)+D\geq0\}\cup\{0\},
\qquad \ell(D)=\dim_kL(D).
$$