Divisor class group of the three-dimensional affine quadric cone

ID: divisor-class-group-of-the-three-dimensional-affine-quadric-cone

Let over a field . Its divisor class group is infinite cyclic. Inverting gives
a unique factorization domain. The Nagata theorem for divisor class groups therefore generates by the two prime Weil divisors and above .
At either generic point, the defining equation makes a uniformizer times a unit, so . To prove that this is the only relation, a rational function with divisor supported on restricts to a unit of . Every such unit is with and . Its divisor is , giving
Thus either ruling plane generates, with the other representing its negative. Computing the localized unit group rules out an additional torsion relation.

New to topics? Read the docs here!