1
$\begingroup$

Prove that the fundamental unit of the real quadratic field $\mathbb{Q}(\sqrt{m^2 - 1})$ is $m+\sqrt{m^2 - 1}$ if $m^2-1$ is square free

I tried taking $a + b\sqrt{m^2-1}$ as an arbitrary unit and multiplied it with another unit $c + d\sqrt{m^2-1}$ to get some equations to work with, but it is going nowhere.

Any help will be appreciated.

$\endgroup$
1
  • $\begingroup$ First of all considering the norm it's easy to see that it is a unit at all. $\endgroup$ Apr 29, 2021 at 14:32

2 Answers 2

2
$\begingroup$

Assume that $m \geq 2$.

If $a + b\sqrt{m^2 - 1}$ is a unit (with $a, b\in \Bbb Z_{> 0}$), then we have $a^2 - (m^2 - 1)b^2 = \pm 1$.

It is then easy to see that $a \geq m$, because $a^2 = (m^2 - 1)b^2 \pm 1\geq m^2 - 2$.

Therefore, $(a, b) = (m, 1)$ is the smallest solution to the Pell equation, and hence the fundamental unit of the order $\Bbb Z[\sqrt{m^2 - 1}]$ (which is equal to the ring of integers of $\Bbb Q(\sqrt{m^2 - 1})$ if $m^2 - 1$ is square free).

$\endgroup$
2
  • $\begingroup$ It's not true that $b \in \mathbb Z$ in general. See my answer. $\endgroup$ Apr 29, 2021 at 14:43
  • $\begingroup$ @principal-ideal-domain Of course the question only makes sense to ask for the fundamental unit of the (not necessarily maximal) order $\Bbb Z[\sqrt{m^2 - 1}]$. $\endgroup$
    – WhatsUp
    Apr 29, 2021 at 14:45
2
$\begingroup$

It's easy to see that $\varepsilon = m +\sqrt{m^2-1}$ is a unit at all since $$ N (\varepsilon) = m^2-\sqrt{m^2-1}^2 = m^2-m^2+1=1.$$ But it is not always a fundamental unit, so the fundamental statement is false. See for example $m=3$. Here we have $\mathbb Q(\sqrt{3^2-1}) = \mathbb Q(\sqrt{8}) = \mathbb Q(\sqrt{2})$ but we have $$(1+\sqrt{2})^2 = 3+2\sqrt{2}=\varepsilon.$$

$\endgroup$
1
  • 1
    $\begingroup$ I forgot to mention that $m^2-1$ is square free. Edited the question. $\endgroup$
    – Henry
    Apr 29, 2021 at 14:46

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .