group of units of $\mathbb Z\left[\frac{1+\sqrt{5}}{2}\right]$

As in question, I'm trying to describe group of units of $\mathbb{Z}\left[\frac{1+\sqrt{5}}{2}\right]$. I know how this ring looks like but I can't get any results. I don't know if it is helpful, but I see that $2+\sqrt{5}$ is a unit.


Here are some hints (for a general approach which works in any real quadratic ring):

Write a unit $\alpha\neq\pm 1$ as $a+b\sqrt{5}$, where $a,b$ are both integers or both nonintegers. Exactly one of $\alpha,-\alpha,\alpha^{-1},-\alpha^{-1}$ is greater than $1$. Also, exactly one of $\pm a\pm b\sqrt{5}$ is greater than $1$. Deduce that $\alpha>1$ iff $a,b>0$.

It follows that there exists a smallest unit $\beta$ greater than $1$. Consider any other unit $\gamma$, which we assume is greater than $1$. Then $\beta^k\leq\gamma<\beta^{k+1}$ for some integer $k$. Then $1\leq \beta^{-k}\gamma<\beta$. From minimality of $\beta$, $\beta^{-k}\gamma=1,\gamma=\beta^k$.

Hence every unit is of the form $\pm\beta^k$.


In a real quadratic integer ring like this one, if a given number $u \neq \pm 1$ is a unit, then all $u^n$ and $(-u)^n$ are distinct numbers and also units, with $n \in \mathbb{Z}$. Using what you know, we see that $u = 2 + \sqrt{5}$, so $$1, 2 + \sqrt{5}, -682 + 305 \sqrt{5}, 161 - 72 \sqrt{5}, \ldots$$ are also units, as well as their reciprocals, additive inverses and additive inverses of reciprocals.

Although you now have found infinitely many units, you can't be sure you have identified all the units, and in fact you could be missing infinitely many units! Without knowing what the fundamental unit is, you are still in the dark.

What about that number $$\phi = \frac{1 + \sqrt{5}}{2}?$$ Could that be the fundamental unit? As it turns out, $$N(\phi) = \frac{1}{4} - \frac{5}{4} = -1,$$ so $\phi$ is in fact a unit, though it may or may not be the fundamental unit. Also notice that $1 < \phi < u$ (let's use $u$ to mean the same number as before). In fact, $\phi^3 = u$.

Then $\phi^n$ and $(-\phi)^n$ give us infinitely many units skipped over by $u^n$ and $(-u)^n$, as well as all those units we got before. That is to say $u^n = \phi^{3n}$.

I hope your textbook has a detailed explanation of how to find the fundamental unit. Since I'm not in the class and can avail myself to any calculator, I just asked Wolfram Alpha: NumberFieldFundamentalUnits[GoldenRatio]. It replied: $$\frac{1}{2}(1 + \sqrt{5}).$$