MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It is known that, under GRH, a real quadratic field is Euclidean iff it is a UFD. So, assuming the conjecture of Gauss and GRH, we expect that there are infinitely many Euclidean real quadratic fields.

I want to know if there are any approaches in showing that there are infinitely many Euclidean real quadratic fields by explicitly constructing the Euclidean functions. Can we hope for a single (or finitely many) Euclidean function(s) that will do the job or we need infinitely many different Euclidean functions? Can these Euclidean functions be obtained by modifying the norm function?

Since very few non-norm Euclidean quadratic fields are known, can we at all hope for showing the infinitude of real UFD quadratic fields by finding infinitely many Euclidean quadratic fields?

share|cite|improve this question
Since we don't even know how to show that there are infinitely many real quadratic UFDs I cannot see how you can expect that you will get an answer to any of your questions. – Franz Lemmermeyer Oct 17 '13 at 17:30
By the way, we do not need GRH to conclude that a real quadratic number field with class number $1$ is Euclidean, except for at most two fields (this unconditional result is due to W. Narkiewicz). – Dietrich Burde Oct 17 '13 at 18:14
@Franz Lemmermeyer:So showing eulideanity would be harder than showing uiqueness of factorization? I also thought that but wasn't so sure. So is this approach (showing euclideanity) of finding a large number of UFD's completely hopeless? – Pritam Majumder Oct 18 '13 at 12:23
Well maybe there's something special an unexploited about Euclideanity that no one's thought of. But for UFDs you have discrete invariants like class numbers to play with and hundreds of years of wonderful analysis to work off of. – stankewicz Oct 18 '13 at 13:32
I'm not sure what you mean by "a single (or finitely many) Euclidean function(s)"; how do you tell whether two Euclidean functions for different number rings are the same or different? Anyway, this paper might interest you. – Gene S. Kopp Oct 21 '13 at 18:58

Your Answer


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

Browse other questions tagged or ask your own question.