Divisor (algebraic geometry)

In geometry a divisor on an algebraic variety is a formal sum (with integer coefficients) of subvarieties.

An effective divisor is a sum with non-negative integer coefficients.

Divisors on a curve
On an algebraic curve, a divisor is a formal sum of points


 * $$D = \sum_i n_i P_i \,$$

with degree


 * $$\deg D = \sum_i n_i .\,$$

The support of a divisor is the set of points with non-zero coefficients in the sum.

The divisor of a function f, denoted $$(f)$$ or $$\mathop{\mathrm{div}} f$$, is supported on the poles and zeroes of the function, with coefficients the degree of the pole or zero, with positive sign for zeroes and negative sign for poles. The degree of the divisor of a function is zero.