# Euclidean rings (1 Viewer)

### Users Who Are Viewing This Thread (Users: 0, Guests: 1)

#### gonzo

Let
$$\displaystyle{\zeta = e^{{2\pi i} \over 5}}$$
I need to show that $Z[\zeta]$ is a Euclidean ring.

The only useful technique I know about is showing that given an element $\epsilon \in Q(\zeta)$ we can always find $\beta \in Z[\zeta]$ such that $N(\epsilon - \beta) < 1$ (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?

Last edited:

#### matt grime

Homework Helper
show it has a thingummmy - euclidean function, can't remember the precise name, that might help.

#### gonzo

Of course, but that's the point. The problem is I can't show the Norm is less than one if the coefficients are less than 1/2 and don't know any other techniques.

### The Physics Forums Way

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving