Divisor on an algebraic curve
= 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).
$$