3
$\begingroup$

How can I prove that every maximal ideal of $B= \mathbb{Z} [(1+\sqrt{5})/2] $ is a principal?

I know if I show that B has division with remainder, that means it is a Euclidean domain. It follows that B is PID, and then every maximal ideal is principal ideal in PID.

However, I haven't been able to show that $B$ has division with remainder.

  • 0
    @susan When you show that $\mathbb{Z}[i]$ is a Euclidean domain, you're actually using the norm on $\mathbb{C}$ and the fact that $\mathbb{Z}[i]$ is a lattice in $\mathbb{C}$; if you have $d\in \mathbb{Z}[i]$ nonzero, then for all $a\in\mathbb{Z}[i]$, $a/d$ is some element of $\mathbb{C}$ and sits in a square of this lattice, so there's an element $q$ of the lattice which is closer than $1$ to this element; $a = qd + d(a/d-q)$ gives your division with remainder. The problem with $\mathbb{Z}[\sqrt{5}]$ is that this set isn't a good lattice in $\mathbb{C}$, so the same argument won't work.2012-11-19

2 Answers 2

1

$\phi=\frac{1+\sqrt(5)}2\\ \\ \phi^n=F_n+F_{n-1}$ where $F_n$ is the $n^{th}$ fibonacci number.

For any $\frac{a+b\phi}{c+d\phi}$ with $a$ and $c$ positive (if either is negative take out the factor of $-1$), $a$ and $c$ can be written uniquely as the sum of distinct fibonaccci numbers (take the largest $F_i plus the largest $F_j<(a-F_i)$ etc.), therefore the fraction can be rewritten with the numerator and denominator polynomials in $\phi$ for which all coefficients except the term in $\phi$ are $0$ or $1$. Divide top and bottom through by $\phi$ and rewrite as $\frac{a'+b'\phi}{c'+d'\phi}$. Repeating this process will eventually yield a term in $\mathbb{Z}[\phi]$ plus a remainder.

1

Here's a sketch --- see how it goes.

Let $\alpha,\beta$ be in $B$, $\beta\ne0$. First show that ${\alpha\over\beta}=\gamma+\delta,\quad\delta=p+q\sqrt5$ for some $\gamma$ in $B$ and some rationals $p$ and $q$, $0\le p\lt1$, $0\le q\lt1$. Consider $\delta-\epsilon$ for the following five values of $\epsilon$, all of which are in $B$: $0,1,\sqrt5,1+\sqrt5,(1+\sqrt5)/2$. Show that for at least one of these five values of $\epsilon$ the norm of $\delta-\epsilon$ is less than $1$ in absolute value (the norm of $r+s\sqrt5$ is $r^2-5s^2$). Then we have $\alpha=(\gamma+\epsilon)\beta+(\delta-\epsilon)\beta$ and the norm of $(\delta-\epsilon)\beta$ is the norm of $(\delta-\epsilon)$ times the norm of $\beta$, so it's less, in absolute value, than the absolute value of the norm of $\beta$.

EDIT: It's done nicely in Cohn, Advanced Number Theory, pp 108-109 (with some references to earlier pages). I'll summarize.

With $\alpha,\beta$ as above, rationalize the denominator and write ${\alpha\over\beta}={A_1+A_2\omega\over C}$ with $A_1,A_2,C$ integers and $\omega=(1+\sqrt5)/2$. We want to find $\gamma=a+b\omega$ with $a,b$ integers such that $|N((\alpha/\beta)-\gamma)|\lt1$ which is to say we want $|N((A_1/C)-a+((A_2/C)-b)\omega)|\lt1$ Computing this norm, it's $((A_1/C)-a)^2+((A_1/C)-a)((A_2/C)-b)-((A_2/C)-b)^2$ Choose $a,b$, respectively, as the integers closest to $A_1/C,A_2/C$, respectively, and write $P=(A_1/C)-a,\qquad Q=(A_2/C)-b$ Then $-1/2\le P\le1/2,\qquad-1/2\le Q\le1/2$ and we are looking at $f(P,Q)=P^2+PQ-Q^2$ Now you can use calculus to show that $\max|f(P,Q)|=5/16$ given the restriction on $P,Q$, and you're done.