Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 113 2 a Solution 2026-09-28
PutSinceis an integral domain, is a prime ideal. Moreover and , so its height of an ideal is one. Therefore is a prime Weil divisor.
Localizing at eliminates and givesa unique factorization domain. The Nagata theorem for divisor class groups says that is generated by the height-one primes containing . Sincethese are and . Both occur with multiplicity one in the principal divisorThe units of are exactly with and . Consequently the only relation supplied by localization is , andThis is the divisor class group of the three-dimensional affine quadric cone.