The ring $\mathbb{Z}[2\cos(\frac{\pi}{k})]$ is known to be a Euclidean domain for $k=3,4,5$ and $6$, because in those cases $2\cos(\frac{\pi}{k}) = 1, \sqrt{2},$ the golden ratio $\phi$, and $\sqrt{3}$ respectively, and $\mathbb{Z}, \mathbb{Z}[\sqrt{2}], \mathbb{Z}[\phi]$, and $\mathbb{Z}[\sqrt{3}]$ are all known to be Euclidean domains.


I haven't been able to find a reference that will tell me whether $\mathbb{Z}[2\cos(\frac{\pi}{k})]$ is (or isn't) a Euclidean domain for integers $k$ higher than $6$, though. Is this an open problem?



Is $\mathbb{Z}[2\cos(\frac{\pi}{k})]$ a Euclidean domain?
There's certainly no reason to expect that it will *always* be a Euclidean domain, since (as Voloch points out) to be a Euclidean domain it must necessarily be a PID. On the other hand, the converse is (essentially) true in this case. Namely, a theorem of Weinberger implies that if $K/\mathbb{Q}$ is Galois, totally real, and has degree $\ge 4$, then $\mathcal{O}\_K$ is a Euclidean domain if and only if it is a PID. So you are really asking about the invariant known as $h^{+}$, that is, the class numbers of totally real subfields of cyclotomic fields. If
one supposes that $p$ is prime, then the smallest example which is provably not a PID is
$p = 163$, since there exists a totally real $A\_4$ extension $L/\mathbb{Q}$ which is unramified over the degree three extension $L \cap \mathbb{Q}(\zeta\_{163})$. (Indeed, assuming GRH, this is even the first example. There's a paper of Schoof where he talks about computing these numbers.)
The problem of proving that there are infinitely many such fields with class number one seems as least as hard as proving the result for real quadratic fields of prime conductor, which is totally open.


