Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2011/ii/paper-4/20f/iii/solution

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 , so
This 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. Hence
which proves that is fundamental, using no continued fractions.

New to topics? Read the docs here!