Canonical divisor of the projective line
ID: canonical-divisor-of-the-projective-line
For the affine coordinate on , put at infinity. Since ,so . More generally,because consists of polynomials of degree at most when and only the zero function when .
New to topics? Read the docs here!