Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ii/paper-2/20g/solution

Since , the ring of integers is with discriminant . Write and . Reduction of modulo two gives a double root, and modulo five gives the roots . Thus , , and . Directly , since . The element belongs to and and has field norm ten, so equality of ideal norms gives
The Minkowski bound is , so every ideal class contains an integral ideal of ideal norm at most five. Three is inert and gives no prime ideal of ideal norm three; ideals of ideal norm four are , principal. Thus the class group is generated by , and the displayed relations make every class either trivial or . The class is nontrivial: a generator would have field norm , but would give or , neither a quadratic residue. Hence the class number is two.
The unit has field norm . To show it is fundamental, suppose is a positive real embedding of a unit . Its conjugate is , so is a positive integer less than two. Thus , and forces . Only is greater than one, contrary to the strict inequality. Therefore no smaller unit exceeds one. Multiplying any positive unit by a suitable power of puts it in , proving that all units are .
An element of field norm has principal ideal or by prime ideal factorization. The first is generated by ; the second by , of field norm . Two generators of the same principal ideal differ by a unit. Therefore all, and only, the integer solutions are
The two displayed signs are independent; multiplication by a norm-minus-one unit exchanges the two field norm signs.

New to topics? Read the docs here!