Solution

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

Put
Since
is 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 gives
a unique factorization domain. The Nagata theorem for divisor class groups says that is generated by the height-one primes containing . Since
these are and . Both occur with multiplicity one in the principal divisor
The units of are exactly with and . Consequently the only relation supplied by localization is , and
This is the divisor class group of the three-dimensional affine quadric cone.

New to topics? Read the docs here!