2.II.20G

Number Fields
Part II, 2005

Show that ε=(3+7)/(37)\varepsilon=(3+\sqrt{7}) /(3-\sqrt{7}) is a unit in k=Q(7)k=\mathbb{Q}(\sqrt{7}). Show further that 2 is the square of the principal ideal in kk generated by 3+73+\sqrt{7}.

Assuming that the Minkowski constant for kk is 12\frac{1}{2}, deduce that kk has class number 1 .

Assuming further that ε\varepsilon is the fundamental unit in kk, show that the complete solution in integers x,yx, y of the equation x27y2=2x^{2}-7 y^{2}=2 is given by

x+7y=±εn(3+7)(n=0,±1,±2,).x+\sqrt{7} y=\pm \varepsilon^{n}(3+\sqrt{7}) \quad(n=0, \pm 1, \pm 2, \ldots) .

Calculate the particular solution in positive integers x,yx, y when n=1n=1