For a smooth irreducible algebraic curve, send a divisor on an algebraic curve to the line bundle associated to a divisor defined locally by . A nonzero rational section of a line bundle gives its inverse construction, and changing that section changes its divisor by a principal divisor. Thus the divisor class group is the Picard group. The quotient of the sheaf of nonzero rational functions on an irreducible variety by the sheaf of units of the structure sheaf has stalk at each closed point, via the discrete valuation. Its global sections are finite sums of points. The corresponding long exact sequence in sheaf cohomology, and the vanishing for the rational-function sheaf, identify both groups with .
For an elliptic curve over an algebraically closed field, via . This group is infinite and divisible by any prime different from the characteristic, since has nonzero derivative and is a surjective morphism of projective curves. A finitely generated abelian group divisible by has zero free rank and is finite. Hence , and therefore , cannot be finitely generated. This proof applies to countable algebraically closed fields as well.

Articles by others on the same topic (0)

There are currently no matching articles.