Let(adsbygoogle = window.adsbygoogle || []).push({});

[tex]\displaystyle{\zeta = e^{{2\pi i} \over 5}}[/tex]

I need to show that [itex]Z[\zeta][/itex] is a Euclidean ring.

The only useful technique I know about is showing that given an element [itex]\epsilon \in Q(\zeta)[/itex] we can always find [itex]\beta \in Z[\zeta][/itex] such that [itex]N(\epsilon - \beta) < 1[/itex] (using the standard norm for the euclidean function).

This usually involves finding a general expression for the norm and then saying that you can choose beta such that the difference of each basis element is less than 1/2, and then showing that this means you can also get the norm less than 1.

However, the expression I got for the norm here didn't seem to lend itself to this method.

Any suggestions on how to do this?

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Euclidean rings

**Physics Forums | Science Articles, Homework Help, Discussion**