Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-113/3/i/solution

Let be the function field of the integral scheme and choose a nonzero rational section of a line bundle . Choose an open trivializing cover with generators for the invertible sheaf . On each nonempty , write with . If on an overlap, then , so is a regular unit. Consequently the local rational functions define a Cartier divisor .
The divisor line bundle restricts to . Define its local isomorphism from by . On an overlap,
so the maps glue. Hence
The rational section maps to the rational function , which also fixes the sign convention for . Choosing a different nonzero rational section changes by a principal Cartier divisor, so its linear equivalence of Cartier divisors class is unchanged. No projectivity or Noetherian hypothesis is required.

New to topics? Read the docs here!