Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2011/ii/paper-4/20f/iii/solution
Past exam of the mathematics course of the University of Cambridge 2011 ii Paper 4 20F iii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Since , the ring of integers is . A unit has norm . Norm minus one is impossible: it would give , whereas the squares modulo seven are . The element has norm one and exceeds one.
Suppose a positive unit in the chosen real embedding satisfies . Its conjugate is , soThis expression is strictly increasing in , and at it equals three. Thus the integer is one or two. But then is eight or twenty-nine, neither a square. Therefore there is no positive unit strictly between one and .
For any positive unit , choose an integer such that . The remaining unit must be one, so . Multiplication by minus one handles negative units. Hencewhich proves that is fundamental, using no continued fractions.
New to topics? Read the docs here!