Euclidean rings

  • Thread starter gonzo
  • Start date
  • #1
277
0
Let
[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?
 
Last edited:

Answers and Replies

  • #2
matt grime
Science Advisor
Homework Helper
9,420
4
show it has a thingummmy - euclidean function, can't remember the precise name, that might help.
 
  • #3
277
0
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.
 

Related Threads on Euclidean rings

Replies
10
Views
5K
  • Last Post
Replies
9
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
8
Views
4K
  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
1
Views
6K
  • Last Post
Replies
1
Views
3K
Top