Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 113 2 a Solution 2026-09-28
A Weil divisor on is a finite formal sumover integral codimension-one closed subschemes . Since is regular in codimension one, the local ring at the generic point of each is a discrete valuation ring. A nonzero rational function therefore defines the principal divisor . The divisor class group is
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 113 2 c Solution 2026-09-28
The assertion is false. For , take the affine hypersurfaceIt is an integral scheme, and its only possible singular point is the origin, which has codimension two. Hence it is regular in codimension one; as a hypersurface it satisfies Serre's condition , so the Serre criterion for normality also makes it a normal scheme. The Divisor class group of an A-type surface singularity isgenerated by . Thus a closed affine subscheme satisfying can have nonzero torsion in its class group.