Let K be a finite Galois extension of the field of rational numbers with unit rank greater than 3. We prove that the ring of integers of K is a Euclidean domain if and only if it is a principal ideal domain. This was previously known under the assumption of the generalized Riemann hypothesis for Dedekind zeta functions. We now prove this unconditionally.
No takes yet. Share an insight, caveat, or question.
Harper et al. (2004) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: