Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-113/2/b/solution

The scheme is Noetherian, integral, separated, and regular. Every open subscheme inherits these properties, so satisfies . Because has dimension one, it has codimension two in and contains no prime Weil divisor. The localization sequence for the divisor class group therefore makes restriction an isomorphism
The hyperplane divisor generates the class group of projective space, so

New to topics? Read the docs here!