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 - The Fusion of Science and Community**

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

Loading...

Similar Threads for Euclidean rings | Date |
---|---|

Is R^n Euclidean Space a vector space too? | Sep 4, 2015 |

Euclidean space: dot product and orthonormal basis | Feb 3, 2015 |

Euclidean Algorithm Gaussian Integers | Aug 6, 2014 |

Units and prime elements in euclidean rings | Jun 7, 2008 |

Another Euclidean ring | Nov 21, 2006 |

**Physics Forums - The Fusion of Science and Community**