Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let K be a finite extension of $\mathbb{Q}$ (a number field) and $\mathcal{O}_K$ its ring of integers. One defines the norm of an element $\alpha\in K$ to be the determinant of the transformation $m_\alpha: K\to K$ of multiplication by $\alpha$ (where $K$ is considered as a vector space over $\mathbb{Q}$).

Now sometimes the integer ring is also an euclidean domain, i.e. it has a "euclidean norm" satisfying the defining property of division algorithm. My question is: in an integer ring which is also euclidean, will the norm defined above also serve as an euclidean norm?

Put otherwise: is there an example for an euclidean integer ring whose norm is not an euclidean norm?

share|improve this question

2 Answers 2

up vote 3 down vote accepted

Wikipedia says that "$\mathbb Q(\sqrt {69})$ is Euclidean but not norm-Euclidean. Finding all such fields is a major open problem, particularly in the quadratic case."

share|improve this answer
2  
It is always nice to find out you've stumbled unaware on a "major open problem". –  Gadi A Sep 12 '11 at 11:58

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.109.3835&rep=rep1&type=pdf

share|improve this answer
2  
This paper seems to answer the question but your answer should give some detail. Don't expect people to just click on links. –  lhf Sep 12 '11 at 11:18

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.