Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 113 / 3 / a / Solution

A standard sufficient hypothesis is that $X$ is both a Noetherian scheme and an integral scheme, and is regular in codimension one; in particular, a Noetherian normal scheme qualifies. A Weil divisor is then a finite sumover integral codimension-one closed subschemes $Z$. The local ring at the generic point of each $Z$ is a discrete valuation ring, so every nonzero rational function $g\in k(X{)}^{\times }$ has a principal divisorThe divisor class group is